Welcome...

prof.dr. H. Brinksma (Ed)

Professor UT & President TUHH

About Me

Ed Brinksma is President of the Hamburg University of Technology as of February 2018. He also holds a full professorship in Computer Science (Formal Methods of Embedded Systems) at the University of Twente (UT) in the Netherlands.

 

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

Mathematics
Abstraction
Schedule
Scheduling
Timed Automata
Engineering & Materials Science
Automata Theory
Scheduling
Specifications
Testing

Ancillary Activities

  • Erasmus University Rotterdam
    President ofd the Executive Board

Publications

Recent
Brinksma, E. , Stoelinga, M. , & Timmer, M. (2017). Testing Divergent Transition Systems. In L. Aceto, G. Bacci, G. Bacci, A. Ingolfsdottir, A. Legay, & R. Mardare (Eds.), Models, Algorithms, Logics and Tools: Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday (pp. 339). (Lecture Notes in Computer Science; Vol. 10460). Springer. https://doi.org/10.1007/978-3-319-63121-9_17

UT Research Information System

Contact Details

Visiting Address

University of Twente
Drienerlolaan 5
7522 NB Enschede
The Netherlands

Navigate to location

Mailing Address

University of Twente
P.O. Box 217
7500 AE Enschede
The Netherlands