University of Oregon University of Oregon

Oregon Programming Languages Summer School

Types, Semantics, and Logic

June 26-July 8, 2023

Types, Semantics, and Logic

June 26-July 8, 2023

Name Institution email
Industry
Enzo Alda Lakebolt Research enzo ieee.org
Alex Bandukwala DRW 7h3kk1d gmail.com
Olivia Brode-Roger Brilliant.org nibrivia gmail.com
Raphael Gaschignard raphael rtpg.co
Akhil Indurti Microsoft aindurti gmail.com
Dr. Lance Joneckis Idaho National Laboratory lance.joneckis inl.gov
Jabari King LeafLabs Inc. jak512.id gmail.com
Gary Klimowicz Dancing Bear Software gak dancingbear.dev
Timothy Mou Amazon timothymou7 gmail.com
Benjamin Plotke Adaptiva benplotke gmail.com
Andrew Shulaev Google UK ash.drone gmail.com
Alex Zani Google alex zfc.io
Professors
Yao Li Portland State University liyao pdx.edu
Post Doctoral Researchers
Pavel Chuprikov Università della Svizzera italiana pavel.chuprikov usi.ch
Doctoral Students
Arthur Amorim University of Central Florida aamorim1 knights.ucf.edu
Ellen Arvidsson Uppsala University ellen.arvidsson it.uu.se
Thomas Bagrel LORIA/INRIA thomas.bagrel tweag.io
Rini Banerjee University of Cambridge rb2018 cam.ac.uk
Chinmayi Baramashetru University of Oslo cpbarama ifi.uio.no
Péter Bereczky Eötvös Loránd University berpeti inf.elte.hu
Noah Bertram Cornell University nbertram cs.cornell.edu
Jonathan Castello UC Santa Cruz jcaste14 ucsc.edu
Kejun Chen Kansas State University kejun ksu.edu
Yijia Chen Hong Kong University of Science and Technology ychenfo connect.ust.hk
Anthony Dario Sandia National Labs adario uoregon.edu
Tomás Díaz Universidad de Chile tomdtron gmail.com
Chao Ding University of Illinois at Chicago cding22 uic.edu
Emmanuel Anaya Gonzalez UC San Diego fanayagonzalez ucsd.edu
Yawen Guan EPFL yawen.guan epfl.ch
Nathan Guermond University of Minnesota Twin-Cities guerm001 umn.edu
Peter Hanukaev Augusta University phanukaev augusta.edu
Marc Hermes Radbound University marc.hermes ru.nl
Alex Hodder-Williams Royal Holloway, University of London pjai015 live.rhul.ac.uk
Andrew Johnson Princeton University aj3189 princeton.edu
Cameron Jones Royal Holloway, University of London cameron.jones.2018 live.rhul.ac.uk
Michail Karatarakis Radboud University Nijmegen michail.karatarakis ru.nl
Aaron Kirtland Brown University aaron_kirtland brown.edu
Chun Kit Lam Hong Kong University of Science and Technology cklamaq connect.ust.hk
Abhiram Kothapalli Carnegie Mellon University akothapalli cmu.edu
Pavel Kovalev Indiana University Bloomington pakova indiana.edu
Cole Kurashige UC San Diego ckurashige ucsd.edu
Patrick Lafontaine Purdue University plafonta purdue.edu
Jens Larsen Technical University of Denmark jekla dtu.dk
Tony Law Université de Rennes tony.law inria.fr
Maxime Legoupil Aarhus Universitet maxime cs.au.dk
Maxwell Levatich Columbia University ml4553 columbia.edu
Dennis Liew University of Massachusetts Boston ZhenRong.Liew001 umb.edu
Selene Linares Arevalo The University of Melbourne plinaresarev student.unimelb.edu.au
Ben Lirio Stevens Institute of Technology benjlirio gmail.com
Junrui Liu UC Santa Barbara junrui ucsb.edu
Shamiek Mangipudi Università della Svizzera italiana shamiekm gmail.com
Sarah Marshall Northeastern University sarah sarahmarshall.name
Kegan McIlwaine Unversity of Wyoming kmcilwai uwyo.edu
Anshuman Mohan Cornell University amohan cs.cornell.edu
Ike Mulder Radboud University Nijmegen i.mulder cs.ru.nl
Allison Naaktgeboren Portland State University naak pdx.edu
Sean O'Connor Carnegie Mellon University seanoconnor2019 gmail.com
Jo O'Harrow University of Oregon joharrow uoregon.edu
Bruno Paiva University of Birmingham bmd202 student.bham.ac.uk
Yustynn Panicker Singapore University of Technology & Design yustynn gmail.com
Katherine Philip Portland State University kphilip pdx.edu
Siddharth Priya University of Waterloo siddharth.priya uwaterloo.ca
Jérome Ricciardi Université Paris-Saclay jricciardi hotmail.fr
Idriss Riouak Lund University idriss.riouak cs.lth.se
Bastien Rousseau Aarhus University bastien.rousseau cs.au.dk
Radosław Rowicki Danmarks Tekniske Universitet rjro dtu.dk
Darshal Shetty Indiana University dcshetty iu.edu
Sam Smith Royal Holloway, University of London sam.smith.2022 live.rhul.ac.uk
Priya Srikumar Cornell University ps735 cornell.edu
Zach Sullivan Sandia National Labs zsulliva cs.uoregon.edu
Chelse Swoopes Harvard University cswoopes g.harvard.edu
Yueyang Tang Purdue University yueyang purdue.edu
Émilie Thomé Laboratoire d'Informatique de Paris 6, Sorbonne Université emilie.thome lip6.fr
Cassia Torczon University of Pennsylvania ctorczon seas.upenn.edu
Mateo Torres Ruiz University College London mateo.atr gmail.com
Frank Tsai SUNY at Buffalo fengmaot buffalo.edu
Clement Wan Simon Fraser University clementwan1998 gmail.com
Qianyong Wan University of Hong Kong slantern connect.hku.hk
Sam Winnick University of Waterloo samwinnick1 hotmail.com
Jingtao Xia UC Santa Barbara jingtaoxia ucsb.edu
Bochen Xu University of Massachusetts Amherst bochenxu umass.edu
Andrey Yao University of Wisconsin - Madison andrey.yao wisc.edu
Wenjia Ye University of Hong Kong yewenjia connect.hku.hk
Antonio Zegarelli IMDEA Software Institute antonio.zegarelli imdea.org
Kevin Zhang Harvard University kzhang g.harvard.edu
Litao Zhou University of Hong Kong ltzhou cs.hku.hk
Lydia Zoghbi UC San Diego lzoghbi ucsd.edu
Masters Students
Gabriela Araujo Britto University of British Columbia garaujobritto gmail.com
Yi Cai Carnegie Mellon University yicai andrew.cmu.edu
Raphael Douglas Giles University of New South Wales raphaeldouglasgiles gmail.com
Aditya Giridharan UC San Diego agiridharan ucsd.edu
Yiyang Guo Carnegie Mellon University yiyangg alumni.cmu.edu
Shun Kashiwa UC Santa Cruz shkashiw ucsc.edu
Elad Kinsbruner Technion - Israel Institute of Technology kinsbruner cs.technion.ac.il
David Läwen Radboud University Nijmegen david.laewen gmx.de
Weixuan Lin Santa Clara University wlin4 scu.edu
Ziqi Liu Carnegie Mellon University ziqil2 andrew.cmu.edu
Navaneeth Nambiar University of Texas at Dallas navaneeth.m.nambiar gmail.com
Ernest Ng University of Pennsylvania ngernest seas.upenn.edu
Jingyu Qiu University of Rochester jingyuqiu rochester.edu
Sabrina Reis Sandia National Labs sreis uoregon.edu
Mahmoud Sobier Massachusetts Institute of Technology msobier mit.edu
Zixiu Su Indiana University Bloomington szx917 gmail.com
Andy Tockman Massachusetts Institute of Technology andy tck.mn
Yiwei Wu Columbia University yw3901 columbia.edu
Youning Xia Iniversity of Edinburgh youning.xia gmail.com
Robert Zhang Johns Hopkins University jiaxuanzhang066 gmail.com
Undergrad Students
Jon Baum jmichaelbaum gmail.com
Owen Conoly Massachusetts Institute of Technology owenc mit.edu
Riley Denoyer University of Utah riley.denoyer+oplss gmail.com
Ian Grenville McGill University ian.grenville mail.mcgill.ca
Ben Harris benharris42 gmail.com
Mikail Khan Purdue University mikail purdue.edu
Tsz Hang Kiang Georgia Tech tszhang.kiang gatech.edu
Christine Lin Oregon State University linchr oregonstate.edu
Rachel Muir University of Kent rachelmuir0313 gmail.com
Ritam Nag Massachusetts Institute of Technology rnag mit.edu
Zak Sines University of Pennsylvania zaksines sas.upenn.edu
Alan Wang New York University alanwang599 gmail.com