Welcome...

dr. C.E. Budde (Carlos)

Researcher

Expertise

Model Checking
Explosions
Formal Verification
Hinges
Stochastic Models
Sampling
Software Architecture

UT Research Information System

Contact Details

Visiting Address

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

Navigate to location

Mailing Address

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