Assistant Professor of Computer Science
Brown University

Tim Nelson is an Assistant Professor (Research) of Computer Science at Brown
University. His research focuses on user-facing formal methods, particularly
in security-related applications such as network configuration and policy
management. With collaborators at Brown and WPI, he has led projects including
Margrave (policy and configuration analysis) and Flowlog (verifiable and
analyzable software-defined network programming). His work on explanatory provenance
received a distinguished paper award from Foundations of Software Engineering 2017.


No entries were found.

Showing 0 results
Executive Summit | Nov 8-10, 2018 Learn More
Executive Alumni Summit Learn More & Register Now