Information Science and Technology Seminar
Jorgensen 74
Modular Static Analysis with Sets and Relations
Viktor Kuncak,
PhD candidate, electrical engineering and computer science department, and research assistant,
computer science and artifical intelligence laboratory,
MIT,
"Modular Static Analysis with Sets and Relations," Viktor Kuncak, PhD candidate, electrical engineering and computer science department, and research assistant, computer science and artifical intelligence laboratory, MIT.
For more information, please contact Louise Foucher by phone at 626-395-2826 or by email at [email protected].
Event Series
Information Science and Technology Seminar
Event Sponsors