San Francisco / Canterbury / San Antonio / Burlington / Kyoto / Portland / St. Petersburg / Vienna / Brno / Oakland / Tallin / Marseille / Bombay / Seattle / Boston / Palo Alto / Ithaca / Berlin / Rome / Atlanta / Roanoke / Cambridge / Copenhagen / Annapolis / Chicago / Trento / Santa Clara / Nara / Tucson / West Lafayette / Budapest / Montreal / Ottawa / Programming / Paris / Philadelphia / Washington / D.C. / Pittsburgh / Vancouver / Kaiserslautern / New York City / Grenoble / Monterey / Tallinn / Baltimore / New York / Reykjavik / Beijing / Park City / Providence / Williamstown / Hanover / Charleston / London / San Diego / New Haven / Edinburgh / /
Company
Intel Research Laboratory / IEEE Software / Oracle Labs / Trustworthy Software Systems / Facebook Inc. / Fortify Inc. / Air Force Research Laboratory / Generation Type Systems / MIT Press / GPU / 5th Annual High Confidence Software / Kindred / Communication-cEntric Software / Mainstream Systems / S&P / IBM / Memory Management / AT&T / Jane Street Capital / IFIP Working Group / Google / Microsoft Research Ltd. / Oracle Research Labs / High Confidence Software / /
Country
Estonia / United Kingdom / China / Denmark / Italy / Hungary / France / Japan / Iceland / Canada / India / Germany / Russia / Austria / United States / Czech Republic / / /
Facility
George Washington University / Microsoft Research Retreat / Northeastern University / University of Illinois / Microsoft Research Center / Paris XI University / Dartmouth College / University of Kent / Technical University of Darmstadt / Purdue University / University of California / Harvard University / Princeton University / Boston University / Ph.D. University of Pennsylvania / Hollins College / University of Cambridge / Brown University / Danish Technical Institute / University of Maryland Computer Science Visiting Committee / Rochester Institute of Technology / Yale University / Imperial College / Queen Mary College / University of Edinburgh / Applied Sciences Harvard University / University of Washington / Toyota Technical Institute / University of Massachusetts / University of Texas / University of Trento Center / University of Richmond / Carnegie Mellon University / Murty Classical Library of India / Drexel University / Max Planck Institute / University of Nottingham / Cornell University / Williams College / University of Pennsylvania Computer Science Visiting Committee / University of Maryland / Ph.D. Northeastern University / University of Birmingham / University of Pennsylvania / /
IndustryTerm
secure systems / greg@eecs.harvard.edu Web / Web Systems / web services / /
Movie
All You Need / /
OperatingSystem
L3 / /
Organization
Brown Computer Science Visiting Committee / University of Washington / University of Illinois / Urbana-Champaign / Danish Technical Institute / University of Maryland / Association of Computing Machinery / ACM SIGPLAN Executive Committee / Computer Organization / INRIA PVP Evaluation Committee / University of Trento / Advisory Board / Cornell University / National Science Foundation CISE Advisory Board / University of Pennsylvania / Philadelphia / Hollins College / Center for Research / National Science Foundation / Brown University / Trento Center / Sciences Standing Committee on Information Technology / Harvard Faculty of Arts / Purdue University / Harvard College / Yale University / Technical University of Darmstadt / University of Texas at Dallas / Academic Advisory Board / DARPA ISAT Advisory Board / Max Planck Institute for Software Systems Scientific Advisory Board / Toyota Technical Institute / University of Pennsylvania Computer Science Visiting Committee / Rochester Institute of Technology / Northeastern University / Yale Computer Science Visiting Committee / Princeton University / University of Kent / University of Massachusetts / Amherst / External Advisory Board for EPSRC Grant / National Science Foundation CISE/CCF Committee of Visitors / University of Richmond / Dartmouth College / Structure / Drexel University / University of Edinburgh / Carnegie Mellon University / University of Birmingham / Birmingham / George Washington University / Washington / External Advisory Board for DARPA Grant / University of California / San Diego / Queen Mary College / Chinese Academy of Sciences / Harvard University / INFOSEC Research Council / MIT / Max Planck Institute for Software Systems / National Academy of Engineering Study / Williams College / Imperial College / University of Cambridge / National Academy of Engineering / Structure and Interpretation of Computer Programs / University of Nottingham / Boston University / Boston / University of California / Los Angeles / University of Maryland Computer Science Visiting Committee / ACM Heidelbrg Forum Committee / Steering Committee / EDUCATION School of Engineering / /
Person
S.Weirich / T.Jim / D.Grossman / Ralph Watts / David Walker / Suman Saha / Ryan Wisnesky / K.Crary / Alfred P. Sloan / R.Harper / Jean-Baptiste Tristan / Adam Petcher / James Cheney / Mark-Sweep Conversative / Atsushi Ohori / Avi Shinnar / Gregory Malecha / G.Morrisett / P.Cheng / R.Samuels / Matthieu Sozeau / Allen Newell / Y.Wang / A.Tolmach / John Gregory Morrisett / Newell Medal / Kevin Hamlen / C.Stone / Stephanie Weirich / J.Cheney / Geoffrey Mainland / T.von Eiken / Amal Ahmed / D.Tarditi / S.Zdancewic / Aleksander Nanevski / Michael Hicks / Neal Glew / A.Basu / P.Lee / Daniel Grossman / Matt Welsh / M.Hayden / T. F. Knight / Jr. / Sloan Fellow / Matthew Fluet / Adam Chlipala / Frederick Smith / N.Glew / Jesse Tov / M.Hicks / Paul Govereau / F.Smith / D.Walker / / /
Position
Realizability Model for Impredicative Hoare Type Theory / Professor / Chief Editor / Professor of Computer Science / editor / Board Member / Co-Chief Editor / Program Chair / Harper / Research Assistant / Keynote speaker / Associate Dean / Associate Editor / General Chair / Associate Professor / Academic PL Researcher / Researcher / Director / Garbage Collector / Co-Chair / Associate Editor / Information Processing Letters / /
ProgrammingLanguage
Standard ML of New Jersey / Assembly Language / ML / Haskell / /
ProvinceOrState
Indiana / British Columbia / Utah / South Carolina / California / Texas / New Jersey / Illinois / Pennsylvania / Massachusetts / New Hampshire / Virginia / New York / Connecticut / Washington / Rhode Island / Maryland / Oregon / Victoria / /
PublishedMedium
Journal of the ACM / Journal of Symbolic Computation / IEEE Software / Machine Learning / Lecture Notes in Computer Science / /
Technology
Software Technology / Java / High Integrity Language Technology / Machine Learning / Functional Programming / Information Technology / relational database / Operating Systems / /
John Gregory Morrisett Nationality: USA Phone: +[removed]Email: [removed] Web: http://www.eecs.harvard.edu/~greg