Oregon Programming Languages Summer School

Types, Logic, Semantics, and Verification

University of Oregon — Eugene OR

June 15-27, 2015

Sponsors:

June 15-27, 2015

Types, Logic, Semantics, and Verification

Speakers

Name Username Domain Institution

Professors

Michael Bächtold michael.baechtold hslu.ch Lucerne University of Applied Sciences and Arts
Carl Hauser hauser eecs.wsu.edu Washington State University
Young Lee Young.Lee tamuk.edu Texas A&M University - Kingsville
Prabhakar Ragde plragde uwaterloo.ca University of Waterloo
Sriram Srinivasan ssriram cse.iitb.ac.in Indian Institute of Technology

Doctoral Students

Kristoffer Just Andersen kja cs.au.dk Aarhus University
Lau Skorstengaard lask cs.au.dk Aarhus University
Justin Pombrio justinpombrio cs.brown.edu Brown University
Michael Arntzenius daekharel gmail.com Carnegie Mellon University
Michael Coblenz mcoblenz cs.cmu.edu Carnegie Mellon University
Vadim Zaliva vzaliva cmu.edu Carnegie Mellon University
Andrea Vezzosi sanzhiyan gmail.com Chalmers University of Technology
Hendrik van Antwerpen hendrik van-antwerpen.net Delft University of Technology
Gian Pietro Farina g.p.farina dundee.ac.uk Dundee University
Robin Morisset robin.morisset normalesup.org École Normale Superieure
Quentin Heath quentin.heath polytechnique.edu École Polytechnique
Roberto Blanco Martínez roberto.blanco inria.fr École Polytechnique / INRIA
Andre Kuhlenschmidt andre.kuhlenschmidt gmail.com Indiana University
Praveen Narayanan pravnar umail.iu.edu Indiana University, Bloomington
Thomas Rubiano rubiano lipn.univ-paris13.fr Laboratoire Informatique Paris Nord
Rodolphe Lepigre rodolphe.lepigre univ-savoie.fr LAMA, Université Savoie Mont-Blanc
Haogang Chen hchen csail.mit.edu Massachusetts Institute of Technology
Joonwon Choi joonwonc mit.edu Massachusetts Institute of Technology
Anders Kaseorg andersk mit.edu Massachusetts Institute of Technology
Clément Pit--Claudel mit.edu Massachusetts Institute of Technology
Ben Sherman benmsherman gmail.com Massachusetts Institute of Technology
Max New maxsnew gmail.com Northeastern University
Karl Smeltzer smeltzek eecs.oregonstate.edu Oregon State University
Alice Pavaux alice.pavaux lipn.univ-paris13.fr Paris 13 University
Luc Pellissier luc.pellissier lipn.univ-paris13.fr Paris 13 University
Pierre Vial pvial pps.univ-paris-diderot.fr Paris Diderot (Paris 7) University
Ted Cooper theod pdx.edu Portland State University
Nathan Launchbury natelaunchbury gmail.com Portland State University
Jeff Ames jeff.ames cs.rutgers.edu Rutgers University
Daniil Berezun danya.berezun gmail.com Saint Petersburg State University
Julia Belyakova julbinb gmail.com Southern Federal University
Sergio Benitez sbenitez stanford.edu Stanford University
Nathaniel Thomas nthomas103 gmail.com Stanford University
Niccolò Veltri niccolo cs.ioc.ee Tallinn University of Technology
Sylvia Grewe grewe st.informatik.tu-darmstadt.de Technische Universität Darmstadt
Felipe Andrés Larenas Méndez flarenas dcc.uchile.cl Universidad de Chile
Clovis Eberhart ceberhar ens-cachan.fr Université Savoie Mont Blanc
Felipe Bañados Schwerter fbanados cs.ubc.ca University of British Columbia
Ben Hummon ben.hummon gmail.com University of California San Diego
Yuyan Bao BAOYUYAN knights.ucf.edu University of Central Florida
Raj Gautam Dutta rajgautamdutta knights.ucf.edu University of Central Florida
Xiaolong Guo guoxiaolong Knights.ucf.edu University of Central Florida
Raimil Cruz racruz dcc.uchile.cl University of Chile
Shawn Meier Shawn.Meier Colorado.edu University of Colorado
Danil Annenkov danil.v.annenkov gmail.com University of Copenhagen
Stefan Fehrenbach stefan.fehrenbach ed.ac.uk University of Edinburgh
Tomas Tauber tomtau connect.hku.hk University of Hong Kong
Andrew Ruef awruef cs.umd.edu University of Maryland at College Park
Vincent Archambault-Bouffard archambault.v gmail.com University of Montreal
Paul Downen pdownen cs.uoregon.edu University of Oregon
Philip Johnson-Freyd philipjf gmail.com University of Oregon
Luke Maurer maurerl cs.uoregon.edu University of Oregon
Klara Zielińska kzi cs.uni.wroc.pl University of Wrocław
João Paulo Pizani Flor J.P.PizaniFlor uu.nl Utrecht University
Nathalie Oostvogels noostvog vub.ac.be Vrije Universiteit Brussel
Mark Santolucito mark.santolucito yale.edu Yale University

