From October 2007 until March 2014 I was employed at Aalto University (formerly Helsinki University of Technology TKK).
Here are some links relating to the research I performed in that time.
My thesis Incremental Satisfiability Solving and its Applications
Description of the iCNF file format for Incremental Satisfiability Solving
My latest publically available code
My list of publications on DBLP