Associate Professor Carlos E. Budde
(Carlos Esteban Budde)
Danmarks Tekniske Universitet
DTU compute
2800 Lyngby
Danmark
cesbu @ dtu.dk
Indledende emner
Formelle sprog
Logik
Videregående emner
Concurrency Theory
Modeling and Simulation
Probability Theory
Security
Software Verification
Statistics