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
Artificial Intelligence, Knowledge Representation & Automatic Reasoning, Information Extraction
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
