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
Dan Burton danburton.email gmail.com Brigham Young University
Evan Cavallo ecavallo andrew.cmu.edu Carnegie Mellon University
Ruiyuan Chen ruiyuan alumni.ubc.ca University of British Columbia
Anna Gladstone annag cs.uoregon.edu University of Oregon
Jason Gross jgross mit.edu Massachusetts Institute of Technology
Paul Gustafson pgustafs neo.tamu.edu Texas A&M University
Keshav Kini keshav.kini gmail.com Portland State University
Wonyeol Lee leewy postech.ac.kr Pohang University of Science and Technology
Ian Voysey iev andrew.cmu.edu Carnegie Melon University

Masters Students

name address domain Institution
Daniel Feltey dfeltey gmail.com University of Alaska, Fairbanks
Leah Hanson astrieanna gmail.com Johns Hopkins University
David Thibodeau david.thibodeau mail.mcgill.ca McGill University

Doctoral Students

name address domain Institution
Pieter Agten pieter.agten cs.kuleuven.be Katholieke Universteit Leuven
Sepehr Amir-Mohammadian samirmoh uvm.edu University of Vermont
Abhishek Anand aa755 cs.cornell.edu Cornell University
Mounir Assaf mounir.assaf cea.fr CEA List
Arthur Azevedo de Amorim aarthur seas.upenn.edu University of Pennsylvania
Shrutarshi Basu basus cs.cornell.edu Cornell University
Aggelos Bimpoudis biboudis di.uoa.gr University of Athens
Andreas Bogk andreas.bogk gmail.com Dartmouth College
Stephan Brandauer stephan.brandauer it.uu.se Uppsala University
Flavien Breuvart breuvart pps.univ-paris-diderot.fr Université Paris Diderot
Joshua Burkhart burkhart cs.uoregon.edu University of Oregon
Paolo Capriotti p.capriotti gmail.com University of Nottingham
Elias Castegren elias.castegren it.uu.se Uppsala University
David Raymond Christiansen drc itu.dk IT Unversity of Copenhagen
David Darais darais seas.harvard.edu Harvard University
Jacob Evans jmevans cs.umass.edu University of Massachusetts Amherst
Amir Farzad farzad cs.uoregon.edu University of Oregon
Dmitri Garbuzov dmitri seas.upenn.edu University of Pennsylvania
Caylee Hogg caylee.hogg gmail.com Portland State University
Ilia Ianok ilya.yanok gmail.com Universita della Svizzerra Italiana
Alexandru Florin Iosif-Lazăr afla itu.dk University of Copenhagen
Nils Jähnig nils.jaehnig gmail.com Technische Universität Berlin
Jacob Johannsen cnn cs.au.dk Aarhus University
Peter Johnson pete cs.dartmouth.edu Dartmouth College
Gowtham Kaki gowtham purdue.edu Purdue University
Ambrus Kaposi auk cs.nott.ac.uk University of Nottingham
Lindsey Kuper lkuper cs.indiana.edu Indiana University
Leonidas Lampropoulos llamp seas.upenn.edu University of Pennsylvania
Adriaan Larmuseau adriaan.larmuseau cs.kuleuven.be Katholieke Universteit Leuven
Fan Long fanl csail.mit.edu Massachusetts Institute of Technology
Piotr Mardziel piotrm cs.umd.edu University of Maryland, College Park
Christopher Meiklejohn christopher_meiklejohn brown.edu Brown University
Anders Bech Mellson anbh itu.dk IT Unversity of Copenhagen
Reed Milewicz rmmilewi uab.edu University of Alabama, Birmingham
Heather Miller heather.miller epfl.ch EPFL
Eric Mullen emullen cs.washington.edu University of Washington
Stefan Muller smuller cs.cmu.edu Carnegie Mellon University
Brittany Nkounkou brn25 cornell.edu Cornell University
Paul Ojanen projanen indiana.edu Indiana University
Cyrus Omar cyrus cmu.edu Carnegie Mellon University
Federico Orsanigo federico.orsanigo strath.ac.uk University of Strathclyde
Marco Paviotti mpav itu.dk IT Unversity of Copenhagen
Jennifer Paykin jpaykin gmail.com University of Pennsylvania
James T. Perconti jtpercon ccs.neu.edu Northeastern University
Álvaro García Pérez agarcia babel.ls.fi.upm.es IMDEA
Jean Pichon jean.pichon ens-cachan.fr Ecole Normale Superieure de Cachan
Casper Bach Poulsen casperbp gmail.com Swansea University
Raghavendra Rajkumar raghu191 gmail.com Cornell University
Robert Rand rrand seas.upenn.edu University of Pennsylvania
Aseem Rastogi aseem cs.umd.edu University of Maryland, College Park
Joel Ravelomanantsoa-Ratsimihah rjoel mathstat.dal.ca Dalhousie University
Eric Reed ecreed cs.washington.edu University of Washington
Timothy Revell timothy.revell strath.ac.uk University of Strathclyde
Francisco Rios avantisiempre yahoo.com Dalhousie University
Neil Julien Ross Neil.JR.Ross dal.ca Dalhousie University
Domenico Ruoppolo dom.ruoppolo gmail.com Université Paris 13
Alceste Scalas alceste.scalas unica.it University of Cagliari
Hadi Shafei hadi.shafei gmail.com University of Wyoming
Bahman Sistany bsistany yahoo.ca University of Ottawa
Marco Solieri marco.solieri lipn.univ-paris13.fr Université Paris 13, Università di Bologna
Marcelo Sousa Marcelo.Sousa cs.ox.ac.uk University of Oxford
Mary Southern marys cs.umn.edu University of Minnesota
Antal Spector-Zabusky antals seas.upenn.edu University of Pennsylvania
Emma Tosch etosch gmail.com University of Massachusetts
Gijs Vanspauwen Gijs.Vanspauwen cs.kuleuven.be Katholieke Universteit Leuven
Peng Wang wangp.thu gmail.com Massachusetts Institute of Technology
Yuting Wang yuting cs.umn.edu University of Minnesota
Edward Z. Yang ezyang cs.stanford.edu Stanford University

Post-Doc

name address domain Institution
Emilio Jesús Gallego Arias   emilioga   cis.upenn.edu  University of Pennsylvania
Matthew Hammer hammer cs.umd.edu University of Maryland, College Park

Professor

name address domain Institution
  Todd Wilson     twilson       csufresno.edu       California State University, Fresno

Industry

name address domain Institution
Rob Armstrong rob sandia.gov Sandia National Laboratories
Harold Carr harold.carr gmail.com Oracle Corporation
Kyle Carter kcarter galois.com Galois, Inc
Joseph Cox josephjohncox gmail.com Altera Corporation
Geoff Hulette ghulette gmail.com Sandia National Laboratories
Aleksey Kliger aleksey.kliger baesystems.com BAE Systems
Brian Lachance blachance gmail.com
Joshua McGrath josh.mcgrath08 gmail.com BAE Systems
Omar Rizwan omar.rizwan gmail.com Teleos Labs
John Solis jhsolis sandia.gov Sandia National Laboratories
Sponsors
Copyright © University of Oregon Department of Computer and Information Science. All rights reserved.
Privacy Policy