GradNova

Home
Find Faculty
Universities
Research
Home
/
Research
/

Developing and Using Mathematical Tools to Ensure Correctness, Safety and Security of Programming Languages and Their Implementations

Developing and Using Mathematical Tools to Ensure Correctness, Safety and Security of Programming Languages and Their Implementations

1 faculty research Developing and Using Mathematical Tools to Ensure Correctness, Safety and Security of Programming Languages and Their Implementations on GradNova.

M
Max New

Assistant Professor, EECS – Computer Science and Engineering

Computer Science and Engineering

University of Michigan

Developing and Using Mathematical Tools to Ensure Correctness, Safety and Security of Programming Languages and Their Implementations
Logic, Programming, and Type Systems
Formal Methods in Verification
Software Engineering Research
+2