Eindhoven University of Technology — Netherlands
Computer Science · Physical Sciences
Accepting Students?
No reports yet. Know if this professor is taking students?
Research Topics
Logic, programming, and type systems(50), Formal Methods in Verification(37), Data Mining Algorithms and Applications(36), Logic, Reasoning, and Knowledge(28), Metaheuristic Optimization Algorithms Research(20)
Publications263 total
Frequent Co-authors
Siegfried Nijssen(9), Thomas Bäck(8), Adriaan P. IJzerman(6), Sander M. Bohté(4), Eric-Wubbo Lameijer(3), J.J.M.M. Rutten(3), Mark D. Wilkinson(2), Michel Dumontier(2), IJsbrand Jan Aalbersberg(2), Gabrielle Appleton(2), Myles Axton(2), Arie Baak(2), Niklas Blomberg(2), Jan‐Willem Boiten(2), Luiz Olavo Bonino da Silva Santos(2), Philip E. Bourne(2), Jildau Bouwman(2), Anthony J. Brookes(2), Tim W. Clark(2), Mercè Crosas(2)