Fall 2016 teaching

EECS 214 Data Structures TuTh 9:30–10:50 AM Tech M345
EECS 495 Intensive Program Design TuTh 12–2:50 PM Tech A110

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

EECS 111 Fundamentals of Computer Programming I Sp16
EECS 230 Programming for Engineers Wi16, Sp16
EECS 3/495 Concurrent Programming in Rust Wi16
EECS 495 Intensive Program Design Fa15
EECS 214 Data Structures Fa15
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


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

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, 28 Mar 2016 14:42:37 -0500

Valid XHTML 1.1 Valid CSS!