Name: Monal Narasimhamurthy
Type: User
Company: University of Colorado Boulder
Bio: PhD Student, Computer Science.
I'm interested in formal methods, cyber-physical-systems, and programming languages.
Twitter: monal_nara
Location: Boulder, Colorado
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'.