ÂÜÀòÂÒÂ×

Nishant Rodrigues is a PhD candidate at the University of Illinois. His research interests include programming languages, formal logic and formal verification. He is also interested in integrating formal methods into traditional software development processes whether by increased automation, improved abstractions or better accessibility through nicer interfaces.