Computer Science Department
Advisor: Jonathan Aldrich
Graduate Training Program (2010-)
Program in Neural Computation (2008-2010)
BS, Computer Science, summa cum laude
BS, Molecular & Cellular Biology, summa cum laude
- Extensibility mechanisms for typed programming systems
- Computational science and high-performance computing
- Structured, keyboard-driven program and data editors
- Predictive programmable interfaces for locked-in patients
- Collaborative infrastructure for science and social change
- Dynamics and computation in spiking neural circuits
Type-Directed, Whitespace-Delimited Parsing for Embedded DSLs
International Workshop on
The Globalization of Domain Specific Languages (GlobalDSL 2013)
To appear, Montpellier, France, July 2, 2013
To appear, Montpellier, France, July 2, 2013
Active Code Completion
34th International Conference on Software Engineering (ICSE 2012)
Zurich, Switzerland, 2-9 June 2012. pp. 859-869.
Zurich, Switzerland, 2-9 June 2012. pp. 859-869.
Neural correlation is stimulus modulated by feedforward inhibitory circuitry
Journal of Neuroscience 32(2):506-18 (2012)
Programming Systems on the Road to Exascale Computing
DOE CSGF HPC Workshop (2011)
A Feedback Information-Theoretic Approach to the Design of Brain-Computer Interfaces
International Journal of Human-Computer Interaction, 27: 1, 5-23 (2011)
Policies for neural prosthetic control: initial experiments with a text interface
2008 American Control Conference (ACC 2008)
Querying the user properly for high-performance brain-machine interfaces:
recursive estimation, control and feedback information theoretic perspectives
recursive estimation, control and feedback information theoretic perspectives
2008 IEEE International Conference on Acoustics, Speech, and Signal Processing (ICASSP 2008)
Shedding the weights: more with less
2008 International Joint Conference on Neural Networks (IJCNN 2008)
Ace: An Actively-Typed Programming Language and Compilation
Environment for High-Performance Computing
Environment for High-Performance Computing
Submitted
Active Type Checking and Translation
User-Extensible Type-Directed Syntax Tree Prediction
Formal Infrastructure for Scientific Model Validation
Orchestrating Families of Simulations on Clusters of GPUs
Open Science
CNBC Brain Bag, Mar. 2013
Functional Programming (15-150)
Fall 2011
- Alan J. Perlis SCS Graduate Student Teaching Award
- DOE Computational Science Graduate Fellowship
- NSF Graduate Research Fellowship
- Duncan H. Lawrie Leadership Award
- UIUC Bronze Tablet Award
- Jeffrey P. Blahut Memorial Scholarship
- Franz Hohn and J. P. Nash Scholarship
- Judge's Prize, Computing Habitat Competition
Thursdays 4:00-5:30pm on WRCT 88.3FM
