Frits W. Vaandrager

Head of Department of Software Science

Institute for Computing and Information Sciences

Faculty of Science, Radboud University

Research

• Projects, including the new NWO project EVI
• Publications
• Automata Wiki
• Talks and posters
• Editor of Logical Methods in Computer Science (LMCS) and Software Tools for Technology Transfer (STTT)
• Committees and professional organizations
• Students

Teaching

• Algorithms and Data Structures (NWI-IBC027)
• Software Verification (NWI-IBC024)
• Testing Techniques (NWI-I00110)
• Bachelor and master thesis projects
• Master's specialisation in Software Science

Other

• Profile page Radboud University
• Contact information
• CV