編程語言方向北美/歐洲相關的學校

來自專欄霧雨魔法店65 人贊了文章

偏analysis/ verification/ synthesis/ type等

北美：

• MIT: Armando Solar-Lezama, Martin Rinard, Adam Chlipala, etc
• UW: Rastislav Bodik，Michael Ernst，Zachary Tatlock，Dan Grossman，Emina Torlak
• CMU: Robert Harper, Edmund Clarke, Frank Pfenning, Karl Crary, Jan Hoffmann, Jonathan Aldrich, etc
• Cornell: Dexter Kozen, Andrew Myers, Greg Morrisett, Nate Foster, etc.
• UCSD: Ranjit Jhala
• UCSC: Cormac Flanagan
• UCSB: Ben Hardekopf
• UCLA: Jens Palsberg, Harry Xu
• Tufts: Kathleen Fisher
• Yale: Shao Zhong
• NYU : Patrick Cousot, Thomas Wies
• UT Austin: Isil Dillig, Kathryn S McKinley, Calvin Lin
• Upenn: Benjamin Pirece, Rajeev Alur, Mayur Naik, Stephanie Weirich, etc
• PSU: Danfeng Zhang
• UIUC: Grigore Rosu, P. Madhusudan
• Stanford: Zohar Manna, Alex Aiken, Clark Barrett, etc
• WISC: Tom Reps, Somesh Jha, Ben Liblit, Aws Albarghouthi, Loris DAntoni
• UMD: Jeff Foster，Mike Hick
• Princeton : Andrew Appel, Aarti Gupta, David Walker, Zak Kincard, etc
• Purdue：Suresh Jagannathan
• Northeast: Jan Vitek, Matt Felleisen, Frank Tip, Amal Ahmed ...
• Utah: Matt Flatt
• Harward：Stephen Chong
• Rice: Swarat Chaudhuri
• CU Boulder: Bor-Yuh Evan Chang, Sriram Sankaranarayanan
• Microsoft Research Redmond: Tom Ball, Patrice Godefroid, Sumit Gulwani, Shuvendu Lahiri, Ken McMillan, Shaz Qadeer, Nikojaj Bjorner, Leonardo de Moura
• SRI International: Susmit Jha, Natarajan Shankar
• U Waterloo: Arie Gurfinkel, Ondrej Lhoták, Vijay Ganesh
• UT： Azadeh Farzan
• McGill: Brigitte Pientka

歐洲：

• MPI-SWS: Derek Dreyer, Rupak Majumdar, Viktor Vafeiadis
• TU Munich: Javier Esparza, ?Helmut Seidl
• U of Freiburg: Peter Thiemann, Andreas Podelksi
• LMU Munich: Dirk Beyer
• IMEDA: Gilles Barthe, Roberto Giacobazzi
• Oxford: Jeremy Gibbons, Samson Abramsky, Stefan Kiefer, Daniel Kroening, Luke Ong
• Edinburgh: Gorden Plotkin, Andrew Gordon
• Cambridge: Andrew Pitts, Alan Mycroft
• UCL: Alexandra Silva, James Brotherston, Byron Cook
• U of Kent: Andy King
• EPFL: Martin Ordersky, Viktor Kuncak
• ETH: Martin Vechev, Peter Muller
• Arahus: Anders M?ller, Lars Birkedal
• Arthens: Yannis Smaragdakis
• Chalmers: Laura Kovács, Thierry Coquand
• INRIA: Xavier Leroy
• CNRS: Antoine Mine
• Tel Aviv: Mooly Sagiv, Ori Lahav
• Technion: Evan Yahav

推薦閱讀：