PhD Student Carnegie Mellon University
Computer Science Department
Alum University of Illinois at Urbana-Champaign
BS, Computer Science
BS, Molecular & Cellular Biology
GitHub cyrus-
Twitter @neurocy
Office 9003 GHC
Interests I'm interested in applying the principles of type theory to the problems of programming language usability. I'm currently working on:
  • VerseML: modularly programmable syntax
  • Typy: modularly programmable type structure, inside Python
  • Hazelnut: a bidirectionally typed structure editor calculus
  • Syzygy: statistical models of typed syntax trees
Past projects include:
  • Wyvern: modularly programmable type-specific syntax
  • Graphite: type-specific interactive code generation (+ user studies!)
  • λRS: a type system for regular string sanitation
I'm also (now only rarely) a theoretical neuroscientist. I've worked on:
  • SciUnit: infrastructure for testing scientific models against data
  • Information-theoretic designs for rehabilitative neural interfaces
  • Dynamical systems models of neurobiological circuits
Full Papers
Safely Composable Type-Specific Languages
C. Omar, D. Kurilova, L. Nistor, B. Chung, A. Potanin and J. Aldrich
European Conference on Object-Oriented Programming (ECOOP 2014)
Distinguished Paper Award!

Statically Typed String Sanitation Inside a Python
N. Fulton, C. Omar and J. Aldrich
International Workshop on Privacy and Security in Programming (PSP 2014)
Best Paper Award!

Active Code Completion
C. Omar, Y. Yoon, T. D. LaToza and B. A. Myers
34th International Conference on Software Engineering (ICSE 2012)

Neural correlation is stimulus modulated by feedforward inhibitory circuitry
J. W. Middleton, C. Omar, B. Doiron and D. J. Simons
Journal of Neuroscience 32(2):506-18 (2012)

A Feedback Information-Theoretic Approach to the Design of Brain-Computer Interfaces
C. Omar, A. Akce, M. Johnson, T. Bretl, R. Ma, E. Maclin, M. McCormick and T. Coleman
International Journal of Human-Computer Interaction, 27: 1, 5-23 (2011)

Short Papers
Composable and Hygienic Typed Syntax Macros
C. Omar, C. Wang and J. Aldrich
30th ACM Symposium on Applied Computing (SAC 2015)

Language-Based Architectural Control
J. Aldrich, C. Omar, A. Potanin and D. Li
6th International Workshop on Aliasing, Capabilities and Ownership (IWACO 2014)

Collaborative Infrastructure for Test-Driven Scientific Model Validation
C. Omar, J. Aldrich and R. Gerkin
NIER Track, 36th International Conference on Software Engineering (ICSE 2014)


In Progress
Modularly Programmable Syntax (PhD Thesis)
C. Omar

Programmable Semantic Fragments
C. Omar and J. Aldrich

Hazelnut: A Bidirectionally Typed Structure Editor Calculus
C. Omar, I. Voysey, M. Hilton, J. Aldrich and M. Hammer

Statistical Models of Typed Syntax Trees
C. Omar, S. Joshi and F. Cruz

Tidy: A Modularly Programmable Bidirectionally Typed Translation Semantics
C. Omar and J. Aldrich

Okasaki: A Web-Based Purely Functional Text Editor
C. Omar
Presentation, SIGBOVIK 2013

How do people naturally think about computation?
C. Omar
05-899D Lecture, Spring 2011


Head TA, Fall 2011 with

  • Program Committee, DSLDI 2015
  • Artifact Evaluation Committee, ECOOP 2015
  • CSD Graduate Admissions Committee, 2013
  • DOE Computational Science Graduate Fellowship
  • NSF Graduate Research Fellowship
  • 2nd Place, ICFP 2015 Graduate Student Research Competition
  • Duncan H. Lawrie Leadership Award
  • University of Illinois Bronze Tablet