Associate Professor
Assistant Professor
Machine Learning; Statistical Learning Theory; Algorithms and Complexity
Data privacy; Algorithmic fairness; Information theory; Machine learning and AI
Associate Chair for Graduate Studies
metaprogramming; mechanized mathematics; game design; programming languages; probabilistic programming
database systems; data quality; data privacy; data analytics; information extraction; text mining.
Data mining; Machine learning; Big data analytics; Interpretability, fairness and security of deep models.
Professor
Combinatorial and Continuous Optimization, Discrete and Computational Geometry
performance evaluation; stochastic models; data centres; scheduling
logic; mechanized mathematics; mathematical knowledge management; formal methods
resilient systems (blockchains); high-performance data management; database theory; graph databases
concurrency; abstract approximation; rough sets; non-numerical ranking, fundamentals of software engineering, tabular expressions, mereology
Associate Chair for Undergraduate Studies
Chair
Software Engineering, Safety Critical Systems
Graduate Advisor for Software Engineering
Discrete-Event Systems (fault tolerance and detection, hierarchical structure, concurrency and implementation); Formal Verification of Hardware and Software
Formal Methods; Software Engineering; Automated Verification
Undergraduate Advisor for Software Engineering
Software Engineering; Software Architecture; DevOps; Domain-Specific Languages; Compilers; Software Composition
Graduate Advisor for M. Eng in Computing and Software
Associate Chair for Research
Software engineering; model-driven engineering; safety-critical systems; formal methods; software testing; software requirements; data analytics; open-source; cloud computing; low-code techniques; compilers; aerospace; avionics
Undergraduate Advisor for Computer Science
software engineering; scientific computing; requirements analysis; program families; finite element method
Undergraduate Advisor for Mechatronics
Control, Signal Processing, Simulation, Sensors
Character Animation; Computer Graphics; Vision; Deep Learning; AR/VR; Game; Motion Capture, Synthesis and Perception
Professor, PEng
Safety and certification of software-intensive systems
Mobile computing, wireless networking, cyber physical systems, active machine learning
Professor Emeritus
Software
Generalised computability theory, including computability on the reals and analog computability; Logical foundations of software documentation; Program semantics
