Apply Visit Give

Oregon Programming Languages Summer School

Sponsors:

June 20-July 2, 2016

Types, Logic, Semantics, and Verification

Name Email Username Institution Email Domain

PhD Students

Michael Ballantyne mballant University of Utah cs.utah.edu
Yuyan Bao BAOYUYAN University of Central Florida knights.ucf.edu
Samuel Baxter baxtersa14 University of Massachusetts Amherst gmail.com
Florian Biermann fbie IT University of Copenhagen itu.dk
Ambrose Bonnaire-Sergeant abonnair Indiana University indiana.edu
Oliver Bracevac bracevac Technische Universität Darmstadt cs.tu-darmstadt.de
John Peter Campora III petecampora University of Louisiana at Lafayette gmail.com
Tej Chajed tchajed Massachusetts Institute of Technology mit.edu
Shumo Chu chushumo University of Washington cs.washington.edu
Ted Cooper theod Portland State University pdx.edu
Ankush Das das.ankush.8 Carnegie Mellon University gmail.com
Christophe De Troyer cdetroye Vrije Universiteit Brussel vub.ac.be
Paul Downen pdownen University of Oregon cs.uoregon.edu
Noah Evans noah.evans University of New Mexico gmail.com
Francisco Fernandez Reyes kiko.fernandez Uppsala University it.uu.se
Kenneth William Foner kfoner University of Pennsylvania seas.upenn.edu
Weili Fu W.Fu-3 University of Edinburgh weili.fu@ed.ac.uk
Joshua Gancher gancherj Cornell University reed.edu
Ulysse Gérard ulysse.gerard INRIA inria.fr
Xiaolong Guo guoxiaolong University of Central Florida Knights.ucf.edu
Suyash Gupta gupta283 Purdue University purdue.edu
Ting Chen Leo Hsu iteloo University of British Columbia gmail.com
Adrien Husson adhusson Institut de Recherche en Informatique Fondamentale gmail.com
Philip Johnson-Freyd philipjf University of Oregon gmail.com
Andrew Kent andmkent Indiana University indiana.edu
Nate Launchbury natelaunchbury Portland State University gmail.com
Victoria Lewis vialewis Indiana University umail.iu.edu
Steven Libby slibby Portland State University pdx.edu
Víctor López Juan victor Chalmers University of Technology lopezjuan.com
Blake William Loring blake_l University of London parsed.uk
Tianhan Lu Tianhan.Lu University of Colorado at Boulder colorado.edu
Luke Maurer maurerl University of Oregon cs.uoregon.edu
Craig McLaughlin Craig.McLaughlin University of Edinburgh ed.ac.uk
Julian Michael julianjohnmichael University of Washington gmail.com
Anders Miltner anders.miltner Princeton University gmail.com
Duncan Eamon Iain Mitchell Duncan.Mitchell.2015 University of London live.rhul.ac.uk
Joydeep Mitra joydeep Kansas State University ksu.edu
Wytse Oortwijn w.h.m.oortwijn University of Twente utwente.nl
Marcela Poffald mpoffald Indiana University indiana.edu
Swarn Priya swarn.099016 Iowa State University gmail.com
Kiarash Rahmani rahmank Purdue University purdue.edu
Marianna Rapoport mrapoport University of Waterloo uwaterloo.ca
Talia Ringer tringer University of Washington cs.washington.edu
Daniele Rogora rogord Università della Svizzera italiana usi.ch
Fabian Ruch fabian.ruch Göteborgs Universitet cse.gu.se
Maryam Ghaffari Saadat maryam.ghaffari.saadat City University of New York gmail.com
Alessio Santamaria A.Santamaria University of Bath bath.ac.uk
Michael Schaper Michael.Schaper Universität Innsbruck uibk.ac.at
Hyeyoung Shin hyeyoungshinw Iowa State University gmail.com
Oleksandr Shturmov oleks University of Copenhagen diku.dk
Benno Stein benno.stein University of Colorado at Boulder gmail.com
Jon Sterling jon Carnegie Mellon University jonmsterling.com
Johanna Beate Stumpf johanbst University of Oslo ifi.uio.no
Julian Sutherland julian.sutherland10 Imperial College London imperial.ac.uk
Ian Sweet isweet University of Maryland, College Park terpmail.umd.edu
Amin Timany amin.timany KU Leuven cs.kuleuven.be
John Toman jtoman University of Washington cs.washington.edu
Marco Vassena vassena Chalmers University of Technology chalmers.se
Ekaterina Verbitskaia kajigor Saint Petersburg State University gmail.com
Antoine Voizard voizard University of Pennsylvania seas.upenn.edu
Michael Vollmer vollmerm Indiana University umail.iu.edu
Thomas Williams thomas.williams INRIA inria.fr

Masters Students

