Recent & Upcoming Talks

2019

Paper presentation.

Paper presentation.

2018

Information Security Management for Hospitals

Declarative encodings of chess problems and how to solve them