Ed Brinksma is Professor Emeritus of the University of Twente, where he held a full professorship (part-time) in Computer Science (Formal Methods of Embedded Systems) in the Formal Methods and Tools Group (FMT). Earlier, since 1991, he held the full-time chair in Formal Methods and Tools, which became the founding Chair for the FMT Group.
Since 2009 Ed has been active as Rector/President in the executive boards of a number of universities, whilst always maintaining an affiliation with the FMT Group. Ed was President of Erasmus University Rotterdam (EUR) from 2020 to 2024. Before that he served as President of the Hamburg University of Technology (TUHH) from 2018 to 2020. In the period 2009-2016 Ed served as Rector Magnificus of the University of Twente. During his rectorate Ed was, among other things, responsible for he creation of the Twente Design Lab, a multi-disciplinary meeting platform students, staff and entrepreneurs for value creation. On the educational front, he oversaw the design and implementation of the Twente Educational Model, introducing student-centered learning through project-based, thematic modules as the buiding blocks for the UT undergraduate programmes.
Ed studied mathematics at the University of Groningen (1982), and obtained a doctorate in computer Science at the UT (1988). He served as dean of the Faculty of Computer Science at the UT (1995-1997), and was scientific director of the Embedded Systems Institute and professor of computer science at Eindhoven University of Technology (2005-2008). Ed also held a position as adjoint professor at the University of Aalborg.
As a researcher, Ed has worked and published extensively on the theory and application of formal methods, ranging from the specification and analysis of networking protocols and services, to model-based testing, verification and performance analysis of critical infrastructures and embedded systems. He has been the (co-)initiator of conferences as FORTE, QEST and TACAS.
Expertise
Computer Science
- Scheduling
Mathematics
- Classes
- Corner Point
- Cycles
- Finite Graph
- Modeling
- Optimality Criterion
- Wide Class
Scan the QR code or