University of Oregon University of Oregon

Oregon Programming Languages Summer School

Types, Logic, and Formal Methods

June 26-July 8, 2023

Types, Logic, and Formal Methods

June 23-July 5, 2025

Name Institution email
Industry
Ricardo Aguilera Google LLC
Andres Duarte Rengifo andres duarterengifo.com
John Ericson Obsidian Systems mail JohnEricson.me
Ken Micklas Bloomberg mail kmicklas.com
G. Namireddy Zip gnamird795 gmail.com
Greg Nisbet Google gregory.nisbet gmail.com
Ty Overby Jane Street Capital ty pre-alpha.com
Aaron Yue yuehaoxuanar yahoo.com.sg
Professors
Lucas Bang Harvey Mudd College bang cs.hmc.edu
Alain Kägi Lewis & Clark College alaink lclark.edu
Post-Doctoral Researchers
Sebastien Zany Ethereum Foundation seb stien.io
PhD Students
Ellen Arlt Max-Planck Institute for Software Systems earlt mpi-sws.org
Abbas Bagwala University of Oregon abagwala uoregon.edu
Steven Baldasty University of Vermont steven.baldasty uvm.edu
Mark Barbone Cornell University barbone cs.cornell.edu
Kalyan Bhetwal University of Maryland, College Park bhetwal umd.edu
Mo Bitar Johannes Gutenberg University Mainz bitar uni-mainz.de
Laurits Bligaard Aarhus University bligaard cs.au.dk
Adam Brohl University of Rochester abrohl ur.rochester.edu
Dakota Bryan University of Colorado, Boulder dakota.bryan colorado.edu
Twain Byrnes Carnegie Mellon University binarynewts cmu.edu
Vincent Chan University at Buffalo vichan39 buffalo.edu
Xiao Chen Indiana University Bloomington xc56 iu.edu
Yanning Chen University of Toronto yanning.chen mail.utoronto.ca
Feng Cheng New York University fc1367 nyu.edu
Brian Cheong National University of Singapore skcheongbrian gmail.com
Adriano Cobelino University of Massachusetts Lowell adriano_vilargacorbelino uml.edu
Simon Daniel Technical University Darmstadt simon.daniel tu-darmstadt.de
Anthony Dario University of Oregon adario uoregon.edu
Noé De Santo University of Pennsylvania ndesanto seas.upenn.edu
Hunter DeMeyer University of Illinois, Urbana-Champaign demeyer3 illinois.edu
Adela Deng Google/UW-Madison adeladengyijia gmail.com
Vivian Ding Massachusetts Institute of Technology vyd mit.edu
Amelia Dobis Princeton University amelia.dobis princeton.edu
Javier Enriquez Mendoza University of Birmingham jxe275 student.bham.ac.uk
Negar Fathi University of Nebraska-Lincoln nfathi2 huskers.unl.edu
Yong Qi Foo National University of Singapore yongqi nus.edu.sg
Luis Garcia Northeastern University garcia.lui northeastern.edu
Nathan Glover Carnegie Mellon University nsglover cs.cmu.edu
Julian Haas Technical University of Darmstadt haas cs.tu-darmstadt.de
Christopher Henson Drexel University ch3473 drexel.edu
Keara Hill Binghamton University khill9 binghamton.edu
Johannes Hostert ETH Zurich jhostert ethz.ch
Mathew Huerta-Enochian University of Oregon mhuertae uoregon.edu
Syed Jafri University of Vermont sajafri uvm.edu
Stavan Jain UW Madison stavansjain gmail.com
Vít Jelínek University of Sussex v.jelinek sussex.ac.uk
Antanas Kalkauskas Nanyang Technological University a.kalkauskas gmail.com
Jude Kanjamala Stevens Institute of Technology jkanjama stevens.edu
Matthew Keenan University of Michigan mckeenan umich.edu
Bartłomiej Królikowski Uniwersytet Wrocławski bartlomiej.krolikowski cs.uni.wroc.pl
Christian Kuessner Technical University of Darmstadt christian.kuessner tu-darmstadt.de
Rachit Kumar Purdue University, West Lafeyette kumar800 purdue.edu
Aaron Lee Nanyang Technological University, Singapore aarontravis.lee ntu.edu.sg
Alice Lee Institute of Science and Technology Austria alice.lee ista.ac.at
Xuyang Li Purdue University li5274 purdue.edu
Slim Lim UC Berkeley slim sarahlim.com
Hongyi Ling ETH Zürich hongyi.ling inf.ethz.ch
Yulong Liu National Institute of Informatics & SOKENDAI yulong.liu outlook.jp
Tristan MacKinlay University of Iowa tsmackinlay gmail.com
Avishkar Mahajan Nanyang Technological University avishkarmahajan92 gmail.com
Samson Main University of Bristol samsonsmain gmail.com
Luca Maio LMU Munich luca.maio ifi.lmu.de
Julius Marozas Chalmers University of Technology marozas chalmers.se
Manish Mathai University of Oregon manishpmathai gmail.com
Iris Hitomi Nakayama University of California, Santa Barbara nakayama ucsb.edu
Joel Nyholm Halmstad University joel.nyholm hh.se
Paaras Padhiar University of Birmingham pxp367 student.bham.ac.uk
Trey Plante University of Illinois at Urbana-Champaign tplante3 pm.me
Francis Rinaldi University of Pennsylvania francis.rinaldi gmail.com
Kartik Sabharwal University of Iowa kartik-sabharwal uiowa.edu
Daniel Sainati University of Pennsylvania sainati seas.upenn.edu
Vishnu Satish NYU Courant svishnus umich.edu
William Scarbro Colorado State University wscarbro rams.colostate.edu
Jesse Slater University of Michigan slaterjc umich.edu
Thomas Somers Radboud University Nijmegen thomas.somers ru.nl
Asha Soroushpoor Purdue University asoroush purdue.edu
Sam Stites Northeastern University stites.s northeastern.edu
Jack Stodart Australian National University jack.stodart anu.edu.au
Jeremy Stratton-Smith Rochester Institute of Technology jnstrattonsmith gmail.com
Emmanuel Suárez Acevedo Cornell University emma cs.cornell.edu
Sipeng Sun Chinese University of Hong Kong 1155231337 link.cuhk.edu.hk
Huaxin Tang State University of NY in Binghamton htang28 binghamton.edu
Keith Tao Nanyang Technological University keith_teo outlook.sg
Balazs Toth LMU Munich balazs.toth lmu.de
Toby Ueno University of Edinburgh toby.ueno ed.ac.uk
Arjun Vedantham University of California, Santa Cruz avedanth ucsc.edu
Max Vistrup ETH Zurich max.vistrup inf.ethz.ch
Eva Wagner TU Wien eva.maria.wagner tuwien.ac.at
Claire Wang University of Pennsylvania cdwang seas.upenn.edu
Yushuo Xiao ETH Zurich yushuo.xiao inf.ethz.ch
Qiyuan Xu Nanyang Technological University xu qiyuan.me
Yuki Yang University of Washington yukyang cs.washington.edu
Ugur Yavuz Boston University uyyavuz bu.edu
Yeonhee Yeh University of Vermont yeonhee.yeh uvm.edu
Huan Zhang Maynooth University HUAN.ZHANG.2024 mumail.ie
Yunxiang Zhang University of Chicago aslanzyx uchicago.edu
Eric Zhao Brown University eric_c_zhao brown.edu
Ekaterina Zhuchko Tallinn University of Technology ekaterina.zhuchko taltech.ee
Laura Zielinski Cornell University lcz8 cornell.edu
Heili Aarhus University hei.li cs.au.dk
Masters Students
Aws Almahasneh Indiana University Bloomington awsalmahasneh gmail.com
Lucas Du UC Davis lzdu ucdavis.edu
Aaron Frye Appalachian State University fryeac appstate.edu
Vivienne Goya Princeton University vivien.goyal gmail.com
Léo Leesco UC Berkeley - École polytechnique leo.leesco eecs.berkeley.edu
Ben Lenox Appalachian State University lenox.ben gmail.com
Anrui Liu Carnegie Mellon Uinversity liuanrui2 gmail.com
Aidan Maney University of Edinburgh awmaney ucsc.edu
Sujin Woo Indiana University - Bloomington woosuj iu.edu
Kevin Ye Simon Fraser University yekeviny sfu.ca
Zhiwen Zheng Brown University zhiwen_zheng brown.edu
Undergraduates
Owen Duckham Northeastern University duckham.o northeastern.edu
Qinggao Hong UC Berkeley qinggao.hong berkeley.edu
Tyler Hou UC Berkeley tylerhou berkeley.edu
Dustin Juliano Indiana University Indianapolis djuliano iu.edu
Puming Liu New York University pl2559 nyu.edu
Daniel Neshyba-Rowe Lewis & Clark College rowedanielp gmail.com
Ari Prakash Northeastern University prakash.ar northeastern.edu
Louis Quilling Carnegie Mellon University in Qatar equillin andrew.cmu.edu
Ellen Whalen Lewis & Clark College ellenewhalen gmail.com
Chentian Wu University of Wisconsin-Madison cwu445 wisc.edu
Jiaqi Wu Nanjing University of Posts and Telecommunications jiaqiwuuuu gmail.com
Selene Wu Boston University sebwu bu.edu
Yunkai Zhang Imperial College London yunkai.zhang22 imperial.ac.uk
Winnie Zhou Wellesley College yz109 wellesley.edu
Francille Zhuang Purdue University fzhuang purdue.edu
JJ University of British Columbia jj toki.la