Projects being offered by D Kroening
Daniel Kroening is happy to supervise projects related to
- automated hardware and software verification
- program analysis
- SAT and decision procedures
- applications of SAT or SMT in other areas, e.g., systems biology or finance
For a list of sample projects, see here.