Computer Science Research Groups
The CompEpi group's research involves the use of computational tools to model, simulate, visualize and, in general, understand the spread of disease to better inform public and hospital policy decisions with respect to disease surveillance, disease prevention measures, and outbreak containment.
Faculty: Chipara, Cremer, Herman, Pemmaraju, Polgreen, Segre
The Computational Logic Center at The University of Iowa seeks to advance the theory and practice of correct software development, by applying techniques from logic, programming languages, and automated theorem proving.
Faculty: Chowdhury, Stump, Tinelli
The Hank Virtual Environments Lab focuses on using virtual environments to study human perception and action. There are two main foci of this research program. One is understanding how children and adults negotiate traffic-filled intersections in our virtual environment. The other is understanding how people perceive and adapt to virtual environments. The overarching goal of this multidisciplinary project is to advance the fields of behavioral science and computer science through our study of human behavior in real and virtual environments.
The mission of IOWA-HPC lab is to advance the performance and reliability of the next generation HPC systems for large-scale machine learning, scientific computing, and data mining applications through compiler, program analysis, and AI-directed approaches.
Faculty: Jiang, Li
MSL performs cutting-edge research on wireless sensor networks, embedded systems and cyber-physical systems that cross-cut computing, networking and other engineering disciplines.
Faculty: Chipara, Herman, Segre
Optimization, Machine Learning and High Performance Computing focuses on applications with large amounts of data where new optimization or parallel algorithms are essential. Recent Projects include: Machine Learning and Genetics, Neural Networks and Educational data, Theoretical Foundations of Neural Networks.
The retrocomputing group's current work focuses on the restoration of a classic PDP-8 computer that was delivered to the University of Iowa psychology department in early 1966 and has been idle for over 30 years.
At SPARTA, we conduct research that facilitates a better understanding of the tussles around anonymity, free speech, censorship, security, and privacy on the Internet.