Summary

I work in a variety of other areas: contracts and gradual types ; tools for directly expressing PL formalism , using logic programming and SMT solving ; and foundational semantics for decidable languages, like Kleene algebra with tests .I got a BA in Computer Science and Egyptology from Brown University 2007 and a 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, systems, computer, tools, using, aaron, stephen, data, fall, spring, fundamentals, computing, talk, office

Downstreams

youtube.com, google.com, binpa.sh, stevens.edu, twitch.tv, github.com, dblp.org, upenn.edu, acm.org

NS Lookup

A 208.94.116.75

Dates

Created 2026-08-23

Updated 2026-08-23

Summarized 2026-08-23