Dr. Oliver Fernández Gil

Chair of Automata Theory
Institute of Theoretical Computer Science
Technische Universität Dresden
Nöthnitzer Str. 46, Room 3.029
01187 Dresden
Germany

Email: oliver.fernandez AT tu-dresden dot de

See my DBLP entry

Activities

• PC co-chair of the 38th International Workshop on Unification (UNIF 2024) in Nancy, France
  
• PC member of KR 2024, ECAI 2024, DL 2024, IJCAI 2024, AAAI 2024, DL 2023, ECAI 2023, IJCAI 2023, AAAI 2023, DL 2022, IJCAI-ECAI 2022, IJCAI 2021, AAAI 2021, DL 2020, IJCAI-PRICAI 2020, ECAI 2020, AAAI 2020, IJCAI 2019.
  
• Reviewer for the journals AIJ, JAIR, SWJ, Fundamenta Informaticae, and conferences LPAR-19, KR 2014, LPAR-20, JELIA 2016, TIME 2017, LPAR-22, SAC 2019, WoLLIC 2019, ISWC 2019, KR 2021, SAC 2024, LPAR-25.

Teaching

• Lecture "Modal Logic" (Winter Semester 2024/2025)
• Lecture "Unification in Modal and Description Logics" (Winter Semester 2022/2023)
• Tutorials Description Logic (Summer Semester 2022)
• Tutorials Introduction to Non-monotonic Reasoning (Winter Semester 2021/2022)
• Tutorials Description Logic (Summer Semester 2021)
• Unification in Description Logics, ESSLLI 2019, Riga, Latvia, August 2019

Awards

• Distinguished PC Member of the 31st Joint Conference on Artificiall Intelligence (IJCAI-ECAI 2022).
• Distinguished PC Member of the 28st Joint Conference on Artificiall Intelligence (IJCAI 2019).
• Best Student Paper Award of the 22nd European Conference on Artificial Intelligence (ECAI 2016) for the paper Extending the Description Logic tel(deg) with acyclic TBoxes, together with Franz Baader.

Other links

The best baseball in the world

BBC Earth