https://www.cs.vassar.edu/ 2026-06-11T08:25:27+00:00 https://www.cs.vassar.edu/ https://www.cs.vassar.edu/_media/favicon.ico text/html 2011-06-20T03:03:05+00:00 Anonymous (anonymous@undisclosed.example.com) https://www.cs.vassar.edu/people/mlsmith/vss?rev=1308538985&do=diff Vassar Science Scholars Lecture/Lab Saturday, March 26, 2011 9:30am--12pm Sci Vis Lab, 3rd Floor Mudd Chemistry WeScheme: from Algebra to Animation We will explore selected parts of the Scheme programming language using WeScheme, a browser-- text/html 2026-04-21T22:57:07+00:00 Anonymous (anonymous@undisclosed.example.com) https://www.cs.vassar.edu/people/top?rev=1776812227&do=diff People Faculty Jacob Erickson Visiting Assistant Professor of Computer Science Jacob Erickson's research explores how digital platforms shape sociopolitical discourse, focusing on platform governance, online safety, and the downstream impacts of design and moderation decisions. Drawing from human-computer interaction, data science, and computational social science, his work examines how platform affordances influence online communication, community behavior, and user trust. His research … text/html 2020-07-30T04:47:40+00:00 Anonymous (anonymous@undisclosed.example.com) https://www.cs.vassar.edu/people/mlsmith/concurrency?rev=1596084460&do=diff Concurrency Communicating Sequential Processes (CSP) Links * WoTUG - The place for Communicating Processes * The classic text: Communicating Sequential Processes (Hoare) * The modern text: Theory and Practice of Concurrency (Roscoe) * Unifying Theories of Programming text, by Hoare and He: UTP * JCSP - CSP for Java * C++CSP2 – CSP for C++ text/html 2025-12-20T05:25:38+00:00 Anonymous (anonymous@undisclosed.example.com) https://www.cs.vassar.edu/people/mlsmith/past-courses?rev=1766208338&do=diff Past Courses Courses taught at Vassar College: (2006 - present) * CMPU-101 - Problem-Solving and Abstraction * Fall '06, '07, '10, '14, '15, '16, '17, '18, '19, '21, '22, '23, '24, '25 * Spring '07, '09, '14, '16, '19, '21, '23, '24, '25 text/html 2021-01-23T19:39:00+00:00 Anonymous (anonymous@undisclosed.example.com) https://www.cs.vassar.edu/people/mlsmith/pubs?rev=1611430740&do=diff Publications * Dissertation: * Marc L. Smith. View-Centric Reasoning about Parallel and Distributed Computation. PhD thesis, University of Central Florida, Orlando, FL 32816-2362, December 2000. [PDF] Postscript and in the UCF institutional repository, STARS. *