Department of Computer Science and Engineering

Displaying 31 - 40 of 119
Sebastiaan Joosten headshot

Lecturer

Research Interests:
Research Interests

Joosten’s teaching interests lie in automated reasoning and formal methods.

Research Division
Computing Education

Recent News

Meet the Faculty - Sebastiaan Joosten

Research Tags:
Kate Jensen

Teaching Specialist

Research Interests:
Research Interests

Jensen's teaching interests focus on computational complexity, graph theory, and making computer science accessible for new learners.

Research Division
Computing Education

Research Tags:
Daniel Kluver headshot
He/Him

Lecturer, Researcher for GroupLens Research Lab

Research Interests:

Kluver’s teaching interests include introduction programming, web programming, human-computer interaction.

Research Division
Computing Education

Current Research
Google Scholar
GroupLens Research Lab

Research Tags:
Samuel Fountain headshot
He/Him/His

Teaching Specialist

Research Interests:
Research Interests

Fountain's teaching focus is introductory level computer science courses.

Research Division
Computing Education

Current Research
Distributed ML and Systems Lab

Research Tags:
Dan Challou headshot
He/Him

Lecturer

Research Interests:

Challou’s teaching interests focus on internet programming. He developed the current version of the internet programming course as well as the introductory course for the data science program.

Research Division
Computing Education

Current Research
Google…

Research Tags:
Haiyi​​​​​​​ Zhu

Associate Professor, Carnegie Mellon University

Research Tags:
Steven Wu headshot

Assistant Professor, Carnegie Mellon University

Research Tags:
Hudson Turner

Associate Professor Emeritus Retired

Research Interests:
Research Interests:

Planning and reasoning about action and logic programming

Research Tags:
Sachin Sapatnekar

Distinguished McKnight University Professor, Robert and Marjorie Henle Chair, Department of Electrical and Computer Engineering

Research Interests:
Research Interests


Sapatnekar Research Group Site

My research is primarily in the area of computer-aided design (CAD) of VLSI systems. Advances in integrated circuit technologies allow us to build progressively larger systems, with increasing numbers of transistors.  On the other hand, circuit components, such as transistors and wires…

Research Tags:
Goldy Gopher on a gold background

Adjunct Professor

Research Tags: