Back to advisors
SS
Scott Smith
Professor · Department of Computer Science
Johns Hopkins University · United StatesProgramming languages Formal methods
Data verified 9/6/2026Source
Professor · Department of Computer Science
Johns Hopkins University · United StatesData verified 9/6/2026Source