GLyC - Logic, Language and Computability Research Group

Outside Research Collaborators

Senior researchers

carlos Carlos Areces
PhD in Computer Science (Institute for Logic, Language and Computation, University of Amsterdam). Permanent researcher of INRIA, within the TALARIS research group, in the LORIA research laboratory, Nancy, France. Logic is his research field, specifically modal logic. His research concentrates on properties of non.standard modal logics, such as hybrid logics and propositional dynamic logics.
[Home page]
patrick Patrick Blackburn
PhD in Computer Science (University of Edinburgh). Director of Research of INRIA, working at LORIA. he is the head of the Natural Language Processing: Representations, Inferences, and Semantics (TALARIS) team, which specialises in semantically-oriented tasks in computational linguistics, with particular emphasis on tasks requiring inference. His research centers on logic and its applications in cognitive and computer science.
[Home page]
rod Rod Downey
Professor of Mathematics at Victoria University of Wellington, New Zealand. His research interests involve the Theory of Computation, particularly the relationship between algebraic and descriptive complexity vs. algorithmic complexity
[Home page]
serge Serge Grigorieff
PhD in Mathematics. Professor at the University of Paris VII. Member of the LIAFA team Automates et Applications. His research interests are algorithmic randomness, Kolmogorov complexity, Automata and rational relations, algorithmic complexity, cellular automata, and definability and decidability in logical theories.
[Home page]
andre André Nies
Professor at the Department of Computer Science of the University of Auckland, New Zealand. His research area is Computability Theory and Algebra and Automatic Structures.
[Home page]

PhD students

dieguis Diego Figueira
He graduated at the Computer Science Department (University of Buenos Aires) with a thesis on Neighbourhood Semantics of modal logics. He is now doing a PhD at the Laboratoire Spécification et Vérification, ENS Cachan, France.
[Home page]
julian Julián Méndez
He graduated at the Computer Science Department (University of Buenos Aires) with a thesis on description logics. He is now pursuing a Master in Computational Logic at at Chair for Automata Theory, Technische Universität Dresden, Germany.
guillaume Guillaume Hoffmann
PhD. Student in the Talaris team at LORIA, France, under the supervision of Patrick Blackburn and Carlos Areces. His main interests involve theorem proving, modal logic and first order logic.
[Home page]