|
|
Current Fellows
Martin Adamcik,
Manchester
Email address:-martin.adamcik at
postgrad.manchester.ac.uk
Dates of employment 20/05/2011 - 19/09/2013
Supervisor:-Dr. George Wilmers
Research Area:-Uncertain reasoning
Research Interest:-Logical principles for the
aggregation of probabilistic information for multiple
sources.
George Attesis,
Leeds
Email address:-mmga at maths.leeds.ac.uk
Dates of employment 01/10/2009 - 30/09/2012
Supervisor:-Professor Dugald MacPherson
Research Area:-Model Theory
Research Interest:-Model theory of fields with
valuations
Mohsen Khani,
Manchester
Email address:-mohsen.khani at manchester.ac.uk
Website
Dates of employment 05/06/2010 - 30/09/2012
Supervisor:- Professor Alex Wilkie
Research Area:- Model Theory
Research Interest:- O-minimality, Investigating and
Establishing the corresponding model theoretic results of
real numbers in complex numbers, Abstract model theory and
its applications to algebra
Franziska Jahnke,
Oxford
Email address:-jahnke at maths.ox.ac.uk
Dates of employment 01/10/2009 - 30/09/2012
Supervisor:-Dr Jochen Koenigsmann
Research Area:-Model Theory
Research Interest:-Model theory of fields, (absolute)
Galois theory and their interactions
Artem Chernikov,
Lyon
Email address:-artyom.chernikov at gmail.com
Website
Dates of employment 12/10/2009 - 11/10/2012
Supervisor:-Professor Itai Ben Yaacov
Research Area:-Model Theory
Research Interest:-model theory and its applications -
classification of first-order theories: stability /
simplicity / NIP / NTP2 / etc - interplay of finite and
infinite: Fraisse-Hrushovski constructions, pseudo-finite
structures, asymptotics of definable sets and applications
of all those in finite model theory and computer science
Dimitrios Vlitas,
Paris
Email address:-vlitas at logique.jussieu.fr
Dates of employment 01/10/2009 - 30/09/2012
Supervisor:-Professor Stevo Todorcevic
Research Area:-Set Theory
Research Interest:-Ramsey theory in Infinite dimension
Pablo Cubides
Kovacsics, Paris
Email address:-cubikova at logique.jussieu.fr
Dates of employment 01/11/2009 - 31/10/2012
Supervisor:-Professor Françoise Delon
Research Area:-Model Theory
Research Interest:-Algebraic applications of model
theory, model theory of fields, valued fields,
C-minimality.
Kenji Miyamoto,
Munich
Email address:-Kenji.Miyamoto at
mathematik.uni-muenchen.de
Dates of employment 01/12/2009 - 30/11/2012
Website
Supervisor:-Professor Schwichtenberg
Research Area:- Proof Theory
Research Interest:-
Zaniar Ghadernezhad,
Muenster
Email address:-zaniar.gh at gmail.com
Website
Dates of employment:- 01/12/2009 - 31/11/2012
Supervisor:-Professor Katrin Tent
Research Area:-Model Theory .
Research Interest:- Model Theory and its application and
especially generic structures and their automorphisms
groups
Sebastian Muller,
Prague
Email address:-muller at karlin.mff.cuni.cz
Website
Dates of employment:-01/12/2009 - 30/11/2012
Supervisor:- Professor Jan Krajicek
Research Area:-Proof Complexity and Bounded Arithmetic
Research Interest:-Connections between proof systems and
bounded arithmetic, non-standard proof systems,
automatizability, weak arithmetic in general and their
connections to other theories (concerning techniques,
models, etc..)
Thanos Tsouanas,
Lyon
Email address:-thanos.tsouanas at ens-lyon.fr
Website
Dates of employment:-01/10/2010 - 30/09/2013
Supervisor:- Olivier Laurent
Research Area:-Logic and semantics
Research Interest:-Denotational semantics, Game
semantics, Logic programming, Functional programming
Albert Ziegler,
Leeds
Email address:-mmaz at maths.leeds.ac.uk
Dates of employment 01/10/2010 - 30/09/2013
Supervisor:-Professor Michael Rathjen
Research Area:-Proof Theory
Research Interest:-Constructive Set Theory, relative
model constructions for CST, consistency results, large
sets in CZF
Zi Wang, Prague
Email address:-wang at karlin.mff.cuni.cz
Website
Dates of employment 01/10/2010 - 30/09/2013
Supervisor:-Professor Jan Krajicek
Research Area:-Proof Complexity and Bounded Arithmetic
Research Interest:-
Marios Koulakis,
Muenster
Email address:-mkoul_01 at uni-muenster.de
Website
Dates of employment 15/09/2010-31/08/2013
Supervisor:-Professor Ralf Schindler
Research Area:-Set theory
Research Interest:-
Lauri Tuomi, Paris
Email address:- tuomi at logique.jussieu.fr
Dates of employment 1/11/2010 - 30/09/2013
Supervisor:-Professor Boban Velickovic
Research Area:-Set theory
Research Interest:-Absoluteness properties of partitions
of uncountable cardinals
Rui Soares Barbosa,
Oxford
Email address:- rui.soaresbarbosa at wolfson.ox.ac.uk
Website
Dates of employment 01/10/2010 - 30/09/2013
Supervisor:-Andreas Döring and Samson Abramsky
Research Area:-Foundations of Physics
Research Interest:-Noncommutative Spaces, connections
between model theory and the topos approach to quantum
physics, domain theory
Haydar Goral, Lyon
Email address:- goral at math.univ-lyon1.fr
Dates of employment 01/09/2011 - 30/09/2013
Supervisor:-Amador Martin Pizarro and Frank Wagner
Fredwick Nordvall, Munich
Email address:-
Dates of Employment:-
Supervisor:-
Research Area:-
Research Interest:-
Stefan Vatev, Leeds
Email address:-
Dates of Employment:-
Supervisor:-
Research Area:-
Research Interest:-
Former Fellows
Jung-Uk Lee, Lyon
Email address:- ljw at yonsei.ac.kr
Dates of employment 05/03/2011 - 4/6/2011
Supervisor:-Professor Byunghan Kim
Research Area:-Stable theory, Simple theory
Research Interest:-Stable theory, Simple theory,
O-minimality, Algebraic model theory, Various construction
methods.
Iosif Petrakis,
Munich
Email address:- petrakis at mathematik.uni-muenchen.de
Website
Dates of employment 01.01.2011-30.04.2011
Supervisor:-Professor Helmut Schwichtenberg
Research Area:-Computability theory, domain theory
Research Interest:-Intuitionistic analysis, Constructive
mathematics
Mehmet Inan Karakus,
Lyon
Email address:- karakus at math.univ-lyon1.fr
Dates of employment 23/09/2010 - 22/09/2013
Supervisor:-Tuna Altinel
Research Area:-Model Theory of Groups
Research Interest:-Stable Groups
Stijn Lemmens,
Manchester
Email address:-StijnJanJo.Lemmens at Manchester.ac.uk
Website
Dates of employment 20/9/2010 - 1/10/2013
Supervisor:-Professor Alex Wilkie
Research Area:-Model theory
Research Interest:-Applications of model theory in
number theory
Kaveh Ghasemloo,
Prague
Email address:- [firstname]@cs.toronto.edu
Website
Dates of employment 19/09/2011 - 19/12/2011
Supervisor:-Jan Krajicek
Research Area:-Theoretical Computer Science/Complexity
Theory/Proof Complexity
Research Interest:-Current: Complexity Theory, Proof
Complexity, Feasible Mathematics General: Mathematical
Logic, Computer Science (in particular Theoretical
Computer Science and its applications in other fields).
Yuval Filmus, Prague
Email address:- yuvalf at cs.toronto.edu.
Website
Dates of employment 19/09/2011 - 19/12/2011
Supervisor:-Jan Krajicek
Research Area:-Theoretical Computer Science
Research Interest:-Proof complexity, Algorithms,
Combinatorics
Luke Friedman,
Prague
Email address:- lbfried at cs.rutgers.edu
Website
Dates of employment 18/09/2011 - 17/12/2011
Supervisor:-Jan Krajicek
Research Area:-Theoretical Computer Science
Research Interest:-Computational complexity,
propositional proof complexity, Kolmogorov complexity
Dai Le, Prague
Email address:- ledt at cs.toronto.edu
Website
Dates of employment 19/09/2011 - 19/12/2011
Supervisor:-Jan Krajicek
Research Area:-Theoretical Computer Science
Research Interest:-Bounded arithmetic, computational
complexity, concurrency theory
Vincenzo Mantova,
Oxford
Email address:- vlmantova at gmail.com
Website
Dates of employment 13/10/2011 - 12/04/12
Supervisor:- Boris Zilber and Alexxandro Berarducci
Research Area:- Model Theory
Research Interest:- Model theory of exponential fields
|
