University of Oregon University of Oregon

A Spectrum of Types

June 26-July 8, 2017

participants

Industry

Name Institution email
Ariel Azoulay Nokia Technologies (Engineering Design) azoulay.ari gmail.com
Dr. Lars Brünjes Input Output Hong Kong lars.bruenjes iohk.io
Brian Cohen Drexel University (Physics) brian.cohen.88 gmail.com
Scott Fleischman Plow Technologies (Software Development) scottfleischman3 gmail.com
Zeeshan Lakhani Comcast Cable (Core Application Platform) zeeshan.lakhani gmail.com
John Leo Halfaya Research leo halfaya.org
Warrick Macmillan Independent Contractor (Math and Computer Science) wmacmil gmail.com
Ken Maupin Workday (Cloud Engineering) ken syntropylabs.com
Jake Mitchell Input Output (DevOps) jake requisitebits.com
Gregory Nisbet Facebook gregory.nisbet gmail.com
Juspreet Sandhu Yahoo! jssandh2 illinois.edu
Henri Shahrouz The Walt Disney Company henri.shahrouz gmail.com
Sandy Vanderbleek Pivotal (Labs) sandy.vanderbleek gmail.com
Matthew Wilson Formal Solutions matthewscottwilson gmail.com
Jason Yeo SourceClear (R&D) jason.yeo sourceclear.com

Masters Students

Name Institution email
José Abel University of New Mexico (Department of Computer Science) jcastellanos34 gmail.com
Raleigh Foster University of Oregon (Computer and information Science) foster cs.uoregon.edu
Joomy Korkut Wesleyan University (Computer Science) ckorkut wesleyan.edu
Paul Krogmeier Purdue University (Computer Engineering) pkrogmei purdue.edu
Fabian Mosso Universidad de Chile (Department of Computer Science) fmosso88 gmail.com
Ankit Shukla Tata Institute of Fundamental Research, Mumbai (Computer Science) ankitk ncbs.res.in
Morgan Sinclaire Boise State University sincm uw.edu

Phd Students

Name Institution email
Gurvan Cabon INRIA (Computer Science) gurvan.cabon inria.fr
Mauricio Cano University of Groningen (Faculty of Science and Engineering) m.a.cano.grijalba rug.nl
Jonathan Castello University of California: Davis (Computer Science) jmcastello ucdavis.edu
Chris Chak Portland State Univerisity (Computer Science) chak pdx.edu
Buddhika Chamith Indiana University (School of Informatics and Computing) budkahaw indiana.edu
Victor Dumitrescu Inria Paris (Prosecco Team) victor.dumitrescu inria.fr
Matthias Eichholz Technical University of Darmstadt (Computer Science) eichholz cs.tu-darmstadt.de
Vimuth Fernando University of Illinois at Urbana-Champaign (Computer Science) wvf2 illinois.edu
Armaël Guéneau Paris Diderot and Inria (Computer Science) armael.gueneau inria.fr
Kyle Headley University of Colorado Boulder (Computer Science) Kyle.Headley colorado.edu
Nima Joharizadeh University of California, Davis (Computer Science) johari ucdavis.edu
Philippe Jolan Northern Arizona University (Informatics and Computing) jolan.philippe gmail.com
Markus Klinik Radboud University (Software Science) m.klinik cs.ru.nl
András Kovács Eötvös Loránd University (Programming Languages and Compilers) puttamalac gmail.com
Ismail Kuru Drexel University (College of Computing and Informatics) ik335 drexel.edu
Elizabeth Labrada Universidad de Chile (Computer Science Department) elabrada dcc.uchile.cl
Suhua Lei University of California: Davis (Computer Science) sulei ucdavis.edu
Mark Lemay Boston University (Computer Science Department) lemay bu.edu
Fengyun Liu École Polytechnique Fédérale De Lausanne (informatics and communication) fengyun.liu epfl.ch
Elizabeth Lobo Chalmers University (Computer Science and Engineering) elilob chalmers.se
Weixi Ma Indiana Univeristy (Computer Science) mvc iu.edu
Joel Mabey University of Minnesota (Computer Science) joelmabey gmail.com
Ravi Mangal Georgia Institute of Technology (School of Computer Science) ravi.mangal gatech.edu
Luke Maurer University of Oregon (Computer and information Science) maurerl cs.uoregon.edu
Charlie Murphy Princeton University (Computer Science) tcm3 cs.princeton.edu
Jeanne-Marie Musca Tufts University (Computer Science) jmusca cs.tufts.edu
Nico Naus Utrecht University (Department of Information and Computing Sciences) n.naus uu.nl
Omar Navarro Leija University Of Pennsylvania (Computer Science) omarsa seas.upenn.edu
Jianyan Nie Indiana University (school of informatics and computing) createlife1991 gmail.com
Mathias Pedersen Aarhus University (Computer Science) mvp cs.au.dk
Artem Pelenitsyn Southern Federal University (Institute of Mathematics, Mechanics and Computer Science) a.pelenitsyn neu.edu
Lauren Pick Princeton University (Computer Science) lpick cs.princeton.edu
Pedro Rocha New University of Lisbon (Computer Science ) pms.rocha campus.fct.unl.pt
Sven Schuster Technische Universität Braunschweig (Software Engineering and Automotive Informatics) s.schuster tu-braunschweig.de
David Sherratt University of Bath (Computer Science) d.r.sherratt bath.ac.uk
Hyeyoung Shin University of Hawaii (Mathematics and Information and Computer Science) hyeyoungshinw gmail.com
Tim Steenvoorden Radboud University Institute for Computing and Information Sciences (Software Science) tim.steenvoorden gmail.com
Jon Sterling Carnegie Mellon University (Computer Science Department) jmsterli cs.cmu.edu
Nicolas Stucki École Polytechnique Fédérale De Lausanne (Computer sciences (EDIC)) nicolas.stucki epfl.ch
Zack Sullivan University of Oregon (Computer and Information Science) zsulliva cs.uoregon.edu
Anish Tondwalkar University of California San Diego (Computer Science and Engineering) atondwal ucsd.edu
Matías Toro University of Chile (Computer Science Department (DCC)) mtoro dcc.uchile.cl
Phuc Huu Vo Uppsala University (Information Technology) huu-phuc.vo it.uu.se
Laura Voinea University of Glasgow (Department of Computing Science) a.voinea.1 research.gla.ac.uk
Guannan Wei University of Utah (School of Computing) guannanwei outlook.com
Pascal Weisenburger Technical University of Darmstadt (Computer Science) weisenburger st.informatik.tu-darmstadt.de
Aaron  Weiss Northeastern University weiss ccs.neu.edu
Max Willsey University of Washington (Computer Science and Engineering) mwillsey cs.washington.edu
Kawin Worrasangasilpa University of Cambridge (Computer Laboratory) kw448 cam.ac.uk
Jared Wright University of Colorado-Boulder (Computer Science) jared.wright colorado.edu
Shale Xiong Imperial College London (Department of Computing) sx14 ic.ac.uk
Huang Xuejing University of Hong Kong (Computer Science) xsnow outlook.com
Joshua Yanovski The Max Planck Institute For Software Systems pythonsq mpi-sws.org

