headshot

Tim Nelson

Senior Lecturer in Computer Science

Office:CIT 355
Phone:401-863-7603
Email: timothy_nelson@@@brown.edu

Primary Research Areas: Computing Education, Software Engineering, Formal Methods
Secondary Research Areas: Algorithms and Theory, Networking, Programming Languages

Teaching:
Fall 2024
CSCI0112  Computing Foundations: Program Organization
CSCI0320  Introduction to Software Engineering
CSCI1340  Introduction to Software Engineering
Spring 2025
CSCI0320  Introduction to Software Engineering
CSCI1340  Introduction to Software Engineering
CSCI1710  Logic for Systems

Publications by Tim Nelson

Home Page