Michael Greenberg

Michael Greenberg is an Assistant Professor in the Department of Computer Science at Stevens Institute of Technology's Schaefer School of Engineering. His research develops formal methods for practical systems, focusing on POSIX shell semantics, gradual typing, and network programming abstractions. He has received multiple awards including a Distinguished Paper Award at PLDI 2022 and Most Influential Paper for Flapjax (OOPSLA 2009).

Dr. Greenberg's work spans programming language theory, executable semantics for shell scripting, and software-defined networking. His publications demonstrate strong integration of theoretical foundations with systems applications, particularly in improving shell script reliability and developing network verification frameworks. Recent work includes Kleene algebra extensions and parallelization techniques for shell scripts.

He holds a PhD in Computer Science from the University of Pennsylvania (2013) and BA degrees in Computer Science and Egyptology from Brown University (2007). Dr. Greenberg actively contributes to program committees for PLDI, OOPSLA, and POPL, and serves on the POPL Steering Committee (2021-2024).