https://edit.cs.vassar.edu/ 2009-11-22T18:30:01-05:00 https://edit.cs.vassar.edu/ https://edit.cs.vassar.edu/lib/images/favicon.ico text/html 2009-10-20T17:00:47-05:00 https://edit.cs.vassar.edu/people/mlsmith/bio?rev=1256072447 Bio Colby College’Alcatel-Lucent“”AT&T Inc Education Computer ScienceUCF text/html 2009-10-20T16:35:35-05:00 https://edit.cs.vassar.edu/people/mlsmith/erdos?rev=1256070935 My Erdös Number My Erdös number (of the second kind) is: 4. Here’s how: me --> Charles E. Hughes --> Narsingh Deo --> Frank Harary --> Paul Erdös In other words, Yes, many people have their own Erdös number, but it was still fun finding mine! Here's one way I can lower my Erdös number. text/html 2009-10-20T16:35:53-05:00 https://edit.cs.vassar.edu/people/mlsmith/genealogy?rev=1256070953 Academic Genealogy Rebecca J. ParsonsCharles E. Hughes’Matthias FelleisenDaniel P. FriedmanHerbert A. SimonArtificial Intelligencetoo much ’William Werner BooneAlonzo ChurchChurch-Turing thesisAll computable functions are computable by a Turing machine’“”Alan M. TuringLambda Calculus ’The SIGACT Theoretical Computer Science GenealogyThe Mathematics Genealogy Project text/html 2009-10-20T16:32:46-05:00 https://edit.cs.vassar.edu/people/mlsmith/mlsmith-pubkey?rev=1256070766 PGP Information “” ---------- -----BEGIN PGP PUBLIC KEY BLOCK----- Version: GnuPG v1.4.1 (Darwin) mQGiBES1B38RBADGsTDGumJCn+kjORlYYvyvJge3YvMtOft1JPCUU+Enh9NEXZQB JSG3ZCkAcqj5zxkHFNBHzvWGFsURpWgxuxnLiSjFtHtheMRdNljpd3FuKDbJ3xHm Pc7zzolrt2txAhObGpXZmdcNLyJfSKXRkLlqEcmEUTtyk2MXl9VovdkR8wCg9kfo DCGL4T2/HQNverTc6s9Zd0UEAIFxMWdSL7/YMb6NE0QW0FvvYfBimc3pKii2syGq I+YgoHSvVUTmg1FEW38rc7X9LVdemJt2y9dtZCtEl3KFORr4TGCQhU/yL9uDz1yu Ex0GYdtSYtfbTfF1LQVGS+d4pCWVXjk8Luz7Qnx4l78JetzqCcfveRzmMXczY… text/html 2009-05-24T21:11:09-05:00 https://edit.cs.vassar.edu/people/mlsmith/past-courses?rev=1243213869 Past Courses Courses taught at Vassar College:home--‘‘‘‘--‘‘‘--‘‘--‘--‘‘Courses taught at Colby College:--‘‘‘‘‘--‘‘‘--‘‘--‘‘‘--‘--‘--‘‘ text/html 2009-11-11T09:19:44-05:00 https://edit.cs.vassar.edu/people/mlsmith/pubs?rev=1257949184 Publications Dissertation:View-Centric Reasoning about Parallel and Distributed Computation PostscriptJournal:Marc L Smith“”BMC Genomics 2009, 10:258 (05 Jun 2009) Marc L. Smith“” IEE Proceedings-Software Special Issue on Communicating Process Architectures 2002Refereed Conference Proceedings:Marc L. Smith“”Concurrent Systems Engineering Series CPA 2009[ PDF] Marc L. Smith“”Concurrent Systems Engineering Series CPA 2008[ PDF] Mark Burgin“”Concurrent Systems Engineering Ser… text/html 2009-11-17T23:48:02-05:00 https://edit.cs.vassar.edu/people/mlsmith/research-teaching?rev=1258519682 Research / Teaching Related Links Communicating Sequential Processes (CSP) Links: WoTUGCommunicating Sequential Processes (Hoare)Theory and Practice of Concurrency (Roscoe)email me for more informationJCSPoccam-piOther parallel and distributed computing links Scientific Computing Associates, Inc.TCP LindaParadiseNetworkSpaces Berkeley UPC CUDA’Teaching first-year computer science: TeachScheme, ReachJava! How to Design ProgramsHtDP/2ePLT Scheme text/html 2009-10-22T14:29:00-05:00 https://edit.cs.vassar.edu/people/mlsmith/sidebar?rev=1256236140 HomeloginPast coursesPublicationsResearch/Teaching LinksMy Erdös NumberAcademic GenealogyPGP InformationBio Webmail AskBanner Google GMail GScholar NYTimes Wikipedia M-W EoS Time ACM IEEE-CS BCS CRA text/html 2009-10-28T08:39:56-05:00 https://edit.cs.vassar.edu/people/mlsmith/top?rev=1256733596 Assistant Professor Computer Science Department Vassar College Contact Information Office: OLB 122 Voice: 845 437 7497 E-mail: <mlsmith@cs.vassar.edu> Teaching On sabbatical:---CMPU-377 (Parallel Programming):CMPU-353 (Bioinformatics): Research Interests Vassar Paparazzi Admissions web pageFaculty FocusJodi SchwarzVassar, the Alumnae/i Quarterly, Fall 2009