Faculty
Full professor
Software Engineering, Formal Methods, Testing
Full professor
Networking, Optimization, Game Theory
Full professor
Database, Security
Associate professor
Robotics, Software Engineering, and Real-Time Systems
Associate professor
Cyber-physical Systems, Robotics, and Formal Verification
Associate professor
Database, Data Mining
Associate professor
Socio-Technical Systems, Security, Privacy, Blockchain, Information Systems
Associate professor
Ontology-based Data Management
Associate professor
Software Engineering, Formal Methods, Self-adaptive and Autonomous Systems
Tenure-track researcher
Machine Learning and Computer Vision
Post docs
Postdoc
Security, Privacy
Postdoc
Formal Methods, Software Engineering
Postdoc
Reversible Logic, Multiple-valued Logic, Quantum Circuits
