Research Group
Students, postdocs, and collaborators
October 22, 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 | 2023 | Assistant Professor, Iowa State |
| Ethan Cecchetti | 2023 | Assistant Professor, Wisconsin |
| Michael Coblenz | 2022 | Assistant Professor, UCSD |
| Leonidas Lampropoulos | 2020 | Assistant Professor, University of Maryland |
| Robert Rand | 2020 | Assistant Professor, University of Chicago |
| Shiyi Wei | 2017 | Associate Professor, University of Texas at Dallas |
| Matthew Hammer | 2015 | Research scientist at DFinity 2019-2023; previously Assistant Professor, University of Colorado, Boulder |
| Nataliya Guts | 2012 | Security Solutions Engineer, Futurae |
| Stephen Magill | 2012 | Principal Scientist, Amazon Web Services, since 2025; formerly VP, Product Innovation at Sonatype, 2021-2025; CEO of MuseDev; Principal scientist, Galois, 2014-2020; researcher at IDA/CCS, 2012-2014 |
| Manuel Oriol | 2008 | 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 | 2021 | PhD student, University of Pennsylvania, since September 2021 |
| Nate Parsons | 2012 | 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.