My name is Evan Goris.
I am a Ph.D. student
at the Research Laboratory for Logic and Computation
(Computer Science Department) of the City University of New York.
I studied Mathematical Logic at the University of Amsterdam.
And worked a few months at ILPS (Informatics Institute, University of Amsterdam).
Computer Science Department
The Graduate Center, City University of New York
365 5th Avenue
New York City 10016
- Publications
- Authentication Isabelle Proof Scripts
- Teaching Spring 2011
- CIS 166 Visual Basic (Lehman College)
- CMP 232 Discrete Mathematics (Lehman College)
- Teaching Summer 2010
- CIS 106 Computer Literacy (Lehman College)
- Teaching Spring 2010
- Teaching Fall 2009
- Teaching Spring 2009
- CIS 106 Computer Literacy (Lehman College)
- MAT 104 Algebra (Lehman College)
- CSCI 265 Computer Theory 1 (Hunter College)
- Teaching Fall 2008
- CIS 106 Computer Literacy (Lehman College)
- Teaching Spring 2008