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

Recent Activities

• Invited speaker at the 39th International Workshop on Unification (UNIF 2025)
• co-Editor (with Santiago Escobar) for the Special Issue on Recent Advances on Unification in the Journal of Logical and Algebraic Methods in Progamming (JLAMP)
• PC member of KR 2025
• PC member of DL 2025
• Member of the Steering Committee of the International Workshop on Unification (2024-2028)
• 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
  
• Previous activities

Teaching

• Lecture "Modal Logic" (Winter Semester 2024/2025)
• Tutorials Logic-Based Ontology Engineering (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