Fechar

TecMF

Nucleus of Technological Innovation

TecMF aims to research, develop, and apply formal methods, by employing mathematical, logical, and knowledge-based models to support each step of a software development process. We study the application of Proof Theory, Category Theory, Logical Systems, and Assisted Theorem Proofs to Computer Science in general, especially for systems development and validation, computational models, and computational complexity.