Welcome...

prof.dr. H. Brinksma (Ed)

Full Professor

Expertise

Testing
Specifications
Semantics
Algebra
Formal Methods
Specification Languages
Embedded Systems
Model Checking

Organizations

Ancillary Activities

  • Academie vor Technologie en Innovatie (AcTI)
    bestuurslid
  • TNO
    Lid Strategische Adviesraad (SAR)
  • SURF
    lid Raad van Commissarissen
  • Provincie Overijssel
    Lid Adviesraad Trendbureau
  • Singapore University of Technology and Design
    Visiting Professor

UT Research Information System

Contact Details

Visiting Address

University of Twente
Faculty of Electrical Engineering, Mathematics & Computer Science
Zilverling (building no. 11), room 3063
Hallenweg 19
7522NH  Enschede
The Netherlands

Navigate to location

Mailing Address

University of Twente
Faculty of Electrical Engineering, Mathematics & Computer Science
Zilverling  3063
P.O. Box 217
7500 AE Enschede
The Netherlands

Organizations