Name: Monal Narasimhamurthy
Type: User
Company: University of Colorado Boulder
Bio: Computer Science PhD | University of Colorado Boulder.
Research Interests: Machine Learning, Formal Methods, Autonomous Systems.
Location: Mountain View, CA
Blog: http://monal.github.io/
Monal Narasimhamurthy's Projects
Adapton Lab, written in Rust.
C Bounded Model Checker
Kani Rust Verifier
Personal website
OCaml implementation of Martin Erwig's Inductive Graphs and Functional Graph Algorithms [https://web.engr.oregonstate.edu/~erwig/papers/InductiveGraphs_JFP01.pdf]
A tool to monitor the state of Amazon EC2 instances using Riemann.
An Android application developed for a campus food delivery start-up 'Wedeli'.