Scholar
Cyrus Omar
Google Scholar ID: yiRAVJoAAAAJ
Assistant Professor, Computer Science and Engineering, University of Michigan
Programming Languages
Programming Environments
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
566
H-index
12
i10-index
14
Publications
20
Co-authors
0
Publications
10 items
Proof Interfaces for Exploratory Mathematics
2026
Cited
0
Hazel Prover: A Classroom Proof Assistant for Learning Structural Induction
2026
Cited
0
Bidirectional Type Slicing
2026
Cited
0
Practical Algebraic Stepping with Scoped Filters
2026
Cited
0
Incremental Live Programming via Shortcut Memoization
2026
Cited
0
Syntactic Completions with Material Obligations
2025
Cited
0
DeckFlow: Iterative Specification on a Multimodal Generative Canvas
2025
Cited
0
Hazel Deriver: A Live Editor for Constructing Rule-Based Derivations
2025
Cited
0
Load more
