Associate Professor
Professor Emeritus
Assistant Professor
Service Oriented Architecture, Performance Support Systems
Undergraduate Advisor - Software Engineering
metaprogramming; mechanized mathematics; game design; programming languages; probabilistic programming
database systems; data quality; data privacy; data analytics; information extraction; text mining.
Professor
performance evaluation; stochastic models; data centres; scheduling
applied logic; mechanized mathematics; theorem proving systems; mathematical knowledge management; formal methods
Graduate Advisor - Computer Science
Associate Chair for Undergraduate Studies
Undergraduate Advisor - Computer Science
Department Chair
Software Engineering, Safety Critical Systems
Graduate Advisor for Software Engineering, Mechtronics, and Virtural Systems Design
Associate Member
Computer-Aided Design for VLSI Circuits ; Design for Testability ; Hardware/Software Co-synthesis ; Low Power and Reliable Computing
Program Coordinator - eHealth
privacy; security; data science; ontology engineering
software engineering; scientific computing; requirements analysis; program families; finite element method
cryptography; network security
Undergraduate Advisor - Mechatronics Engineering
Control, Signal Processing, Simulation, Sensors
Safety and certification of software-intensive systems
Associate Chair of Graduate Study
Mobile computing, wireless networking, cyber physical systems, active machine learning
Computability on abstract and topological algebras; Analog computability; Logical foundations of software documentation; Program semantics
