Associate Professor
Assistant Professor
Machine Learning; Statistical Learning Theory; Algorithms and Complexity
Service Oriented Architecture, Performance Support Systems
Acting Associate Graduate Chair
metaprogramming; mechanized mathematics; game design; programming languages; probabilistic programming
database systems; data quality; data privacy; data analytics; information extraction; text mining.
Professor
Combinatorial and Continuous Optimization, Discrete and Computational Geometry
performance evaluation; stochastic models; data centres; scheduling
logic; mechanized mathematics; mathematical knowledge management; formal methods
concurrency; abstract approximation; rough sets; non-numerical ranking, fundamentals of software engineering, tabular expressions, mereology
Associate Chair for Undergraduate Studies
Undergraduate Advisor - 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
Graduate Advisor for M. Eng in Computing and Software
Undergraduate Advisor for Software Engineering
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
privacy; security; data science; ontology engineering
Graduate Advisor - Computer Science
software engineering; scientific computing; requirements analysis; program families; finite element method
Undergraduate Advisor for Mechatronics
Control, Signal Processing, Simulation, Sensors
Safety and certification of software-intensive systems
Associate Chair of Graduate Study (On Leave)
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
