Computational Logic Center

• Home
• People
• Research topics
• Publications
• Funding
• Joining us
• Contact us

Topics

• First-order Theorem Proving


• Model Checking and Verification


• Programming Languages Theory


• Privacy


• Proof Checking


• Satisfiability Modulo Theories


• Security


• Verified Programming