Grad student at UIUC. I study applied formal and semi-formal verification of continuous and hybrid systems.