| Exploit parallel computing on SMT solving | Prof. Natasha Sharygina Matteo Marescotti |
|
| Breaking Symmetries in SMT Solvers | Prof. Natasha Sharygina Dr. Antti Hyvärinen |
|
| Developing a smart versioning system | Prof. Natasha Sharygina Grigory Fedyukovich |
|
| Developing your own SMT-based Model Checker | Prof. Natasha Sharygina Grigory Fedyukovich |
