Research line Software Engineering

The CS department of the Open University is active in research on various topics related to software engineering. Below is a list of the researchers active in these fields, a link to their homepage (when available) and, for each, a list of the topics of his/her expertise.

Tanja Vos

• Software testing
• Scriptless GUI test automation
• Testar
• Test Informed Learning with Examples
• Making sense of software testing for education

Stef Joosten

• Relation algebras
• Design-driven development

Stijn de Gouw

• Formal verification of programming libraries

Joshua Moerman

• formal methods
• mathematics
• Automata learning

Freek Verbeek

• formalisation & verification of binary code

Nico Naus

• Formal Methods
• Binary verification
• Functional Programming
• Programming Languages

Tim Steenvoorden

• Programming languages
• Formal methods
• Operational semantics
• Compilation techniques
• Functional programming

Jos Craaijo

• CPU instruction semantics

Luc Edixhoven

• formal methods
• formal language theory
• choreographies

Lianne Hufkens

• Grammar-based evolutionary scriptless testing
• Testar

Rick Koenders

• Model Learning
• FSM-based conformance testing

Daniel Engel

• Program Analyses
• Low-level code
• Formal methods

Olivia Rodríguez Valdés

• Reinforcement learning for scriptless testing
• Testar