Ed Brinksma’s homepage

Homepage Ed Brinksma

Who I am

I am scientific director and chair of the Embedded Systems Institute in Eindhoven in The Netherlands, and a member of the Formal Methods research group at Eindhoven University of Technology. Before that I was full professor and chair of the Formal Methods and Tools group at the University of Twente, to which I am now affiliated as a part-time full professor. At Twente I am also active as acting chair of the new group in Pervasive Systems. I am also affiliated to the the Department of Computer Science at Aalborg University in Denmark as an adjoint professor

My research interests

I am interested in all aspects of model-based design for complex high-tech systems. More than 25 years ago I started out working on the formal modelling and analysis of computer networking protocols, which culminated in the publication of the specification language LOTOS as a international standard (IS8807). Since then I have been involved in the theory and application of formal methods in many different contexts, such as (real-time) test generation and selection, model checking, stochastic process algebras, hybrid systems, embedded systems, and more recently wireless sensor networks. During the last few years my interests have also widened to general system design and architecture, and knowledge transfer to industry.

My professional links

· Embedded Systems Institute

· Formal Methods and Tools, University of Twente

· Pervasive Systems, University of Twente

· Formal Methods, Eindhoven University of Technology

· Publications: Eprints, DBLP, Citeseer, Google Scholar

· Curriculum Vitae

· Royal Holland Society of Sciences and Humanities

· Point One

· ARTEMIS