Scientific adviser of the Transnational Access Programme of the project SCIEnce (Symbolic Computation in Europe). Faculty member at the Research Institute for Symbolic Computation (RISC), Johannes Kepler University of Linz .

Unification, rule-based programming, automated reasoning. Member of the Theorema group.

WS2009: Logic Programming.

Old courses:

• University of Linz: Unification Theory (SS2008), Information Systems (WS2007, WS2008), Automated Reasoning Systems (SS2007), Algebraic and Discrete Methods in Biology (SS2007, SS2008, SS2009), Logic Programming (WS2003, WS2004, WS2005, WS2006, WS2007, WS2008), Selected Algorithms (WS2006, WS2007, SS2009).
• Unification Theory. One-week course at the 19th European Summer School in Logic, Language and Information, ESSLLI 2007. August 2007, Trinity College, Dublin, Ireland.
• Series of lectures on Unification at the Third and Fourth RISC/SCIEnce Training Schools in Symbolic Computation. July 2008, 2009, Hagenberg, Austria.

Special issue of the Journal of Symbolic Computation on Symbolic Computation in Software Science.

Special issue of the Journal of Symbolic Computation on Automated Specification and Verification of Web Systems.

UNIF'06, AB'07 (PC co-chair), WWV'07, WRS'08, SCSS'08 (PC co-chair), UNIF'08, WWV'08, RTA'08, SCSS'09, WWV'09 (PC co-chair), LLC'09 (Area co-chair), UNIF'10, PAAR'10, WWV'10 (PC co-chair), Calculemus'10, ANB'10, LOPSTR'10, PPDP'10.

UNIF'06, RISC Summer 2007, Series of Training Schools in Symbolic Computation, SCSV'07, AB'07, RISC Summer 2008, SCSS'08, RTA'08, RISC Summer 2009, WWV'09, RISC Summer 2010, LOPSTR'10, PPDP'10.

Tbilisi Centre for Language, Logic and Speech.

CV in pdf format.