User:Krokodil

Current PhD student at CMU. Area of research: formal methods.