Formal Methods Group @ DCC-FCUP

We are a research group on theoretical computer science and formal methods, from the Department of Computer Science of the Faculty of Sciences of the University of Porto. Our core topics are:

• Program semantics and verification
• Types
• Automata theory and formal languages
• Model checking
• Algebra of Programming

We have a long scientific tradition and a deep involvement in teaching activities. We also have an extensive track record on attracting competitive funds from different agencies.

If you are interested in working with us do get in touch! We are part of the following laboratories:

• LIACC
• CMUP
• HASLab
• CRACS
• CISTER

Edit the content of this page here.