Masters Students

Samat Bukenov s.bukenov gmail.com Kazakh-British Technical University
Raman Buzaubakov raman.buzaubakov gmail.com Kazakh-British Technical University
Vikraman Choudhury vikraman.choudhury gmail.com Indian Institute of Technology
Adam Sandberg Eriksson adam sandbergericsson.se Chalmers University of Technology
Anna Gladstone annag cs.uoregon.edu University of Oregon
Ting Chen Leo Hsu iteloo gmail.com University of British Columbia
Ben MacAdam benjamin.macadam ucalgary.ca University of Calgary
Shunsuke Shimizu shunsuke is.s.u-tokyo.ac.jp University of Tokyo
Ryo Tanaka alpicola is.s.u-tokyo.ac.jp University of Tokyo

Undergraduate Students

John Bodeen john-bodeen uiowa.edu University of Iowa
Tyler Cecil tcecil nmt.edu New Mexico Institute of Mining and Technology
Shao Cheng shaoc12 mails.tsinghua.edu.cn Tsinghua University
Martin Desharnais martin.desharnais gmail.com École de Technologie Supérieure
Jake Ehrlich jake.h.ehrlich gmail.com Kansas State University
Raleigh Foster foster cs.uoregon.edu University of Oregon
Danny Gratzer jozefg cmu.edu Carnegie Mellon University
Timothy Humphries tim utf8.me University of New South Wales
Dong Hwan Moon dm7 williams.edu Williams College
Jonathan Nix jkn3wn virginia.edu University of Virginia
Dustin Reid dustinr uoregon.edu University of Oregon
Alex Sanchez-Stern alex.sanchezstern hotmail.com University of Washington
Ryan Scott ryan.gl.scott ku.edu University of Kansas
Jiawei Tang tangjiaw umail.iu.edu Indiana University, Bloomington
Matthew Weaver mweav sas.upenn.edu University of Pennsylvania
Daryl Zuniga zunigad uw.edu University of Washington

Industry/Government

Rob Armstrong rob dancer.ca.sandia.gov Sandia National Laboratories
Michael Baker michaeltbaker gmail.com Trunk Club
Kevin Binz kevin.binz gmail.com Tableau Software
Alej Cabrera cpp.cabrera gmail.com Eduphoria
Jim Clements jamesclementsiii gmail.com AMRDEC
Eric Conlon econlon twitter.com Twitter
Samuel Eisenhandler sgeisenhandler gmail.com FactSet Research Systems
Paul Fryzel Paul_Fryzel condenast.com Condé Nast
Diego Carlos Gomez Ajhuacho carliros.g gmail.com Jatun S.R.L.
Owen Haaga owen.haaga gmail.com Urban Institute
Andrew Harris andrew.harris jhuapl.edu Johns Hopkins University Applied Physics Laboratory
Geoff Hulette ghulett sandia.gov Sandia National Laboratories
Zeeshan Lakhani zeeshan.lakhani gmail.com Basho Technologies, Inc
Brian Ledger brian.peter.ledger gmail.com Coherent Path
Justin Leitgeb justin stackbuilders.com Stack Builders
John Leo leo halfaya.org Maana, Inc.
Jason Michnovicz jmichno sandia.gov Sandia National Laboratory
Karla Morris knmorri sandia.gov Sandia National Laboratories
John Mumm jtfmumm gmail.com TheLadders
Richard Murphy richard.murphy gsa.gov US General Services Administration
Tom Murphy amindfv gmail.com Independent Contractor
Daniel Patterson dbp dbpmail.net Independent Contractor
Kynan Rilee kynan.rilee gmail.com
Mukul Sabharwal muks exchange.microsoft.com Microsoft
Henri Shahrouz henri.shahrouz gmail.com The Walt Disney Studios
Jeffrey Smith jeffrey.smith5 baesystems.com BAE SYSTEMS Technology Solutions
Jon Sterling jon jonmsterling.com PivotCloud

Other

Jack Gallagher jack gallabytes.com Mentoring Academy
Justin Rokisky jrokisky831 gmail.com Hobbyist
Karen Sargsyan karsar ibms.sinica.edu.tw Academia Sinica
Christophe Scholliers cfscholl vub.ac.be Vrije Universiteit Brussel
© University of Oregon Department of Computer and Information Science, 1202 University of Oregon, Eugene OR 97403-1202