
Organization / Workplace
Runtime VerificationLocation
Urbana-Champaign, Illinois Area United StatesOccupation
President and CEOIndustry
Education
Website
http://fsl.cs.uiuc.edu/grosuAbout
Researcher, educator and entrepreneur in the areas of programming languages, formal methods and sortware engineering. My main objective is to design and develop techniques that help improve the quality, perfomance and effectiveness of computing systems.