Current teaching

EECS 214 Data Structures MWF 12–1 PM Tech L361
EECS 495 Intensive Program Design TuF 2–5 PM Tech LR 4

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.

Selected publications

Past teaching

CS 3500 Object-Oriented Design* Su15, Sp15, Fa14
CS 4620 Building Extensible Systems* Sp15
CS 51 Introduction to Computer Science II Sp14
CS 2500 Fundamentals of C.S. I* Sp10
CS G-262 Compilers* Sp08
*Taught at Northeastern
Taught at Harvard
Co-taught with Matthias Felleisen


LaTeX packages (plstx, pfsteps, ottalt, . . .) Includes packages for typesetting grammars, writing proofs with numbered steps and justifications, formatting Ott output, and list processing
Data.Function.Memoize Haskell library that uses lazy tries for memoization, avoiding the need for unsafePerformIO.
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

Email (@ 'tov '(eecs northwestern edu))
XMPP/GTalk (@ '(jesse tov) '(gmail com))
Phone +1 757 695 8687
Office Ford 2-215 (map)
Jesse A. Tov
EECS, McCormick
Northwestern University
2145 Sheridan Rd, Tech L359
Evanston IL 60208

Last updated Mon, 21 Sep 2015 10:09:09 -0500

Valid XHTML 1.1 Valid CSS!