Forever: (PhD advisor)
Michael Hicks (University of Maryland, College Park) mwh@cs.umd.edu

Right now: (organization)
@truera.com

Rest: 4 years since last common publication:

Until 2028:
Anupam Datta (Truera) anupam@truera.com
Sanjari Srivastava (Stanford)
Zhikhun Zhang (Stanford)
Archana Ahlawat (Princeton)
John C Mitchell (Stanford)

Until 2025:
Pulkit Grover (Carnegie Mellon University) pulkit@cmu.edu
Sanghamitra Dutta (Carnegie Mellon University) sanghamd@andrew.cmu.edu

Until 2024:
Kaiji Lu (Carnegie Mellon University)
Matthew Fredrikson (Carnegie Mellon University) mfredrik@cmu.edu
Klas Leino (Carnegie Mellon University) kleino@cs.cmu.edu

Until 2023:
Shayak Sen (Truera)
Fangjing Wu (Carnegie Mellon University)
Preetam Amancharia (Carnegie Mellon University)
Sophia Kovaleva (Carnegie Mellon University)
Michelle Mazurek (University of Maryland, College Park) mmazurek@cs.umd.edu
Dave Levin (University of Maryland, College Park) dml@cs.umd.edu
Shiyi Wei (University of Texas, Dallas) swei@utdallas.edu
Jeffrey S. Foster (Tufts University) jfoster@cs.tufts.edu
Andrew Ruef (University of Maryland, College Park) awruef@cs.umd.edu
James Parker (University of Maryland, College Park) jp@jamesparker.me
Daniel Votipka (University of Maryland, College Park), dvotipka@cs.umd.edu
Jose Manuel Calderon Trilla (Galois) jmct@galois.com
Stephen Magill (Galois) stephen@galois.com
Ian Sweet (University of Maryland, College Park) isweet@terpmail.umd.edu

Until 2022:
Mario Alvim (Universidade Federal de Minas Gerais) msalvim@dcc.ufmg.br