Research interests

My research focuses on programming languages, especially functional programming and type systems. I’m interested in how programming language technology can help make programmers’ and users’ lives better and improve the bottom line.


Selected Publications


Teaching

At Harvard:

CS51 / CSCI E-51 Sp14 Introduction to Computer Science II (Instructor)
CS51 Sp07 Introduction to Computer Science II (TF)
CS51 Sp0[45] Introduction to Computer Science II (Head TF)

At Northeastern:

CS5010 Fa10 Program Design Paradigms (Head TA)
CS2500 Sp10 Fundamentals of C.S. I (Instructor)
CS2500 Fa09 Fundamentals of C.S. I (TA)
CSU290 Sp09 Logic and Computation (TA)
CSG107 Fa08 Program Design Paradigms (TA)
CSG262 Sp08 Compilers (Instructor)
CSG111 Fa07 Principles of Programming Languages (TA)

Software

LaTeX packages (plstx, pfsteps, ottalt, . . .) Includes packages for typesetting grammars, writing proofs with numbered steps and justifications, formatting Ott output, and list processing
affine-contracts Contracts for one-shot functions and one-use values in PLT Scheme
Caml-Shcaml UNIX shell programming in OCaml
Control.Exception.Generic [src] Haskell exceptions that work with monad transformers (deprecated in favor of control-monad-exception)

Contact information

Jesse A. Tov
School of Engineering & Applied Sciences
Harvard University
33 Oxford St
Cambridge, MA 02138

Email: (@ 'tov '(eecs harvard edu))
Jabber: (@ '(jesse tov) '(gmail com)) (GTalk)
Phone: +1 757 695 8687
Office: 151 Maxwell Dworkin Hall (for CS51) and 309 Maxwell Dworkin Hall (permanent)


Last updated Tue, 28 Jan 2014 15:25:56 -0500

Valid XHTML 1.1 Valid CSS!