Differences

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

Link to this comparison view

Both sides previous revision Previous revision
Next revision
Previous revision
Next revision Both sides next revision
people:top [2019/03/27 11:10]
jcolabella [Luke Hunsberger]
people:top [2020/02/07 00:27]
mlsmith [Marc Smith]
Line 3: Line 3:
 ===== Faculty ===== ===== Faculty =====
  
-==== 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. 
  
  
Line 43: Line 39:
 ==== Marc Smith ==== ==== Marc Smith ====
  
-Associate Professor, CS Dept. Chair \\ \\ +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 concurrencybioinformatics (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 from the University of Central Florida. He worked in industry for AT&T for fifteen years, in several different IT capacities, including applications and systems development and support, and IT infrastructure systems engineering. During his time at AT&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 areas concurrency (models of parallel and distributed computation, programming languages, and unifying theories) and bioinformatics (phylogenetic inference and evolutionary robotics). 
  
 ==== Jennifer Walter ==== ==== Jennifer Walter ====
Line 104: Line 99:
 [[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. [[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 ===== ===== Former Staff =====