CTO @ feldera.com, the incremental compute engine for AI, ML and data teams.

A researcher in programming languages, databases, systems, networks, and formal verification