Taxonomic Search: andrew OR tolmach, 2012
Conference on High Confidence Networked Systems (HiCoNS)
CPSWeek 2012 | Beijing, China | April 17-18, 2012
Tuesday, April 17, 2012
John Mitchell is the Mary and Gordon Crary Family Professor in the Stanford Computer Science Department. His research focuses on web security, network security, privacy, programming language analysis and design, formal methods, and applications of mathematical logic to computer science. Prof. Mitchell currently leads research projects funded by the US Air Force, the Office of Naval Research, private companies and foundations.
Fabian Monrose is a Professor in the Computer Science Department at University of North Carolina at Chapel Hill. He has been an active computer security researcher for over 12 years, and has held positions in both industry and academia. He received his Ph.D. from the Courant Institute of Mathematical Sciences, New York University.