University of Oregon University of Oregon

Types, Semantics, and Program Reasoning

June 20-July 2, 2022

Name Institution email

Doctoral Students

Aaron Letizia Boston University aaronlet bu.edu
Abel Nieto Rodriguez Aarhus University abeln cs.au.dk
Alex Gu Massachusetts Institute of Technology gua mit.edu
Alexander Oldenziel Gietelink l'Universite de Paris a.f.d.a.gietelinkoldenziel gmail.com
André Videla University of Strathclyde andre.videla strath.ac.uk
Andrea Colledan University of Bologna andrea.colledan unibo.it
Astyax Nourel Institut de Recherche en Informatique Fondamentale (IRIF) astyax irif.fr
Audrey Seo University of Washington alseo cs.washington.edu
Breandan Considine McGill University breandan.considine gmail.com
Callan McGill University of Michigan callan.mcgill gmail.com
Carlos Tomé Cortiñas Chalmers University of Technology carlos.tome chalmers.se
Casper van der Rest TU Delft c.r.vanderrest tudelft.nl
Cheng Zhang Boston University czhang03 bu.edu
Christopher Lam University of Illinois at Urbana-Champaign lam30 illinois.edu
Christopher Watson University of Pennsylvania ccwatson seas.upenn.edu
Claudio Agustín Mista Chalmers University of Technology mista chalmers.se
Cody Rivera University of Illinois Urbana-Champaign cjrivera1 crimson.ua.edu
Colin González Université Paris Cité gonzalez irif.fr
Cong Ma University of Waterloo hflsmax gmail.com
Cosmo Viola University of Illinois at Urbana-Champaign cosmov2 illinois.edu
Damián Arquez Trigo Universidad de Chile darquez dcc.uchile.cl
Daniel B. Zackon McGill University daniel.zackon mail.mcgill.ca
Daniel Luick Yale University daniel.luick yale.edu
David Binder University of Tübingen david.binder uni-tuebingen.de
David Flores University of Colorado Boulder dafl1278 colorado.edu
Deena Postol University of Maryland College Park dlpostol gmail.com
Denis Carnier KU Leuven denis.carnier vub.be
Dennis Guido Sprokholt Delft University of Technology d.g.sprokholt tudelft.nl
Derek Leung Massachusetts Institute of Technology dtl mit.edu
Eben Blaisdell University of Pennsylvania ebenb sas.upenn.edu
Eric Brunner-Williams University of Oregon tbrunner uoregon.edu
Gan Shen University of California, Santa Cruz gshen4 ucsc.edu
Grégoire Bussone Sorbonne Université gregoire.bussone ens.fr
Hannah Leung University of Illinois at Urbana-Champaign isprime67 gmail.com
Hannah Potter University of Washington hkpotter cs.washington.edu
Haoda Wang Columbia University haoda.wang columbia.edu
Haotian Deng Purdue University deng254 purdue.edu
Ilia Kaisin University of Cambridge ik404 cam.ac.uk
Jacob Olav Gerrit Krijnen Utrecht University j.o.g.krijnen uu.nl
Jacob Prinz University of Maryland jacobeliasprinz gmail.com
Jaro Reinders TU Delft j.s.reinders tudelft.nl
Jean-Alexandre Barszcz Université de Montréal jean-alexandre.barszcz umontreal.ca
Jessica Shi University of Pennsylvania jwshi seas.upenn.edu
Jessie Grosen Carnegie Mellon University jgrosen cs.cmu.edu
Jialu Bao Cornell University jb965 cornell.edu
Jiawei Chen University of Michigan chenjw umich.edu
Joana Parreira NOVA School of Science and Technology | FCT NOVA jb.parreira campus.fct.unl.pt
Joey Velez-Ginorio University of Pennsylvania joeyv seas.upenn.edu
John Jacobson University of Utah john.jacobson utah.edu
John Li Northeastern University johnli0135 gmail.com
Jonathan Chan University of Pennsylvania jonathanhwchan gmail.com
Joshua Turcotti Cornell University turcotti.joshua gmail.com
June Wunder Boston University jwunder bu.edu
Justin Frank University of Maryland jpfrank umd.edu
Justus Heinrich Fasse KU Leuven justus.fasse kuleuven.be
Kartik Singhal University of Chicago ks cs.uchicago.edu
Ke Du University of Illinois, Chicago kdu9 uic.edu
Kirby Linvill University of Colorado Boulder kirby.linvill colorado.edu
Koen Jacobs KU Leuven koen.jacobs kuleuven.be
Liviu Mihai Nicola Stevens Institute of Technology lnicola stevens.edu
Logan Weber Massachusetts Institute of Technology loganweb mit.edu
Lucas Escot TU Delft l.f.b.escot tudelft.nl
Luyu Cheng Hong Kong University of Science and Technology luyu.cheng connect.ust.hk
Mako Bates The University of Vermont Mako.Bates uvm.edu
Matthis Kruse CISPA Helmholtz Center of Information Security matthis.kruse cispa.de
Mengying Pan Princeton University mengying cs.princeton.edu
Michelle Davies Thalakottur Northeastern University michelledt.neu gmail.com
Mickaël Laurent IRIF (University of Paris) mlaurent irif.fr
Minsung Cho Northeastern University minsungc andrew.cmu.edu
Mohit Tekriwal University of Michigan tmohit umich.edu
Myra Dotzel Carnegie Mellon University mdotzel andrew.cmu.edu
Nabil Hassein New York University nah285 nyu.edu
Nathan E Liittschwager University of California, Santa Cruz nliittsc ucsc.edu
ned.summers exeter.ox.ac.uk
Nishant Kheterpal University of Michigan nskh umich.edu
Olek Gierczak Northeastern University olek.gierczak gmail.com
Parisa Fathololumi Stevens Institute of Technology pfathol1 stevens.edu
Peio Borthelle Université de Savoie Mont Blanc peio.borthelle univ-smb.fr
Prashant Kumar Oregon State University KUMARPRA OREGONSTATE.EDU
Pratap Singh Carnegie Mellon University pratapsingh1729 gmail.com
Qianchuan Ye Purdue University ye202 purdue.edu
Quarrie McGuire University of Chicago quarrie uchicago.edu
Robert Dickerson Purdue University rob robd.io
Roger Bosman KU Leuven roger.bosman kuleuven.be
Roman Kholin Lomonosov Moscow State University romankholin94 seclab.cs.msu.ru
Sander Huyghebaert Vrije Universiteit Brussel sander.huyghebaert vub.be
Santiago Arranz Olmos Max Planck Institute for Security and Privacy (MPI-SP) sarranzolmos gmail.com
Sarah Lim University of California, Berkeley sarah sarahlim.com
Shengyi Jiang University of Hong Kong shengyi.jiang outlook.com
Shiwei Weng Johns Hopkins University weng cs.jhu.edu
Stefan Malewski University of Chile smalewsk dcc.uchile.cl
Stephen Mell University of Pennsylvania sm1 cis.upenn.edu
Sydney Gibson Carnegie Mellon University sydneyg cmu.edu
Thomas Binétruy INRIA thomas.binetruy irif.fr
Tom Lauwaerts University of Ghent tom.lauwaerts ugent.be
Weimin Fu Kansas State University owenfu9484 gmail.com
Xaver Fabian CISPA Helmholtz Center for Information Security xaver.fabian cispa.de
Yanze Li University of British Columbia yanzeli cs.ubc.ca
Yaozhu Sun University of Hong Kong yzyzsun gmail.com
Yiyun Liu University of Pennsylvania liuyiyun seas.upenn.edu
Yong Zhong Northwestern University peterzhong2023 u.northwestern.edu
Younesse Kaddar University of Oxford youqad gmail.com
Yue Yao Carnegie Mellon University yueyao cs.cmu.edu
Yueyang Tang The University of Edinburgh EmanonTang outlook.com
Zach Sullivan University of Oregon zsulliva cs.uoregon.edu
Zachery Casey Boston University caseyz bu.edu
Zhaoxiang Liu Kansas State University zxliu ksu.edu

