Projects being offered by D Kroening

Supervisor

Suitable for

Abstract

 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.