Computer Science PhD | University of Colorado Boulder.
Research Interests: Machine Learning, Formal Methods, Autonomous Systems.
-
University of Colorado Boulder
- Mountain View, CA
- http://monal.github.io/
Block or Report
Block or report monal
Report abuse
Contact GitHub support about this user’s behavior. Learn more about reporting abuse.
Report abusePinned Loading
-
Wedeli-Food-Delivery-App
Wedeli-Food-Delivery-App PublicAn Android application developed for a campus food delivery start-up 'Wedeli'.
-
Riemann-EC2-instance-monitoring
Riemann-EC2-instance-monitoring PublicA tool to monitor the state of Amazon EC2 instances using Riemann.
Ruby 1
-
cuplv/incremental-flashfill
cuplv/incremental-flashfill PublicIncremental FlashFill (http://research.microsoft.com/en-us/um/people/sumitg/pubs/popl11-synthesis.pdf)
-
CUBigDataClass/soccer-tweet-analysis
CUBigDataClass/soccer-tweet-analysis PublicIngestion pipeline to analyze soccer tweets
-
adapton-lab.rust
adapton-lab.rust PublicForked from cuplv/adapton-lab.rust
Adapton Lab, written in Rust.
HTML
Something went wrong, please refresh the page to try again.
If the problem persists, check the GitHub status page or contact support.
If the problem persists, check the GitHub status page or contact support.