Cyrus Omar

  • Program Years: 2008-2012
  • Academic Institution: Carnegie Mellon University
  • Field of Study: Programming Language Design and Neurobiology
  • Academic Advisor: Jonathan Aldrich
  • Practicum(s):
    Los Alamos National Laboratory (2010)
  • Degree(s):
    PhD, Computer Science, Carnegie Mellon University, 2017

    B.S. Computer Science and B.S. Molecular and Cellular Biology, University of Illinois at Urbana-Champaign, 2008

Current Status


I am the lead of the Hazel project (


(See webpage for up-to-date list of publications.)

C. Omar, I. Voysey, R. Chugh, and M. Hammer. Live Functional Programming with Typed Holes. POPL 2019.

C. Omar and J. Aldrich. Reasonably Programmable Literal Notation. ICFP 2018.

C. Omar, I. Voysey, M. Hilton, J. Aldrich and M. Hammer. Hazelnut: A Bidirectionally Typed Structure Editor Calculus. 44th ACM SIGPLAN Symposium on Principles of Programming Languages (POPL 2017)

C. Omar and J. Aldrich. Programmable Semantic Fragments: The Design and Implementation of typy. 15th International Conference on Generative Programming: Concepts & Experience (GPCE 2016)

C. Omar, C. Wang and J. Aldrich. Composable and Hygienic Typed Syntax Macros. 30th ACM Symposium on Applied Computing (SAC 2015). Salamanca, Spain, April 13-17, 2015.

C. Omar, D. Kurilova, L. Nistor, B. Chung, A. Potanin and J. Aldrich. Safely Composable Type-Specific Languages. European Conference on Object Oriented Programming (ECOOP 2014). Uppsala, Sweden, July 28 - August 1, 2014.

C. Omar, J. Aldrich and R. Gerkin. Collaborative Infrastructure for Test-Driven Scientific Model Validation.
To appear, NIER Track, 36th International Conference on Software Engineering (ICSE 2014). Hyderabad, India, May 31 - June 7, 2014.

C. Omar, B. Chung, D. Kurilova, A. Potanin and J. Aldrich. Type-Directed, Whitespace-Delimited Parsing for Embedded DSLs. International Workshop on The Globalization of Domain Specific Languages (GlobalDSL 2013). Montpellier, France, July 2, 2013.

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

C. Omar and J. Vetter. Programming Systems on the Road to Exascale Computing. DOE CSGF HPC Workshop (2011).

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

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

T. Achler, C. Omar, E. Amir, Shedding the weights: more with less. 2008 International Joint Conference on Neural Networks (IJCNN).

C. Omar, T. Bretl, T. Coleman, Policies for neural prosthetic control: initial experiments with a text interface. 2008 American Control Conference.

C. Omar, M. Johnson, T. Bretl, T. Coleman, Querying the user properly for high-performance brain-machine interfaces: recursive estimation, control and feedback information theoretic perspectives. 2008 ICASSP Invited Session on Brain-Computer Interaction.


- Alan J. Perlis Graduate Student Teaching Award
- Distinguished Paper Award, ICSE 2012
- DOE Computational Science Graduate Fellowship
- NSF Graduate Research Fellowship
- UIUC Bronze Tablet