Seminer - Dr. Gülay Ünel - Optimization of Reasoning

 
Optimization of Reasoning
Dr. Gülay Ünel 
 
Yer :   1.kat toplantı salonu
Tarih:  2 Aralık Çarşamba 14:30
 
Abstract:
In this talk, I will present the main research problems I have worked on in
my scientific career. The common theme in all of them that I will focus will
be the optimization techniques for reasoning procedures. I will present my
work on automata-based reasoning procedures for second order logics, and
efficient Web-scale reasoning in more detail among my other work. 

Biography:
Dr. Gulay Unel completed her undergraduate and master of science degrees in
Bilkent University. She obtained her PhD degree from University of Waterloo
on September 2008. Her M.S. dissertation was on Efficient Query Optimization
Strategies for Spatio-Temporal Queries in Video Databases. Her PhD
dissertation was on Deciding Second-order Logics using Database Evaluation
Techniques. After her PhD she worked as a researcher in Simon Fraser
University, Canada on efficient grounding of first order logics, and in
University of Innsbruck, Austria where she led the formal languages and
reasoning group. She has been involved in EU projects: LarKC and SOA4all.
Her main research interests include: Databases, Logic, Automata Theory,
Graph Theory, and Algorithms.