Rasmus Lerchedahl Petersen

I am currently tackling the challenge of cleanly modelling the intricacies of financial book keeping. Specifically, finding concepts which are robust enough that all tedious aspects can be automated. I hold a PhD in computer science which focused on type theory and semantics and I have subsequently worked on building theorem provers and static analyses and, lastly, on modelling biochemical systems and building computers out of DNA molecules. Specialties: Category theory, domain theory, type theory, semantics, functional programming and program logics. Of these, the ability to tease out a clean semantics of concepts is by far the most useful in trying to understand complex systems.