discrete mathematics
175 проекта
H2020Индивидуална стипендия2018–2022Германия
QuasiHyp · Quasi-random hypergraphs
2 партньори · 2 държави
H2020Индивидуална стипендия2018–2020Франция
PolyBar · A new approach to polymorphism through bar recursion
H2020Индивидуална стипендия2018–2021Обединеното кралство
InfCSP · Descriptive Complexity of Infinite Domain Constraint Satisfaction Problems
H2020Индивидуална стипендия2018–2021Обединеното кралство
IMIC · Inner models and infinite computations
H2020Индивидуална стипендия2018–2019Дания
ChromoCats · The geometry of chromatic categories
H2020Индивидуална стипендия2018–2019Обединеното кралство
SREACEP · Sparse Robust Expander with Applications in Combinatorial Embedding Problems
H2020Индивидуална стипендия2017–2019Обединеното кралство
MAGNET · Models and Algorithms for Graph centrality grounded on Nonlinear Eigenvalues Techniques
H2020Индивидуална стипендия2017–2019Дания
MiLC · Monotonicity in Logic and Complexity
H2020Индивидуална стипендия2017–2019Обединеното кралство
HSPLS · Highly symmetric partial linear spaces
H2020Индивидуална стипендия2017–2019Обединеното кралство
TeleoLogic · Logical and Psychological Foundations for a Teleosemantic Theory of Productivity
H2020Индивидуална стипендия2017–2019Обединеното кралство
RoSTBiDFramework · Optimised Framework based on Rough Set Theory for Big Data Pre-processing in Certain and Imprecise Contexts
2 партньори
H2020Обмен на изследователи2017–2022Испания
CONNECT · Combinatorics of Networks and Computation
14 партньори · 8 държави
H2020Индивидуална стипендия2017–2019Испания
CoTraDy · Combinatorics in Transcendental Dynamics
H2020Индивидуална стипендия2017–2019Германия
REGPROP · Regularity properties, definability and combinatorics on the real line.
H2020Индивидуална стипендия2017–2019Обединеното кралство
GROUPNIP · Model theory of groups in NIP theories
H2020Индивидуална стипендия2017–2019Обединеното кралство
SYNERGINFO · Developments on the relevance of SYNERGistic INFOrmation sharing modes
H2020Индивидуална стипендия2016–2018Германия
PACT · Proof-theoretical Approaches to Concurrency Theory
H2020Индивидуална стипендия2016–2018Обединеното кралство
TREPISTEME · Formal Truth in Epistemology
H2020Индивидуална стипендия2016–2018Германия
SLMK · The Scope and Limits of Mathematical Knowledge
H2020Индивидуална стипендия2016–2019Германия
EngageME · Automated Measurement of Engagement Level of Children with Autism Spectrum Conditions during Human-robot Interaction
3 партньори · 2 държави
H2020Индивидуална стипендия2016–2017Израел
SMAC · Smart Markets via Computation
H2020Индивидуална стипендия2016–2018Нидерландия
RGDQG · Renormalisation Group methods for discrete Quantum Gravity
H2020Индивидуална стипендия2016–2018Нидерландия
DFLOW · Duality For Logic On Words
2 партньори · 2 държави
H2020Индивидуална стипендия2016–2017Германия