Skip to main content

Projects being offered by D Kroening


Suitable for

Computer Science and Philosophy, Part C
Computer Science, Part B
Mathematics and Computer Science, Part C
Computer Science, Part C


 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.