See the list of my publications and also DBLP and  Google Scholar

Current:

generally, Formal Methods in Software Engineering - specifically:

• Formal verification of object-oriented software, see KeY project and COST Action IC0701
• Formal modeling and specification of highly adaptive software systems, see EC FP7 projects  HATS (coordinator) and  EternalS
• Automated Test Case Generation by Symbolic Execution, see KeY-Test
• Debugging and Program Understanding by Visualization of Symbolic Execution, see Symbolic Execution Debugger

Past:

• Automated Theorem Proving, mainly TABLEAUX methods
• Formal Reasoning in Many-Valued Logic

• I am on the editorial board of the Journal of Automated Reasoning published by Springer-Verlag. The journal solicits contributions on all aspects of mechanized reasoning including all kinds of applications such as verification. Feel free to contact me if you are interested to submit an article.
• I am on the editorial board of FoLLI Publications on Logic, Language, and Information, a subseries of Springer LNAI
  

  If you would like to suggest a conference proceedings or a monography as part of this series, please contact me.

• Niklas Sörensson (2008) is an independant consultant for applications of his world-leading SAT solver MiniSat.
• Daniel Larsson (Licenciate 2006) works now at QRtech AB.
• Tobias Gedell (Licenciate 2006), (PhD 2008, co-supervisor) works for an international bank in London.
• Wojciech Mostowski (2005) was a postdoctoral fellow at University of Nijmegen. He is now a postdoctoral fellow at University of Twente.
• Thomas Baar (2002) was a senior researcher at Swiss Federal Institute of Technology in Lausanne (EPFL) until 2007, then he worked for Tech@Spree and he is now a  Professor for Software Technology and Databases at  University of Applied Sciences (Hochschule für Technik und Wirtschaft) Berlin.
• Martin Giese (2002) is an Associate Professor at University of Oslo, Norway.
• Wolfgang Ahrendt (2001) is a Senior Lecturer at Chalmers University of Technology.