Theoretical Computer Science
Theoretical Computer Science
Department of Computer Science
Faculty of Sciences
Vrije Universiteit Amsterdam
Group members
Staff
Postdocs
PhD students
Junior lecturers
Teaching
BSc Theory Courses
-
Logic and Sets for CS (Wan Fokkink, CS year 1, period 1)
-
Data Structures and Algorithms for CS (Ali Mehrabi, CS year 1, period 2)
-
Networks and Graphs (Yasamin Nazari, CS year 2, period 2)
-
Databases (Jörg Endrullis, AI + CS year 2, period 5)
-
Logic and Modelling (Kristina Sojakova, CS year 2, period 5)
-
Equational Programming (Femke van Raamsdonk, minor Deep Programming, period 1)
-
Concurrency & Multithreading (Wan Fokkink, minor Deep Programming, period 2)
-
Automata and Complexity (Jörg Endrullis, CS year 3, period 4)
BSc Programming Courses
-
Introduction to Programming (Jasper Veltman, Business Analytics year 1, periods 1+2)
-
Introduction to Python Programming (Mauricio Verano Merino, AI year 1, periods 1+2)
-
Pervasive Computing (Natalia Silvis-Cividjian, CS year 1, period 2)
-
Introduction to Programming (PYTHON) (Jasper Veltman, Mathematics year 1, period 3)
-
Computer Programming Project (Atze van der Ploeg, CS year 1, period 6)
-
Advanced Programming (Joshua Kenyon, Business Analytics year 2, period 1)
-
Object-Oriented and Functional Programming (Atze van der Ploeg, CS year 2, period 1)
-
Applied Programming for AI (Mauricio Verano Merino, AI year 2, period 6)
-
Introduction to Programming (PYTHON) (Atze van der Ploeg, minor Minor Bioinformatics and Systems Biology, period 2)
-
Compiler Construction (Klaus von Gleissenthall, minor Deep Programming, period 3)
MSc Computer Science Courses
- Verification for Security (Klaus von Gleissenthall, period 1)
-
Programming Large-Scale Parallel Systems (Francesc Verdugo, period 1)
-
Logical Verification (Kristina Sojakova, period 2)
-
Parallel Programming Practical (Francesc Verdugo, period 3)
-
Advanced Logic (Femke van Raamsdonk, period 4)
-
Software Language Engineering (Mauricio Verano Merino, period 4)
-
Term Rewriting Systems (Jörg Endrullis, period 4)
-
Distributed Algorithms (Wan Fokkink, period 5)
-
Geometric Algorithms (Ali Mehrabi, period 5)
-
Software Testing (Natalia Silvis-Cividjian, period 5)
-
Project System Testing (Natalia Silvis-Cividjian, period 6)
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.
Research
Seminar
PhD theses
- Willem-Paul de Roever, Recursive program schemes: Semantics and proof theory (1974)
- Paul Vitanyi, Lindenmayer systems: Structure, languages, and growth functions (1978)
- Anton Nijholt, Context-free grammars: Covers, normal forms, and parsing (1980)
- John-Jules Meyer, Programming calculi based on fixed point transformations (1985)
- Arie de Bruin, Experiments with continuation semantics: Jumps, backtracking, dynamic networks (1986)
- Joost Kok, Semantic models for parallel computation in data flow, logic and object-oriented programming (1989)
- Pierre America & Jan Rutten, A parallel object-oriented language: Design and semantic foundations (1989)
- Rob van Glabbeek, Comparative concurrency semantics and refinement of actions (1990)
- Erik de Vink, Designing stream based semantics for uniform concurrency and logic programming (1990)
- Aart Middeldorp, Modular properties of term rewriting systems (1990)
- Frank de Boer, Reasoning about dynamically evolving process structures: A proof theory for the parallel object-oriented language POOL (1991)
- Wiebe van der Hoek, Modalities for reasoning about knowledge and quantities (1992)
- Gerard Vreeswijk, Studies in defeasible argumentation (1993)
- Eiichi Horita, Fully abstract models for concurrent languages (1993)
- Franck van Breugel, Topological models in comparative semantics (1994)
- Vincent van Oostrom, Confluence for abstract and higher-order rewriting (1994)
- Femke van Raamsdonk, Confluence and normalisation of higher-order rewriting (1996)
- Daniele Turi, Functorial operational semantics and its denotational dual (1996)
- Marcello Bonsangue, Topological dualities in semantics (1996)
- Stefan Blom, Term graph rewriting: Syntax and semantics (2001)
- Mirna Bognar, Contexts in lambda calculus (2002)
- Jerry den Hartog, Probabilistic extensions of semantical models (2002)
- Jun Pang, Formal verification of distributed systems (2004)
- Nataliya Yustinova, Abstractions and static analysis for verifying reactive systems (2004)
- Simona Orzan, On distributed verification and verified distribution (2004)
- Clemens Grabmayer, Relating proof systems for recursive types (2005)
- Miguel Valero Espada, Modal abstraction and replication of processes with data (2005)
- Jeroen Ketema, Böhm-like trees for rewriting (2006)
- Bahareh Badban, Verification techniques for extensions of equality logic (2006)
- Anton Wijs, What to do next? Analysing and optimising system behaviour in time (2007)
- Mohammad Torabi Dashti, Keeping fairness alive: Design and formal verification of fair exchange protocols (2008)
- Helle Hvid Hansen, Coalgebraic modelling: Applications in automata theory and modal logic (2009)
- Taolue Chen, Clocks, dice and processes (2009)
- Jörg Endrullis, Termination and productivity (2010) cum laude
- Ariya Isihara, Algorithmic term rewriting systems (2010)
- David de Oliveira Costa, Formal models for component connectors (2010)
- Rena Bakhshi, Gossiping models: Formal analysis of epidemic protocols (2011)
- Cynthia Kop, Higher order termination: Automatable techniques for proving termination of higher-order term rewriting systems (2012) received the IPA Dissertation Award
- Elzbieta Krepska, Towards big biology: High-performance verification of large-scale biological systems (2012) joint with the High Performance Distributed Computing group
- Nicola Bonzanni, Towards executable biology (2012) joint with the Bioinformatics group
- Daniel Gebler, Robust SOS specifications of probabilistic processes (2015)
- Archana Nottamkandath, Trusting crowdsourced information on cultural artefacts (2016)
- Fatemeh Ghassemi, Formal modeling and analysis of mobile ad hoc networks (2018)
- Maurits Dijkstra, Unravelling protein sequence specificity: A functional and structural perspective (2021) joint with the Bioinformatics group
- Alexander Bentkamp, Superposition for higher-order logic (2021) cum laude, received the E.W. Beth Dissertation Prize, the Ackermann Award, the Bill McCune Award, and the IPA Dissertation Award
- Petar Vukmirović, Implementation of higher-order superposition (2022) cum laude, received the IPA Dissertation Award
- Anne Baanen, Formalizing fundamental algebraic number theory (2024) cum laude
- Roy Overbeek, A unifying theory for graph transformation (2024)
Other former staff members and postdocs in our group