SE

I am a postdoc at the Software Engineering group. My contact details can be found here.

Publications

See my list of publications.

Research Interests

Software specification and verification, logics and automated theorem proving

Projects

I am currently involved in

• EU-FP7 project HATS as project coordinator (working for scientific coordinator Prof. Dr. R. Hähnle) and researcher
• KeY as project member and main developer
• COST IC0701 as regular participant of meetings, conferences (no official role)

Activities

• PC member  Bytecode 2013
• co-PC chair of the 10-th KeY Symposium (part of the workshop programme of ITP 2011)
• co-presenter at the COST IC0701--Training School 2011
• SET Division Wintermeeting 2010 (co-organiser)
• HATS Annual Meeting, Göteborg, 2009 (local co-organiser)
• COST IC0701 Action Meeting, Göteborg, 2008 (local co-organiser)
• 7th-KeY-Symposium, Göteborg, 2008 (local co-organiser)
• 5th-KeY-Symposium, Speyer, 2006 (local co-organiser)

Reviewing

Journals, Conference & Workshops

SOSYM, LOPSTR'12, ITP'12, IJCAR'12, WING'11 (journal), TACAS'11, FM'11, FOVEOOS'10, LPAR-16, VERIFY'10, VMCAI'10, CADE'09, ECOOP'09, FMCO'09, TABLEAUX'09, TAP'09, WING'09 (journal and workshop) and many more