Who we are

Knowledge synthesis has become prioritary in the Computer Engineering landscape, including Software, Systems, Hardware and Science.

Category Theory applications in Quantum Programming, Network Science, Deep Learning and Processor Architectures are establishing a new baseline for abstract thinking and state-of-the-art methods.

We are computer scientists and engineers who have spent the recent years researching and developing a new generation of computer systems and tools based on a common language for both math and programming.

We created WIDIP to develop a human-centric vision of formal computing systems.