Dipl.-Ing. Dipl.-Ing. Dr. techn. Christoph Redl, BSc
Senior Lecturer/Researcher
Education
- 2010-2014: PhD in Computer Science with focus on logic-based AI at TU Wien
- 2009-2010: MSc in Medical Computer Science at TU Wien
- 2008-2010: MSc in Computational Intelligence at TU Wien
- 2005-2008: BSc in Software and Information Engineering at TU Wien
- 2000-2005: Technical upper secondary school (IT and Organization)
Work Experience
- since 2019 Senior Lecturer and Researcher at FHTW
- 2015-2019 University assistant at TU Wien
- 2010-2015 Project assistant in various FWF and WWTF funded projects
- 2007-2010 Tutor at TU Wien
- 2002 and 2004 Internships in industry
Responsibilities at UAS TW
- Focus in teaching: Formal Foundations of Computer Science, Algorithms and Data Structures, Introduction to AI.
- Research activities: Development of AI applications for SMEs
Research Interests
- logic-based AI
- theoretical computer science
- mathematical foundations of computer sciences
- algorithms and data structures