Summary

I work primarily in contract analysis, gradually formalizing procedural languages, leveraging logic programming and SMT solving techniques. I also provide foundational semantics for decidable languages such as Kleene algebras with tests and logical formulas. My background spans a diverse range of research areas while combining my BA in Computer Science and Egyptology from Brown University (2007) with my PhD in Computer and Information Science from the University of Pennsylvania (2013).

Title

mgreenbe(1) - Michael Greenberg - Assistant Professor - Stevens Institute of Technology

Description

Michael Greenberg's home page at Stevens Institute of Technology

Keywords

michael, greenberg, shell, programming, computer, tools, using, aaron, stephen, data, fundamentals, computing, talk, office, work, systems, languages

NS Lookup

A 208.94.116.75

Dates

Created 2026-02-16

Updated 2026-02-16

Summarized 2026-03-22