Skip to content
Computer Science

Eerke Boiten

Computer Technology · De Montfort University

Back to the university

Research

Specialisations

  • Computational Theory and Mathematics
  • Artificial Intelligence
  • Software

Research topics

  • Formal Methods in Verification
  • Logic, programming, and type systems
  • Model-Driven Software Engineering Techniques
  • Advanced Software Engineering Methodologies
  • Software Testing and Debugging Techniques
Publications
260
Citations
1.5K
h-index
20
Papers, last 3 years
6

Members only · Free to join

Sign in to see the full profile

See their grants, open positions in their group, career history and colleagues — everything you need before you write to them.

  • Research funding
  • Affiliations
  • Similar professors

Free forever No credit card 30-second sign-up

Eerke Boiten — De Montfort University