Research interests

I’m interested in programming languages, especially functional programming and type systems. In macros we have a great technique for extending language syntax; I’m wondering about analogous techniques for user-extensible type systems.

My advisor is Riccardo Pucella.

Teaching

Spring 2008:
CSG262 Compilers (also as CSU665)

Fall 2007:
CSG111 Principles of Programming Languages (TA)

Spring 2004/05/07:
CS51 Introduction to Computer Science II (at Harvard, TF)

Talks

Martin-Löf Type Theory and Agda
PL Seminar Jr., 24 January 2008
Row Polymorphism
PL Seminar Jr., 5 October 2007, notes
Erlang-Style Concurrency
PL Seminar, 2 May 2007, notes
Quantum Lambda Calculus
PL Seminar Jr., 10 November 2006, pdf
Type Classes
PL Seminar Jr., 20 October 2005, html

Software

Larceny A simple and efficient implementation of Scheme.
Caml-Shcaml UNIX shell programming in Ocaml.

Courses taken

Spring 2007:
CSG714 Theory of Computation
MTHG121 Topology 1

Fall 2006:
CSG713 Advanced Algorithms
CSG264 Semantics of Programming Languages

Spring 2006:
CSG712 Intensive Computer Systems
CSG262 Compilers

Fall 2005:
CSG711 Intensive Principles of Programming Languages
CSG399 Applications of Information Theory to Computer Science

Contact information

Jesse A. Tov
College of Computer and Information Science
Northeastern University
360 Huntington Ave, #202 WVH
Boston, MA 02115

Email: (@ 'tov '(ccs neu edu))
Jabber: (@ '(jesse tov) '(gmail com)) (GTalk)
Mobile: +1 857 205 7646
Office: +1 617 373 3926
Face: 308 West Village H

Last updated 14 April 2008.

Valid XHTML 1.1 Valid CSS!