Ao. Univ-Prof. Dr. Uwe Egly

• proof theory and proof complexity
• knowledge representation and reasoning
• computational logic
• satisfiability checking for QBFs;
• argumentation an argumentation frameworks
• algorithm for pathplanning
• application of AI methods in engineering

• Quantified Boolean Formulas (in the frame of the national research network RiSE)
• An Intelligent Image-Based Measurement System for Rock Fall Monitoring (FWF L514)
• Multi-Sensor Deformation Measurement System Supported by Knowledge-Based and Cognitive Vision Techniques (FWF P18286)
• A Theodolite-based and Knowledge-based Multi-Sensor-System (FWF P14664)
• GeotEX - Geotechnical Expert System (GeoData and FFF)
• QUIP - A Computational Framework for Advanced Reasoning Tasks
  (FWF P15068)

• Extended version of the SAT 2016 paper "On stronger calculi for QBFs" [link].
• Some of my publications are registered at the DBLP Bibliography Server.
• For a complete (but not up to date) list, see ( .ps) , (.pdf).
• Check the KBS Groups Technical Reports for some of them.

• See our teaching and courses sections for my current courses and seminars.
  See the list of general seminar topics for an overview.
• For Praktika and theses, which may be started at any time to your convenience,
  please contact me or our secretary.
  See the list of topics for practical works and master thesis.

• We participate in the new ARiSE Network on Rigorous Systems Engineering, which connects the unusually high critical mass of researchers in formal verification and related topics concentrated in Austria.
• Member organizations are IST Austria, JKU Linz, TU Graz, TU Wien and Universität Salzburg. See arise.or.at for details.