Assistant Professor of Computer Science
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.