Theoretical Computer Science

Theoretical Computer Science
Department of Computer Science
Faculty of Sciences
Vrije Universiteit Amsterdam
De Boelelaan 1081 a
1081 HV Amsterdam


BSc Courses

MSc Courses

MSc program Foundations of Computing and Concurrency

Some MSc students that completed the FCC track (formerly called Formal Methods and Software Verification)

VU BSc thesis award 2015-2016

Evangelos Chatzikalymnios was awarded the VU BSc thesis award 2015-2016 for his thesis Comparison of Two Algorithms for Detecting Useless Transitions in Pushdown Automata.


PhD's in Theoretical Computer Science at the Vrije Universiteit Amsterdam

Other former staff members and postdocs in our group