University of Oregon University of Oregon

Oregon Programming Languages Summer School

Types, Proofs, and Program Logics

June 22-July 4, 2026

Types, Proofs, and Program Logics

June 22-July 4, 2026

Name Institution email
Industry
Adam Berger Rivian VW Tech addaon gmail.com
Simeon Krastnikov Amazon Web Services skrastnikov uwaterloo.ca
Lucie le Blanc Warp lucieleblanc425 gmail.com
Jeeva Paudel Qualcomm Tech Inc. jeeva ualberta.ca
Taz Saad convoy-03-channel icloud.com
Alex Smaliy Mashgin islay jhu.edu
Gerald Trotman Red Hat backwardsengineering gmail.com
Finnton Wentworth Kubota Tractor Corporation fwentworth45 gmail.com
Professor
Steven Libby University of Portland libbys up.edu
PhD Students
Kalab Assefa University of Michigan kassefa umich.edu
Liz Austell Princeton University ea7214 princeton.edu
Billy Bai University of Waterloo bai791698317 gmail.com
Andrew Blinn University of Michigan blinnand umich.edu
ilan Buzzetti University of Texas at Dallas ixb140230 utdallas.edu
Weiyi Chen Purdue University chen5332 purdue.edu
Yanjun Chen University of California, Irvine yanjunc6 uci.edu
Ricky Cheng University of Connecticut fvi24001 uconn.edu
Zander Chown University of Oregon zchown uoregon.edu
Anthony Dario University of Oregon adario uoregon.edu
Markus de Medeiros New York University mjd9606 nyu.edu
Chandradeep Dey Rochester Institute of Technology cd5489 rit.edu
Chao Ding University of Illinois at Chicago cding22 uic.edu
Sam Dodson UMass Lowell samdodson protonmail.com
Alessio Duè ETH Zurich alessio.due inf.ethz.ch
Eugène Flesselle ETH Zürich eugenef mpi-sws.org
Namratha Gangamreddypalli Ecole Polytechnique namratha lix.polytechnique.fr
Jasper Geer University of British Columbia jasper.geer gmail.com
Jacob Greenfield Carnegie Mellon University jagreenf andrew.cmu.edu
Christine Guo Massachusetts Institute of Technology cguo26 mit.edu
Simon Henniger Harvard University shenniger g.harvard.edu
Lucy Horowitz UC Berkeley lucyhorowitz berkeley.edu
Songlin Jia Purdue University jia137 purdue.edu
Adam Jones Imperial College London adam.y.jones20 imperial.ac.uk
Ryuji Kawakami The Graduate Institute for Advanced Studies (SOKENDAI) ryuji nii.ac.jp
Sascha Kehrli MPI-SWS skehrli mpi-sws.org
Shuchi Kundaliya Binghamton University skundaliya binghamton.edu
Ayla Kurdak UC San Diego akurdak ucsd.edu
Bas Laarakker Leiden University b.g.laarakker liacs.leidenuniv.nl
Andrew Lee ETH Zürich andrew.lee inf.ethz.ch
Anqi Li ETH Zurich anqi.li inf.ethz.ch
James Li Northeastern University li.j36 northeastern.edu
Slim Lim UC Berkeley slim sarahlim.com
Yulong Liu National Institute of Informatics yulong nii.ac.jp
Xiaoyang Lu Purdue University lu1329 purdue.edu
Cong Ma University of Waterloo cong.ma uwaterloo.ca
Thomas Mayerl ETH Zurich thomas.mayerl inf.ethz.ch
Robert Mensing University of Twente r.a.mensing utwente.nl
Mark Ng The Hong Kong University of Science and Technology phmng connect.ust.hk
Henry Olson Washington State University henry.olson1 wsu.edu
Yongmin Park University of Oregon yongminp uoregon.edu
Daniel Peres Santos University of Oregon danper uoregon.edu
Jack Phillips University of Montana jacphill66 gmail.com
Aaryan Prakash Purdue University prakas71 purdue.edu
Abigail Pribisova Max Planck Institute for Security and Privacy abigail.pribisova mpi-sp.org
Kashish Raimalani University of Edinburgh kashishraimalani gmail.com
Rupashree Rangaiyengar Princeton University rh9283 princeton.edu
John Rizkalla University of Colorado Boulder john.rizkalla colorado.edu
Raven Rothkopf UC San Diego rrothkopf ucsd.edu
Sierra Rowley UCSD srowley ucsd.edu
William Scarbro Colorado State University wscarbro rams.colostate.edu
Anu Soneye University of Southern California soneye usc.edu
Ana Sousa University of Porto ana_96_sousa hotmail.com
Rebekah Sowards Purdue University rsowards purdue.edu
Jeremy Stratton-Smith Rochester Institute of Technology js5211 rit.edu
Shivanandan Tamil Kumaran Imperial College London st621 ic.ac.uk
Wannes Tas KU Leuven wannes.tas kuleuven.be
Ulises Torrella Western Norway University of Applied Sciences ulises.torrella gmail.com
Tia Vu Massachusetts Institute of Technology tiavu mit.edu
Ziyang Wang University of Hong Kong ziyang.wang connect.hku.hk
Jonah Weinbaum Tufts University Jonah.Weinbaum tufts.edu
Johannes Wiesböck Fraunhofer Institute for Applied and Integrated Security johannes.wiesboeck aisec.fraunhofer.de
Selene Wu NYU sxw7480 nyu.edu
Dongyu Wu Rochester Institute of Technology dw1823 rit.edu
Jonathon Yallop Université de Montréal jonathon.yallop umontreal.ca
Mingtian Yang University of Hong Kong skylee03 connect.hku.hk
Carolyn Zech Massachusetts Institute of Technology carolynzech gmail.com
Xusheng Zhi University of Wisconsin-Madison xzhi8 wisc.edu
Dinghong Zhong Tufts University Dinghong.Zhong tufts.edu
Masters Students
Julay Leatherman-Brooks Portland State University julay pdx.edu
Christophe Durieu University of New-Brunswick christopher.durieu unb.ca
Max Gross University of Toronto max.gross mail.utoronto.ca
Kunha Kim University of Colorado Boulder kunha.kim colorado.edu
Junyi Li National University of Singapore Dendyli618 outlook.com
Mingtong Lin Northeastern University lin.weix northeastern.edu
Stephanie Ma Stanford University ym363 cornell.edu
Emily Montero University of Oregon kaleom uoregon.edu
Konami Shu the University of Tokyo konami g.ecc.u-tokyo.ac.jp
Thomas van Voorhis Rochester Institute of Technology trvv trvv.me
Feiyang Wang Brown University feiyang_wang brown.edu
Yawen Xue Carnegie Mellon University yawenxue andrew.cmu.edu
Zijie Zhou Northeastern University zhou.zijie northeastern.edu
Undergraduates
May Du Northeastern University du.wi northeastern.edu
Rhea Karty Dartmouth College rhea.e.karty.25 dartmouth.edu
Manu Klein Reed College manuklein reed.edu
Jules Kuo-Gross University of Strathclyde ace8 me.com
Harry Li The Hong Kong University of Science and Technology yhliaf connect.ust.hk
Omar Mohammed University of Kansas ormohammed14 protonmail.com
Maria Novoszel TU Wien maria.novoszel student.tuwien.ac.at
Carmen Park University of Oregon carmenpark gmx.com
Brysen Pfingsten Seton Hall University brysen.pfingsten student.shu.edu
Daniel Pinto Universidad Simon Bolivar daniel.andres.pinto gmail.com
Ari Prakash Northeastern University prakash.ar northeastern.edu
Hans Sardar University of Massachusetts localboxcrox gmail.com
Yuxiang Sun University of Wisconsin-Madison sun469 wisc.edu
Bolun Thompson University of California, Los Angeles abolunthompson gmail.com
William (Sonder) Traub Northeastern University traub.w northeastern.edu
Ethan Van Der Heijden Northeastern University ethanvanderheijden gmail.com
Erica Wang University of California, Santa Barbara erica_wang ucsb.edu
Jiahao Xia University of Maryland jxia77 terpmail.umd.edu
Chenhong Xu Northeastern University xu.chenho northeastern.edu
Alec You Carnegie Mellon University alecyoutech gmail.com
Hao Zou University of Wisconsin - Madison zzou39 wisc.edu