KNAW

Prof.dr. H. Brinksma Person

Prof.dr. H. Brinksma

Expertise Modelling and analysis of reactive systems, in particular distributed, real-time, and stochastic systems; System verification using model-checking and testing techniques
Expertise (NL) Modellering en analyse van reactieve systemen, i.h.b. gedistribueerde, real-time en stochastische systemen; Systeemverificatie m.b.v. model-checking en testtechnieken.
Digital Author ID info:eu-repo/dai/nl/07390497X
Addition Afdelingsvoorzitter INF

Active as

Part-time professor
Organisation Chair Formal Methods and Tools (UT)
Chair (EN) Formal methods and tools
Chair (NL) Formal methods and tools
Phone +31-53-4893676
Email h. brinksma -at- utwente. nl
URL http://www.utwente.nl/cvb/leden_cvb/
Rector
Organisation University of Twente (UT)
Email h. brinksma -at- utwente. nl
Management
Organisation Research Group Pervasive Systems (UT)
URL http://ps.ewi.utwente.nl/people.php?person=Brinksma,_H

Publications

Completed research projects

Classification


Go to page top
Go back to contents
Go back to site navigation