Manuel Fähndrich and K. Rustan M. Leino
Manuel Fähndrich and K. Rustan M. Leino
Manuel Fähndrich and K. Rustan M. Leino
Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
Authors• <strong>Manuel</strong> Fähndrich• Diplome, Ecole Polytechnique Fédérale de Lausanne (1993)• PhD, University of California, Berkeley (1998)• Senior Researcher, Microsoft−PLA, Programming Languages <strong>and</strong> Analysis• K. <strong>Rustan</strong> M. <strong>Leino</strong>• BA, The University of Texas at Austin (1989)• MS, California Institute of Technology (1993)• PhD, California Institute of Technology (1995)• Principal Researcher, Microsoft−−RiSE, Research in Software EngineeringLeads the Spec# project