# Differences

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

Both sides previous revision Previous revision | |||

people:top [2019/08/19 15:12] jebailie [Simon Ellis] |
people:top [2019/08/19 15:13] (current) jebailie |
||
---|---|---|---|

Line 100: | 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 ===== |