...
Cristian Cadar is a Lecturer (Assistant Professor) in the Department of Computing at Imperial College London. His research interests span the
areas of computer systems, software engineering and computer security, with an emphasis on building practical tools for improving the reliability and security of software systems. Cristian received a PhD in Computer Science from Stanford University, a B.S. and an M.Eng. in Computer Science from MIT, and a B.S. in Mathematics also from MIT.
| Attachments | ||
|---|---|---|
|
constrsolv-in-symex-smtsat-2011.pdf
...