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
Acting Associate Chair for Graduate Studies
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
Human-Robot Interaction, Human-Computer Interaction, Social Robotics, Assistive Robots
resilient systems (blockchains); high-performance data management; database theory; graph databases
Graduate Advisor for Computer Science
concurrency; abstract approximation; rough sets; non-numerical ranking, fundamentals of software engineering, tabular expressions, mereology
Associate Chair for Undergraduate Studies
Acting Associate Chair for Undergraduate Studies
Genetic Programming; Evolutionary Reinforcement Learning; Artificial Life; Nature-Inspired Computing in Robotics, Art, and Games
Chair
Software Engineering, Safety Critical Systems
Discrete-Event Systems (fault tolerance and detection, hierarchical structure, concurrency and implementation); Formal Verification of Hardware and Software
Formal Methods; Software Engineering; Automated Verification
AI for Healthcare, Medical Image Computing, Data Science
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
microrobots, soft continuum robots, mechatronics, magnetics, design and fabrication, material characterization, control systems, vision and sensing, medical robots, localization
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
Graduate Advisor for Software Engineering
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
