Massachusetts Programming Languages Expert #41660

I have 10 years of experience and specialize in the field of computer science with specific knowledge in the areas of software engineering, programming languages and formal methods. I have published on such topics as static analysis, complexity and verification.

Request this expert witness