Prof. Cyrus Omar — Research Profile
More detail is coming to this faculty research profile
Here's what we know so far. A fuller introduction is on the way.
- Department
- Computer Science and Engineering (Division of the Department of Electrical Engineering and Computer Science)
- Professor
- Cyrus Omar
Graduate application deadlines
Computer Science and Engineering (Division of the Department of Electrical Engineering and Computer Science)
PhD in Computer Science and Engineering
Fall 2027Application deadline
Dec 15, 2026
Source: cse.engin.umich.eduChecked Nov 2, 2026MS/MSE in Computer Science and Engineering
Fall 2027Application deadline
Jan 15, 2027
Source: cse.engin.umich.eduChecked Nov 2, 2026
Considering this lab for grad school?
Save it to compare side by side with other labs. Jot a one-line note under each paper below — Application prep gathers your notes into an outline for your email to the PI and your statement of purpose. You do the writing; no AI.
What to prepare before emailing a PILabs doing related research
Labs that recently published on topics this lab's recent papers share
Shared topic: Logic, programming, and type systems
Zachary Tatlock Lab
University of Washington · Paul G. Allen School of Computer Science & Engineering
egg: Fast and Extensible Equality SaturationCommunications of the ACM · Jul 29Clark Barrett Lab
Stanford University · Computer Science
CSLib: Building a Platform for AI-assisted Formal Verification in LeanOAPEN (The OAPEN Foundation) · Sep 1Patrick Cousot Lab
New York University · Department of Computer Science (Courant Institute of Mathematical Sciences)
Nonstandard Axiomatic SemanticsPreprintarXiv (Cornell University) · Aug 24
Other labs in this department
- Alanson Sample Lab
Human-computer interaction, wireless technology, embedded systems
- Alexander Rodríguez Lab
Artificial intelligence, machine learning, multi-agent systems, computational epidemiology, public health
- Amrita Roy Chowdhury Lab
Cryptography, Differential Privacy, Machine Learning
- Ang Chen Lab
Systems, networking, security
- Anhong Guo Lab
Human-computer interaction, artificial intelligence, accessibility, augmented reality, human-AI interaction
- Atul Prakash Lab
Computer systems security; Security and privacy of machine learning models; trustworthy AI; and trustworthy computing infrastructures