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
Graduate Advisor for Computer Science
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
Undergraduate Advisor for Computer Science
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
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
software engineering; scientific computing; requirements analysis; program families; finite element method
Undergraduate Advisor for Mechatronics
Control, Signal Processing, Simulation, Sensors
Professor, PEng
Safety and certification of software-intensive systems
Mobile computing, wireless networking, cyber physical systems, active machine learning
Professor Emeritus
Generalised computability theory, including computability on the reals and analog computability; Logical foundations of software documentation; Program semantics
