Differences

This shows you the differences between two versions of the page.

--- people:top [2019/08/19 15:12]
jebailie [Simon Ellis]
+++ people:top [2020/02/07 00:40]
mlsmith [Marc Smith]
@@ Line 39: / Line 39: @@
 ==== Marc Smith ====
-Associate Professor \\ \\
+Associate Professor of Computer Science \\ \\
-[[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).
 ==== Jennifer Walter ====
@@ Line 100: / Line 98: @@
 [[http://www.cs.vassar.edu/~pnaumov|Professor Naumov]] has Diploma in Mathematics from Moscow State University and Ph.D. in Computer Science from Cornell University, both with specialization in Logic. His present [[http://www.cs.vassar.edu/~pnaumov/publications.html|research]] is focused on logical systems for reasoning about multi-agent systems, information flow, formal epistemology, social networks, and game theory. Pavel coauthored over twenty peer-reviewed publications with [[http://www.cs.vassar.edu/~pnaumov/students.html|undergraduate students]]. Previously, he has published papers on proof complexity, type theory, automated deduction, and modal logics. Pavel is teaching Computer Science I: Problem-Solving and Abstraction, Foundations of Computer Science, Language Theory and Computation, and Special Topics course on Foundations of Multiagent Systems.
+==== Simon Ellis ====
+Visiting Assistant Professor of Computer Science \\ \\
+[[http://www.cs.vassar.edu/~sellis|Simon Ellis]] received his PhD in 2016 from Rensselaer Polytechnic Institute, specialising in the application of cognitive computing to artificially intelligent agents for complex board, card and role-playing games. This remains the primary focus of his research, although he is also interested in "non-educational" computer games which permit learning as a 'side-effect' of playing the game: in particular, using such a game to help high school students to learn and understand basic computer science concepts without actively learning them. Some of his other interests include programming languages, software development, philosophy, and design, of A.I., and just about //anything// to do with games.
 ===== Former Staff =====