Postdoc

Name Institution email
David Christiansen Indiana University (Computer Science) davidchr indiana.edu
William DeMeo University of Colorado (Mathematics) williamdemeo gmail.com
Virgil Griffith Singapore-MIT Alliance for Research and Technology (Future Mobility) i virgil.gr

Professor

Name Institution email
Jeffrey Edgington University of Denver (Department of Computer Science) jedgingt du.edu
Stuart Kurtz University of Chicago (Computer Science) stuart cs.uchicago.edu
Guido Salvaneschi Technical University of Darmstadt (Computer Science) salvaneschi cs.tu-darmstadt.de
Scott Walck Lebanon Valley College (Physics) walck lvc.edu

Undergrad

Name Institution email
Pedro Abreu University of Brasilia (Computer Science) abreu223 hotmail.com
Keith Cannon American University of Paris krpcannon gmail.com
Nick Chaiyachakorn Reed College (Department of Mathematics) nicchaiy reed.edu
Shaobo Cui Huazhong University of Science and Technology (School of Computer Science) cuishaobo hust.edu.cn
Thomas Ding Boston College (Physics) dingsi bc.edu
Jaden Geller California Institute of Technology (Computing and Mathematical Sciences) jaden.geller gmail.com
Dustin Jamner Northeastern University (College of Computer and Information Science) jamner.d husky.neu.edu
Marisa Kirisame University of Washington, Seattle (CSE) lolisa marisa.moe
Matthew Kolosick Northeastern University (College of Computer and Information Science) kolosick.m husky.neu.edu
Ray Qi Tufts University (Department of Computer Science) me xuanruiqi.com
Corey Richardson Clarkson University (Computer Science) corey octayn.net
Nicholas Rioux Northeastern University (College of Computer and Information Science) rioux.n husky.neu.edu
Yacoubv Seyni Messiah College (Computer and Information Science) ys1155 messiah.edu
Zhuyang Wang Shanghai Jiao Tong University (School of Electronic, Information and Electrical Engineering) hawnzug gmail.com
Matthew Yacavone Haverford College (Mathematics) myacavone haverford.edu
Alexander Yasgar University of Massachusetts Amherst (Mathematics & Statistics) ayasgar umass.edu
Adam Yin University of British Columbia (Computer Engineering) yinadam hotmail.com
Du Yuchen Shenzhen University (College of Optical Engineering) 8177dph gmail.com
participants