Nogatz, Falco

• Übungen zu Deduktive Datenbanken:
  SS18 | SS17 | SS16
• Übungen zu Logikprogrammierung:
  WS18
• Übungen zu Datenbanken:
  WS17 | WS16
• Übungen zu Logik für Informatiker:
  WS18 | WS17 | WS16 | WS15
• Praktikum Datenbanken und Regelbasierte Systeme:
  WS18 | WS17 | WS16
• Seminar Advanced Database and Logic Programming Concepts:
  SS19 | SS18 | SS17 | SS16

Betreute Abschlussarbeiten:

• Ina Goeßmann, Zulassungsarbeit: Entwurf und Diskussion eines Style Linters für Prolog. (2019)
• Olga Frost, Bachelorarbeit: A Knowledge-based Software System for Time and Human Resource Management in Prolog. (2019)
• Julia Kübert, Bachelorarbeit: Attempto Controlled English für Amazon Alexa. (2018)
• Sandra Lederer, Masterarbeit: Analyse und Optimierung verschiedener Algorithmen zur Synchronisation von SQL-Datenbanken. (2018)
• Jona Kalkus, Masterarbeit: An Interactive Visualisation for Definite Clause Grammars. (2017)
• Thomas Handwerker, Masterarbeit: Testing Source Code with the Logic Programming Language Prolog. (2016)

Betreute Masterpraktika:

• Simon Hümmer: CHR as a Library with Delimited Control. (2019)
• Jonathan Vogell: Distributed Logic Programming on Raspberry Pi's. (2019)
• Lucas Kinne: XPath and XQuery in SWI-Prolog. (2019)
• Kevin Jonscher: XML Schema Validation using Code Generation. (2019)
• Lukas Leppich: Implementation of the Language Server Protocol for SWI-Prolog. (2017)
• Jona Kalkus: XML Schema Validation with Prolog. (2017)
• Daniel Haumann: A Style Linter for Prolog. (2017)
• Sven Rausch: Evaluation of MySQL Cluster Architectures for Big Data. (2016)

Betreute Seminararbeiten:

• Achieve Logical Purity with Attributed Variables. (2019)
• OpenRuleBench Revised. (2019)
• An Introduction to Attempto Controlled English. (2018, 2019)
• LogicBlox - A Prolog Success-Story. (2018)
• Attributed Variables in Prolog. (2018)
• An Introduction to Constraint Handling Rules. (2018)
• From GROUP BY to MapReduce - Database Aggregations using the example of MongoDB. (2017)
• Delimited Continuations in Prolog. (2017)
• Make Prolog Logical Again - Tabled Execution in SWI-Prolog. (2017)
• Ask only once: PostgreSQL's Window Functions. (2016)
• MySQL Cluster Architecture Overview. (2016)

• Juni 2019:
  Best Paper award at the 8th Symposium on Languages, Applications, Technologies (SLATE). For »Definite Clause Grammars with Parse Trees: Extension for Prolog« (Nogatz, Seipel, Abreu).
• September 2018:
  RuleML+RR Full Student Grant, Luxembourg
• Juli 2018:
  FLoC Student Grant, Oxford, UK
• Juni 2018:
  Auszeichnung mit dem Goldenen Binärbaum für gute Lehre durch das Institut für Informatik, Universität Würzburg
• Dezember 2016:
  Publikumspreis beim DB Hackathon, Projekt "Preisvorsprung"
• seit Oktober 2015:
  Wissenschaftlicher Mitarbeiter am Lehrstuhl für Informatik I, Universität Würzburg
• 2010 – 2015:
  Studium der Informatik an der Universität Ulm