[[https://www.cs.vassar.edu/people/mlsmith/top|Professor Smith]] earned his B.S., M.S., and Ph.D. degrees from the University of Central Florida. He worked for AT&T for fifteen years, in several different IT capacities, during which time his Ph.D. studies were sponsored by AT&T's Doctoral Support Program. His research spans elements of theoretical and experimental computer science, in the area of parallel and distributed computation. His interests include models of concurrency, bioinformatics (specifically, computational phylogeny), and programming languages (semantics, paradigms, and unifying theories). | [[https://www.cs.vassar.edu/people/mlsmith/top|Professor Smith]] earned his B.S., M.S., and Ph.D. degrees in Computer Science from the University of Central Florida. He worked in industry for AT&T for fifteen years, during which time his Ph.D. studies were sponsored by AT&T's Doctoral Support Program. While at AT&T he worked in several different IT capacities, including applications and systems development and support, and IT infrastructure systems engineering. He was an Assistant Professor at Colby College from 2001-2006, before coming to Vassar. His research spans elements of theoretical and experimental computer science, in the areas concurrency (models of parallel and distributed computation, programming languages, and unifying theories of programming) and bioinformatics (phylogenetic inference and evolutionary robotics). At Vassar he has taught CMPU-101 (Problem-Solving and Abstraction), CMPU-102 (Data Structures and Algorithms), CMPU-203 (Software Design and Implementation), CMPU-235 (Programming Languages), CMPU-245 (Declarative Programming Models), CMPU-240 (Language Theory and Computation), CMPU-353 (Bioinformatics), CMPU-375 (Networks), CMPU-377 (Parallel Programming), and CMPU-381 (Relational Databases and SQL) as an Intensive. |