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.