Masters Students

Aditya Senthilnathan Microsoft Research India aditsep99 gmail.com
Alvaro Pintado University of Pennsylvania apintado sas.upenn.edu
Darshal Shetty Indiana University Bloomington dcshetty iu.edu
Elton Pinto Georgia Institute of Technology epinto6 gatech.edu
Makkunda Sharma University of Oxford makkundasharma gmail.com
Muhammad Adnan University of Bamberg seadnansajid gmail.com
Shawn Fier University of Victoria fiershawn gmail.com

Undergraduate Students

Aoyang Yu Zhejiang University aoyang.yu.edu outlook.com
Brian Christian Rochester Institute of Technology bpc6565 rit.edu
Caspar Popova Northwestern University caspar-p u.northwestern.edu
Darren Fitzgerald Univeristy of Michigan darrenwf umich.edu
David Korotky Oregon State University korotkyd oregonstate.edu
Hilbert Chen University of Michigan, Ann Arbor cyaa umich.edu
Hiteesh Nukalapati University of Maryland at College Park hnuk terpmail.umd.edu
Iain Moncrief Oregon State University moncrief oregonstate.edu
Johnson He University of Michigan hejohns umich.edu
Luna Xin University of Waterloo luna.xin uwaterloo.ca
Qihao Lian Zhejiang University mepy zju.edu.cn
Runze Xue University of Michigan, Ann Arbor cactus umich.edu
Shriya Thakur University Of Massachusetts , Lowell Shriya_Thakur student.uml.edu
Snigdha Kalathur Boston University snigdhakalathur gmail.com
Vivien Rindisbacher Boston University vrindis bu.edu
Yifan Zhu Chinese University of Hong Kong, Shenzhen i zhuyi.fan
Yuchen Jiang University of Michigan lighght umich.edu
Yuxuan Xia University of Michigan, Ann Arbor xyuxuan umich.edu

Professors

Lucas Bang Harvey Mudd College bang cs.hmc.edu
Tim Steenvoorden Open University tim.steenvoorden ou.nl

Post-Doctoral Researchers

Georgios Bakirtzis The University of Texas at Austin bakirtzis utexas.edu
Nico Naus Virginia Tech niconaus vt.edu

Industry Professionls

Arsalan Cheema Standard Chartered Bank arsalan.cheema u.nus.edu
Benjamin Weinstein-Raun b w-r.me
Debnil Sur VMware debnil alumni.stanford.edu
Enzo Alda Lakebolt Research enzo ieee.org
Haoxuan Yue Meta yuehaoxuanar yahoo.com.sg
Jean-Charles Belouard independent contractor jcbelouard gmail.com
Jonathan Lorimer Mercury jonathan_lorimer mac.com
Runtian Zhou Meta zrt1995 gmail.com
Samuel Pollard Sandia National Laboratories spolla sandia.gov
Shant Hairapetian Sandia National Laboratories shanth2600 gmail.com
Spencer Baugh Jane Street spencerbaugh gmail.com
participants