LOGTECHEDU: Logic Technology for Computer Science Education (2018–2020)
Project partner; Linz Institute of Technologiy (LIT), Johannes Kepler University Linz;
total project grant: EUR 209,620.
Supercomputer MACH-2 (2017–2021)
JKU representative and overall project coordinator; Austrian Federal Ministry for
Science, Research, and Economy (BMWFW); grant: EUR 1,600,000.
PRACE 4-IP: Partnership for Advanced Computing in Europe
Director of JKU/RISC participation; March 2015 - February 2017, European Union,
Budget for JKU/RISC contribution: EUR 258,488.
LogicGuard II: The Efficient Checking of Time-Quantified Logic Formulas with
Applications in Computer Security (RISC, RISC Software, SecureGUARD)
Scientific director; October 2014 – September 2016; BRIDGE program of the Austrian
Research Promotion Agency (FFG), Budget: EUR 319,300.
LogicGuard: The Efficient Checking of Time-Quantified Logic Formulas with
Applications in Computer Security (RISC, RISC Software, SecureGUARD)
Scientific director; January 2012 – December 2013; BRIDGE program of the Austrian
Research Promotion Agency (FFG), Budget: EUR 263,500.
PRACE 3-IP: Partnership for Advanced Computing in Europe
Director of RISC participation; July 2012 - June 2016, European Union, Budget for RISC
contribution: EUR 228,228.
DK W1214 Project “Formally Specified Computer Algebra Software”
Project in the frame of the Doctoral Program (DK) W1214: Computational Mathematics,
October 2008 – September 2011, Johannes Kepler University Linz, Austria.
Austrian Grid 2 Subproject “Distributed Supercomputing in the Grid”
Subproject director; October 2007 – December 2009; Austrian Federal Ministry for
Science and Research (BMWF), Budget for subproject: EUR 145,174.
EGEE-II: Enabling Grids for E-Science in Europe
Director of RISC participation; April 2006–March 2008, European Union, Budget for
RISC contribution: EUR 69,100.
MathBroker II: Brokering Distributed Mathematical Services
Project director; January 2005–December 2007; Austrian Science Foundation (FWF,
Austria), Project P17643-NO4, Budget: EUR 124,698.
Austrian Grid Subproject “SEE-GRID”(RISC, Upper Austrian Research, Upper
Austria University of Applied Sciences)
Subproject director; April 2004 – December 2006; Austrian Federal Ministry for
Education, Science and Culture (BMBWK); Budget: EUR 100,000.
Digital Media - Modular Education for Designers (University of Arts in Linz,
Department of Engineering for Computer-based Learning (CBL) of the University of
Applied Sciences in Hagenberg)
Project leader for CBL participation; 2002–2004; Austrian Federal Ministry for
Education, Science and Culture (BMBWK), Budget: EUR 70,000 for CBL.
A Framework for Brokering Distributed Mathematical Services (RISC)
Project director; December 2001–November 2003; Austrian Science Foundation (FWF,
Austria), Project P15183, Budget: EUR 186,539.
Integrating Temporal Specifications as Runtime Assertions into Parallel
Debugging Tools (RISC, Department of Graphics and Parallel Processing of the
Johannes Kepler University, MTA SZTAKI Research Institute, Budapest)
Project leader for group RISC; 2001 – 2002, Austrian-Hungarian Cooperation Office,
Budget: Ft. 360,000 plus traveling costs.
COOPERATE — Distributed Meeting Software (Department for Advanced Computer
Engineering of the University of Vienna, Department of Graphics and Parallel
Processing of the Johannes Kepler University, RISC, Research Institute for Software
Technology of the University of Salzburg)
Project leader for group RISC; June 1998 – September 1998, Austrian Ministery for
Science and Transport (BMWV, Austria), Budget: ATS 120,000.
VRÖIG — Virtual Reality for the Austrian Information Society (Department for
Advanced Computer Engineering of the University of Vienna, Department of Graphics
and Parallel Processing of the Johannes Kepler University, RISC, Research Institute for
Software Technology of the University of Salzburg)
Project leader for group RISC; August 1997 – March 1998, Austrian Ministery for
Science and Transport (BMWV, Austria), Budget: ATS 150,000.
Distributed Constraint Solving for Functional Logic Programming
(RISC, Symbolic Computation Research Group of the University of Tsukuba, Japan)
Technical project leader; July 1997 – June 1999, Research Institute for Advanced
Information Technology (AITEC, Japan), Budget: Yen 3,000,000.
HPGP — High Performance Generic Programming (RISC)
Project director; September 1996 – February 1998, Austrian Science Foundation (FWF,
Austria), grant P11414-ÖTE, Budget: ATS 1,234,000.