PhD Student Carnegie Mellon University
Computer Science Department
Center for the Neural Basis of Cognition
Graduate Training Program (2010-)
Program in Neural Computation (2008-2010)
Alum University of Illinois at Urbana-Champaign
BS, Computer Science, summa cum laude
BS, Molecular & Cellular Biology, summa cum laude
GitHub cyrus-
Twitter @neurocy
Office 9003 GHC
  • Modularly programmable syntax and type structure
  • Predictive projectional editors for typed programs and documents
  • Collaborative infrastructure for science and software development
  • Communication and control prosthetics for
  • Dynamics and computation in spiking neurobiological circuits
Conference / Journal
Composable and Hygienic Typed Syntax Macros
C. Omar, C. Wang and J. Aldrich
30th ACM Symposium on Applied Computing (SAC 2015)
Salamanca, Spain, April 13-17, 2015

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)
Uppsala, Sweden, July 28 - August 1, 2014
Distinguished Paper Award

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)
Hyderabad, India, May 31 - June 7, 2014

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

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)


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

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

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

In Progress
Modularly Programmable Syntax
C. Omar and J. Aldrich

Modular Programmable Type Structure
C. Omar and J. Aldrich

Programmable Static Typing Inside a Python
C. Omar and J. Aldrich

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

Collaboratively Testing the Validity of Neuroscientific Models
R. Gerkin and C. Omar

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

Open Science
C. Omar and S. Tripathy
CNBC Brain Bag, Mar. 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
  • 2nd Place, ICFP 2015 Graduate Student Research Competition
  • DOE Computational Science Graduate Fellowship
  • NSF Graduate Research Fellowship
  • Duncan H. Lawrie Leadership Award
  • University of Illinois Bronze Tablet
  • Jeffrey P. Blahut Memorial Scholarship
  • Franz Hohn and John P. Nash Scholarship
  • Judge's Prize, Computing Habitat Competition