University of Oregon

Oregon Programming Languages Summer School — July 22-August 3, 2013

Types, Logic, and Verification

Participant Picture

Undergrad Students

name address domain Institution
Daniil Frumin eraserfingers gmail.com National Research University Higher School of Economics
James Koppel jkoppel andrew.cmu.edu Carnegie Mellon University
Jiyong Lee okoks9011 postech.ac.kr Pohang University of Science and Technology

Masters Students

name address domain Institution
Adrien Suree adrien.suree ens.fr Ecole Normale Superieure
Danel Ahman danel.ahman eesti.ee University of Cambridge
Daniel Feltey dfeltey gmail.com University of Alaska, Fairbanks
Denis Firsov denis.firsov gmail.com Tallinn University of Technology
HyungChul Park luscani postech.ac.kr Pohang University
Justus Matthiesen jm614 cam.ac.uk Cambridge University
Olivier Savary-Belanger osavary cs.mcgill.ca McGill University
Steven Keuchel steven.keuchel gmail.com University of Ghent

Doctoral Students

name address domain Institution
Aaron Todd abtodd opprobrio.us Indiana University
Adam Petcher apetcher seas.harvard.edu Harvard University
Afshin Amighi a.amighi ewi.utwente.nl University of Twente
Ales Bizjak abiz itu.dk IT University of Copenhagen
Andrew Farmer anfarmer ku.edu University of Kansas
Andrew Johnson ajohnson seas.harvard.edu Harvard University
Anirudh Santhiar anirudh_s csa.iisc.ernet.in Indian Institute of Science
Aurelien Thierry aurelien.thierry inria.fr INRIA
Bas van Gijzel nenekotan gmail.com University of Nottingham
Brian Norris banorris uci.edu University of California, Irvine
Bruno Cardoso Lopes bruno.cardoso gmail.com University of Campinas
Byron Hawkins byron hawkinssoftware.net University of California, Irvine
Cameron Swords cswords umail.iu.edu Indiana University
Christine Rizkallah crizkall mpi-inf.mpg.de Max-Planck institute for Informatics
Dan Ellsworth dellswor cs.uoregon.edu University of Oregon
Dan Huang dehuang fas.harvard.edu Harvard University
Daniel Gustafsson daniel.gustafsson gmail.com IT University of Copenhagen
David Christiansen drc itu.dk IT University of Copenhagen
David Darais darais seas.harvard.edu Harvard University
Edward Morehouse emorehouse wesleyan.edu Wesleyan University
Eric Walkingshaw walkiner eecs.oregonstate.edu Oregon State University
Erika De Benedetti debenede di.unito.it University of Turin
Esmaeil Mirzaee esmaeilmirzaee gmail.com Shomal University of Iran
Ezgi Cicek ecicek mpi-sws.org Max-Planck institute for Software Systems
Gabriel Foust gfoust cse.tamu.edu Texas A&M University
Gabriel Scherer gabriel.scherer gmail.com INRIA
Gijs Vanspauwen Gijs.Vanspauwen cs.kuleuven.be Katholieke Universteit Leuven
Guillaume Cano guillaume.cano inria.fr INRIA Sophia-Antipolis
Guillaume Munch guillaume.munch pps.univ-paris-diderot.fr Paris Diderot University
Ismael Jose Figueroa Palet ifigueroap gmail.com University of Chile
J. Ian Johnson ianj ccs.neu.edu Northeastern University
Jacob Evans jmevans cs.umass.edu University of Massachusetts Amherst
Jacques-Henri Jourdan jacques-henri.jourdan ens.fr INRIA
Jakub Zwolakowski jakub.zwolakowski inria.fr Paris Diderot University
Jason Hemann jhemann umail.iu.edu Indiana University
Jean-Marie Madiot jeanmarie.madiot ens-lyon.fr Ecole Normale Superieure de Lyon
Jeremie Koenig jk jk.fr.eu.org Yale University
Joel Ravelomanantsoa-Ratsimihah rjoel mathstat.dal.ca Dalhousie University
Jose Vergara jose.vergara gmail.com University of Technology, Sydney
Justin Hsu echylon gmail.com University of Pennsylvania
Lindsey Kuper lkuper cs.indiana.edu Indiana University
Liron Cohen cohenliron hotmail.com Tel Aviv University
Lourdes Del Carmen Gonzalez Huesca luglzhuesca gmail.com Paris 7 University
Luke Maurer maurerl cs.uoregon.edu University of Oregon
Manuel Reinert s9mlrein stud.uni-saarland.de University of Saarbrucken
Maxime Denes Maxime.Denes inria.fr INRIA Sophia-Antipolis
Michael Lopez michael.lopez.332 gmail.com Texas A&M University
Michael Sullivan mjsulliv andrew.cmu.edu Carnegie Mellon University
Mike Marmar michael.marmar yale.edu Yale University
Nada Amin namin alum.mit.edu Ecole Polytechnique Federale de Lausanne
Neil Julien Ross Neil.JR.Ross dal.ca University of Dalhousie
Nicolas Frisby nicolas.frisby gmail.com University of Kansas
Pablo Buiras buiras chalmers.se Chalmers University of Technology
Paul Downen pdownen cs.uoregon.edu University of Oregon
Philip Johnson-Freyd philipjf gmail.com University of Oregon
Phillip Mates phillipmates gmail.com Northeastern University
Rebecca Ingram Swords raingram indiana.edu Indiana University
Reinhard Munz munz mpi-sws.org Max Planck Institute for Software Systems
Richard Eisenberg eir seas.upenn.edu University of Pennsylvania
Robbert Krebbers mail robbertkrebbers.nl Radboud University
Roberto Patane robypata hotmail.com University of Catania
Ronghui Gu guronghuieric gmail.com Yale University
Santosh Nagarakatte santoshn cis.upenn.edu University of Pennsylvania
Sheng Chen chensh eecs.oregonstate.edu Oregon State University
Steven Bronson bronson cs.fsu.edu Florida State University
Thi Mai Thuong Tran tmtran ifi.uio.no University of Oslo
Valentin Blot valentin.blot ens-lyon.fr Ecole Normale Superieure de Lyon
Vincent Laporte vincent.laporte gmail.com Ecole Normale Superieure de Cachan
William J. Bowman wilbowma indiana.edu Northeastern University
Newman Wu xwa33 sfu.ca Yale University
Yong hun Eom yeom uci.edu University of California, Irvine
Yuriy Solodkyy solodon gmail.com Texas A&M University
Zachary Sparks zasparks indiana.edu Indiana University

Post-Doc

name address domain Institution
Edmund Lam sllam qatar.cmu.edu Carnegie Mellon University Qatar
Fabien Renaud renaud pps.univ-paris-diderot.fr Paris Diderot University
Marco Gaboardi gaboardi cs.unibo.it University of Pennsylvania
Michael D. Adams adamsmic cs.pdx.edu Portland State University
Thomas Given-Wilson Thomas.Given-Wilson nicta.com.au University of Technology, Sydney

Industry

name address domain Institution
Christopher Brinkley Brinkley.Chris ssd.loral.com Space Systems/Loral
Heath Putnam hthptnm gmail.com CogenIQ
Micheal Sloan mgsloan gmail.com Intentional Software
Sebastien Zany szany thielfellowship.org Northwestern University
Sponsors
Copyright © University of Oregon Department of Computer and Information Science. All rights reserved.
Privacy Policy