Jonas Betzendahl jbetzend Bielefeld University techfak.uni-bielefeld.de
Nathan Day rnday University of Alabama at Birmingham uab.edu
Raleigh Foster foster University of Oregon cs.uoregon.edu
Celeste Hollenbeck celeste.hollenbeck University of Utah gmail.com
Bowornmet Hudson bhudson Wesleyan University wesleyan.edu
Sven Keidel svenkeidel Technische Universität Darmstadt gmail.com
Stefan Knudsen stefan.knudsen McGill University mail.mcgill.ca
Justin Raymond jraymond Wesleyan University wesleyan.edu
Yawar Raza yawarraza7349 Rochester Institute of Technology gmail.com
Maria A Schett mail Universität Innsbruck maria-a-schett.net
Sebastian Ullrich sebasti Karlsruhe Institute of Technology nullri.ch
Guannan Wei guannan.wei University of Utah utah.edu
Daniel Ziegler dmz Massachusetts Institute of Technology mit.edu

Undergrads

Asya Bergal abergal Massachusetts Institute of Technology mit.edu
Eric Campbell ehc02013 Pomona College MyMail.pomona.edu
Istvan Chung ikdc Massachusetts Institute of Technology mit.edu
Alison Clark alison.marie.clark University of British Columbia gmail.com
Casey Coleman colem133 Chapman University mail.chapman.edu
Jake Ehrlich jake.h.ehrlich Kansas State University gmail.com
Andres Erbsen andreser Massachusetts Institute of Technology mit.edu
Edwin Farley edwin_farley Brown University brown.edu
Ilan Godik ilan3580 Haifa University gmail.com
Alisa Kwok alkwok Reed College reed.edu
Vladimir Kirillov vlad National Technical University of Ukraine, Kyiv Polytechnic Institute kirillov.im
Minsheng Liu minsheng University of California San Diego ucsd.edu
Sixuan Thomas Lou lous University of Washington uw.edu
Rhys Braginton Pettee Olsen Rhys.Olsen University of Colorado at Boulder Colorado.edu
Jade Philipoom jade.philipoom Massachusetts Institute of Technology gmail.com
Matthew Pickering matthewtpickering University of Bristol gmail.com
Rolph Recto rjr7je University of Virginia virginia.edu
Ayberk Tosun tosun2 University of Illinois at Urbana-Champaign illinois.edu
Nathaniel Yazdani nyazdani University of Washington cs.washington.edu
Hengruo Zhang zhr2012 University of Science and Technology of China - Yale Joint Research Center for High-Confidence Software mail.ustc.edu.cn

Professors

Jim Fix jimfix Reed College reed.edu

Post-Docs

Michael D. Adams adamsmd University of Utah cs.utah.edu

Industry & Government

Colin Barrett colin Fastly springsandstruts.com
Ariel Camperi ariel.camperi LinkedIn gmail.com
Nathan Claburn nathan.claburn 1st Edge, LLC 1st-edge.com
Jim Clements Aviation and Missile Research, Development and Engineering Center
Sean Lee freshdried City of New York gmail.com
Jeffrey Liguori jeffreyliguori Headlands Technologies gmail.com
Zhenghua Lyu kainwen Douban gmail.com
Mutaamba Maasha Mutaamba-Byona_Maasha Harvard Medical School hms.harvard.edu
Jared Nicholson jared JDAeroMaintenance thoughtcrop.com
Abel Nieto abeln Google fastmail.com
Echo Nolan echo echonolan.net
Nicolas Rolland nicolas.rolland Convex Ventures LTD gmail.com
John Samples john.samples Archarithms, Inc. Archarithms.com
Louis Schiff louis VSCO vsco.co
Harry Schwartz hello Thoughtbot harryrschwartz.com
Dmitry Shubin dmitry Ksys Labs LLC mailoo.org
Maxim Sokolov maxim Facebook fb.com
Jordan Thayer jthayer Charles-Stark Draper Laboratories draper.com

Sponsors

© University of Oregon Department of Computer and Information Science, 1202 University of Oregon, Eugene OR 97403-1202

University of Oregon is deeply committed to diversity and inclusion and affirms and actively promotes the rights of all individuals to equal opportunity in education and employment at this institution. University of Oregon does not tolerate any type of prohibited discrimination in any of its programs or activities, including employment. Further, it is required by Title IX and other applicable laws not to discriminate on the basis of sex. Questions regarding prohibited discrimination, including questions regarding Title IX, may be referred to the University of Oregon's Title IX Coordinator or to the Office for Civil Rights. Title IX Coordinator Penny Daugherty, at 541-346-3123 and titleixcoordinator@uoregon.edu, located at 677 E. 12th Ave., Eugene, OR 97403. U.S. Department of Education, Western Region, Office for Civil Rights, at 206-607-1600 and ocr.seattle@ed.gov.