Speakers EK
MIT
I am a PhD candidate and a member of the
Software Design Group in the Computer Science and Artificial Intelligence Laboratory (CSAIL) at MIT. My research projects have focused on developing tools and techniques for software modeling and verification, with applications to security and safety-critical systems...
Read More →