Computing Science Department
Research in algorithms and data structures, compiler construction, concurrency theory, machine learning, and software engineering.
Department of Computer Systems
Research in formal methods and software technology, real-time systems, distributed systems and data communication, learning systems, and computer science education.
Department of Human-Computer Interaction
Research in human control of complex processes, user-centered system design, and medical informatics.
Department of Information Technology
Undergraduate and graduate education, research, and administrative information.
Department of Scientific Computing
Research in numerical analysis, high-performance computing, mathematical software, and image analysis.
Department of Systems and Control
Research in signals and systems modelling, control and optimization of wastewater treatment plants, controller design, and biomechanics.