Projects being offered by D Kroening
|
Supervisor |
|
|
Suitable for |
Honour School of Mathematics and Computer Science, Part C
|
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.