Research Group
Students, postdocs, and collaborators
October 1, 2025
Current
I am currently looking for talented PhD students to work on projects in computer security and software quality! See my research page for things I’ve worked on previously.
At present I am pleased to be regularly interacting with Noopur Bhatt (advised by Sebastian Angel) and Thia Richey and Joe Cutler (both advised by Benjamin Pierce).
Past
I worked with many talented post-docs and students while at UMD. They are now off doing amazing things!
Post-doctoral Researchers
| Liyi Li | Assistant Professor, Iowa State, since July 2023 |
| Ethan Cecchetti | Assistant Professor, Wisconsin, since July 2023 |
| Michael Coblenz | Assistant Professor, UCSD, since September 2022 |
| Leonidas Lampropoulos | Assistant Professor, University of Maryland, since July 2020 |
| Robert Rand | Assistant Professor, University of Chicago, since July 2020 |
| Shiyi Wei | Associate Professor, University of Texas at Dallas, since August 2017 |
| Matthew Hammer | Research scientist at DFinity 2019-2023; previously Assistant Professor, University of Colorado, Boulder, August 2015-January 2019 |
| Nataliya Guts | Security Solutions Engineer, Futurae |
| Stephen Magill | Principal Scientist, Amazon Web Services; formerly VP, Product Innovation at Sonatype, 2021-2025; CEO of MuseDev; Principal scientist, Galois, 2014-2020; researcher at IDA/CCS, 2012-2014 |
| Manuel Oriol | President of Constructor Institute and Professor of Software Engineering, since 2021; Principal Scientist, R&D manager at ABB Switzerland Ltd. 2011-2021; Senior Lecturer, University of York (UK), 2008-2014 |
PhD Students
Masters Students
| Yiyun Liu | PhD student, University of Pennsylvania, since September 2021 |
| Nate Parsons | Implementing and Typing a Core Calculus for Mixed-mode Secure Multi-party Computations (scholarly paper) Missions software engineer at Planet since 2013; previously, engineer at JHUAPL |
| * co-advised with Jeff Foster | ** co-advised with Bill Arbaugh | *** co-advised with Luís Veiga | **** co-advised with Elaine Shi |
I have also worked closely with Kelsey Fulton and Dan Votipka (advised by Michelle Mazurek), Aravind Machiry (PhD student interned at UMD, advised by Giovanni Vigna and Chris Kruegel at UCSB), Niki Vazou (postdoc supervised by David Van Horn), David Darais (advised by David Van Horn), Andrew Miller (co-advised with Jon Katz and Elaine Shi), Avik Chaudhuri, Mike Furr, David An, and Elnatan Reisner (advised by Jeff Foster), Adam Bender (advised by Bobby Bhattacharjee), Jaime Spacco (advised by Bill Pugh), and Suriya Subramanian (advised by Kathryn McKinley while at UT Austin). I have previously advised Willem Wyndham, Jonathan Turpie (now at Amazon), Brian Corcoran (now at Palantir), Eric Hardisty, and James Rose (now at Google). I’ve also worked with post-grad Patrick Jenkins, and undergrads Jeff Meister and Ted Smith, as well as high school students Yael Pinsky, George Klees, Matt McCutchen, and Cody Burton (from Montgomery Blair High School; Ted Smith was from Walt Whitman High). Both Ted and Matt later became undergraduate students at UMD and Ted, Matt, and Cody all went to graduate school (at UMass, MIT CSAIL, and MIT Physics, respectively). I ended up working with Matt at Correct Computation.