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
  • Modular extension mechanisms for typed programming systems
  • Predictive and projectional editors for programs and data
  • Computational science and high-performance computing
  • 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)

Policies for neural prosthetic control: initial experiments with a text interface
C. Omar, M. Johnson, T. Bretl and T. Coleman
2008 American Control Conference (ACC 2008)

Querying the user properly for high-performance brain-machine interfaces:
recursive estimation, control and feedback information theoretic perspectives
C. Omar, M. Johnson, T. Bretl and T. Coleman
2008 IEEE International Conference on Acoustics, Speech, and Signal Processing (ICASSP 2008)

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

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

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

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

Modular Type Structure
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


Fall 2011 with

  • [reflections]
  • 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