Information Science and Technology Seminar

Thursday April 13, 2006 4:00 PM

Modular Static Analysis with Sets and Relations

Speaker: Viktor Kuncak, computer science and artifical intelligence laboratory, MIT
Location: 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.
Series Information Science and Technology Seminar

Contact: Louise Foucher at 626-395-2826 louise@cs.caltech.edu