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
people:top [2019/03/27 11:11]
jcolabella [Marc Smith]
people:top [2019/08/19 15:13]
jebailie
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 104: Line 100:
 [[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 =====