Hi, I am Dave. I studied biomechanics at CTU and then mathematics at Charles University in Prague. The engineering side of me likes continuum mechanics. The mathematical side is interested in theorem proving, functional programming and abstract algebra.