CSE291 Sp13 - Home


Ranjit Jhala (jhala@cs.ucsd.edu)


Lectures: Tu-Th 3:30 to 4:50 pm in CSE 2217


The goal of this class is to train PhD students in advanced topics in algorithmic software verification, including SAT and SMT solvers, Program Logics, Symbolic Execution, Type Systems, Refinement Types, Abstract Interpretation, and Heap Logics. See the lecture plan for more details.


The class is mostly self contained. However, it will be helpful to have some knowledge of basic discrete math, and it will be essential that you enjoy programming and have a desire to learn the material.


  1. Scribe one lecture

  2. Program three assignments
  3. Present one 40 minute talk