Research fields
Computational models
- terminated projects : 2
Logic for computer science
- running projects : 1
- running PHDs : 1
- terminated projects : 7
- terminated PHDs : 3
Computer languages semantics
- running PHDs : 1
- terminated projects : 7
- terminated PHDs : 2
