Home Blank

Former Fellows

  • UNIVERSITY OF LEEDS – Partner 1

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

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

Stefan Vatev, Leeds
Email address: mmsvv at leeds.ac.uk
Dates of Employment: 01/10/2012 - 31/03/2013
Supervisor: Prof. S. Barry Cooper and Dr. Andrew Lewis
Research Area: Computability Theory
Research Interest: Definability in Computable Structures.

Tania Roblot, Leeds
Email: trob048 at aucklanduni.ac.nz
Dates of employment: 12/03/13-12/07/13
Supervisor: Dr. A.E.M. Lewis
Research area: computability theory
Research interests: computability, complexity theory, automata theory.

  • THE UNIVERSITY OF MANCHESTER – Partner 2

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.

Stijn Lemmens, Manchester
Email address: StijnJanJo.Lemmens at Manchester.ac.uk
Website
Dates of employment: 20/9/2010 - 19/05/2011
Supervisor: Professor Alex Wilkie
Research Area: Model theory
Research Interest: Applications of model theory in number theory.

Mohsen Khani, Manchester
Email address: mohsen.khani at manchester.ac.uk
Dates of employment: 01/06/2010 - 31/05/2013
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.

Juan de Vicente, Manchester
Email: juandevicenteguijarro at manchester.ac.uk
Dates of employment: 1/1/13-30/06/13
Supervisor: Prof. Alex Wilkie
Research area: Model theory
Research interests: o-minimality, Nash groups, Diophantine geometry.

  • UNIVERSITY OF OXFORD – Partner 3

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

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

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


  • CENTRE NATIONAL DE LA RECHERCHE SCIENTIFIQUE – Partner 4

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

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  
Research Area: Model Theory and Number Theory
Research Interest: Number Theory, Diophantine Geometry, Model Theory, Nonstandard Analysis.

Jung-Uk Lee, Lyon
Email address: ljw at yonsei.ac.kr
Dates of employment: 05/03/2011 - 4/6/2011 •Supervisor: Professor Byunghan Ki
Research Area: Stable theory, Simple theory
Research Interest: Stable theory, Simple theory, O-minimality, Algebraic model theory, Various construction methods.

Mehmet Inan Karakus, Lyon
Email address: karakus at math.univ-lyon1.fr
Dates of employment: 23/09/2010 - 31/05/2011
Supervisor: Tuna Altinel
Research Area: Model Theory of Groups
Research Interest: Stable Groups

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

Charlotte Kestner , Lyon
Email address: c.kestner at uclan.ac.uk
Dates of Employment:  05/03/2011—04/06/2011
Supervisor: Itai Ben-Yaacov
Research Area: Applied model theory.
Research Interest: Model theory, generalisations of stability theory, simple theories.

Bernhard Elsner, Lyon
Email address: b.elsner at gmail.com
Dates of employment: 05/03/2011-04/06/2011
Supervisor: Itai Ben-Yaacov
Research area: Applied model theory
Research interests: Uniform treatments of Zilber Trichotomy

Javier Utreras, Lyon
Email address: javutreras at gmail.com
Dates of employment: 05/03/2011—04/06/2011
Research area: model theory


  • UNIVERSITE PARIS DIDEROT - PARIS 7 – Partner 5

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

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.

Stefan Mengel, Paris
Email address: smengel at mail.uni-paderborn.de
Dates of Employment: 01/06/2012 - 31/10/2012
Supervisor: Professor Peter Bürgisser
Research Area: Complexity theory
Research Interest: Arithmetic circuits, counting complexity, constraint satisfaction, conjunctive queries.

David Bradley-Williams, Paris
Email address: mmdbb at leeds.ac.uk
Dates of Employment: 01/09/2012 - 31/01/2013
Supervisor: Manuel Bodirsky and Michael Pinsker
Research Area: Model Theory interacting with Complexity and Group Theory.
Research Interest: Jordan groups and automorphism groups of tree-like structures; Reducts of Fraisse generics and their model theory.

Jizhan Hong, Paris
Email address: hongj37 at math.mcmaster.ca
Dates of Employment: 01/09/2012 - 31/01/2013
Supervisor: Françoise Delon
Research Area: Model theory of separably closed valued fields.
Research Interest: Interactions of model theory with algebra, number theory, algebraic geometry, category theory and homotopy theory.

Giorgio Venturi, Paris
Email address:
Dates of Employment: 01/11/2012 - 31/03/2013
Supervisor: Prof: Boban Velickovic
Research Area: Set Theory
Research Interest: Forcing Axioms, Philosophy of mathematics, Infinity, Axiomatic method, David Hilbert.

  • UNIVERSITAET MUENCHEN – Partner 6

Davide Rinaldi, Munich
Email address: daviderinaldi at gmail.com
Dates of employment: 01/10/2010 - 30/09/2013
Supervisor: Dr. Peter Schuster
Research Area: Constructive Mathematics
Research Interest:  Formal methods in Commutative Algebra

Pedro Valencia, Munich
Email: pedro.francisco.valencia at gmail.com
Dates of employment: 1/5/13-31/7/13
Supervisor: Prof. Helmut Schwichtenberg
Research area: Proof theory
Research interest:structural proof theory, sequent calculi, intuitionism, philosophy

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

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: Program extraction from coinductive proofs and exact real arithmetic.

Fredrik Nordvall Forsberg, Munich
Email address: nordvall at math.lmu.de
Dates of Employment: 13/08/2012 - 12/01/2013
Supervisor: Professor Helmet Schwichtenberg
Research Area: Proof theory
Research Interest: Martin-Löf type theory, constructive mathematics.


  • UNIVERSITAET MUENSTER – Partner 7

Marios Koulakis, Muenster
Email address: mkoul_01 at uni-muenster.de
Website
Dates of employment: 15/09/2010-29/08/2013
Supervisor: Professor Ralf Schindler
Research Area: Set theory
Research Interest: Coding theorems and inner model theory.

Zaniar Ghadernezhad, Muenster
Email address:zaniar.gh at gmail.com
Website
Dates of employment: 01/12/2009 - 30/11/2012
Supervisor:Professor Katrin Tent
Research Area:Model Theory .
Research Interest: Model Theory and its application and especially generic structures atheir automorphisms groups.

Javier De La Nuez Gonzalez, Muenster
Email address: jnuezgonzalez at gmail.com
Dates of Employment: 01/09/2012 - 30/09/2013
Supervisor: Katrin Tent
Research Area: Applied model theory.
Research Interest: Model theory of the free group, stability theory and combinatorial group theory in general.

  • UNIVERZITA KARLOVA V PRAZE – Partner 8

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: Logical aspects of computational complexity.

Kaveh Ghasemloo, Prague
Email address: [firstname] at 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.

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.)

Dmitry Sokolov, Prague
Email: sokolov.dmt at gmail.com
Dates of employment:1/2/13-31/5/13
Supervisor: Prof Jan Krajicek
Research area: Computational complexity
Research interests: proof complexity

Alexander Smal, Prague
Email address: avsmal at gmail.com
Dates of employment: 19/09/2011-18/12/2011
Supervisor: Jan Krajicek
Research area: Theoretical computer science

 







    •