Formal Verification and Security Lab

Home
People
Research
Tools
Funded projects
PhD Dissertations
Talks
Teaching
Publications
Semester projects

You are here

Home » Teaching

Teaching

Prof. Sharygina and her group teach the following courses:

Computer Aided Verification
Theory of Computation
Verification and Validation II
Verification and Validation I
Fundamentals of Informatics

The Lab is funded by Swiss National Science Foundation, Foundation Tasso, Hasler Foundation, EU-COST initiative and EU FP7/Pincette.