Talks
- The Theory of the Enumeration Degrees and its Fragments
Computability in Europe, July 2024. - Enumeration Weihrauch Reducibility
Victoria University Logic Seminar, April 2024. - The relationship between local and global structure
Computability in Europe, July 2023. - Stratifying classes of enumeration degrees
MAMLS, May 2023. - One point extensions of antichains in the local structure of the enumeration degrees
Leeds Computability Days, University of Leeds, June 2022. - Enumeration pointed trees
North American ASL Meeting, Cornell University. Special Session on Computability Theory, April 2022. - One point extensions of antichains in the local structure of the enumeration degrees
New Directions in Computability, CNRS, Luminy, France, March 2022. - The e-verse
University of Wisconsin-Madison Mathematics Colloquium, February 2022. - Logic, degrees, and definability
Women in Mathematics in South-Eastern Europe, Bulgarian Academy of Sciences, December 2021. - The hyper enumeration degrees
Dagstuhl Seminar 20161, “Descriptive Set Theory and Computable Topology”, November 2021. - Logic, degrees, and definability
Workshop in Philosophy of Computing, Warsaw University of Technology, Poland, September 2021. - The e-verse
Third Workshop on Digitalization and Computable Models, Novosibirsk and Kazan, Russia, June 2021. - PA relative to an enumeration oracle
Oberwolfach Workshop 2117 "Computability Theory", April 2021. - Logic, degrees, and definability
University of Connecticut Mathematics Colloquium, March 2021. - PA relative to an enumeration oracle
Comptability Theory and Applications Online Seminar, July 2020. - The enumeration degrees zoo
Special Session on Computable Topology, CiE 2020, Salerno, June 2020. - Fragments of the theory of the enumeration degrees
Online Logic Seminar, April 2020. - The enumeration degrees: the known and teh unknown
Southern Wisconsin Logic Colloquium, March 2020. - Fragments of the theory of the enumeration degrees
Southeastern Logic Symposium 2020, University of Florida, Gainesville, February 2020. - The three quantifier theory
of the partial order of the enumeration degrees
12th Panhellenic Logic Symposium Crete, June 2019. - The enumeration degrees: An overview
Higher Recursion Theory and Set Theory, IMS, Singapore, May 2019. - The enumeration degrees: the known and the unknown
2019 North American ASL Meeting, May 2019. - Fragments of the first order theory
of the partial order of the enumeration degrees
AMS Special Session Computability, Complexity, and Learning Honolulu, March 24 2019. - An enumeration degree perspective for effective mathematics
Logic Seminar at University of Illinois Chicago, September 2018. - The definbaility of the continuous degrees
Sofia University Logic Seminar, January 2018. - Randomness relative to an enumeration oracle
Oberwolfach Workshop in Computability Theory, January 2018. - Characterizing the continuous degrees
Southern Wisconsin Logic Colloquium, October 2017. - Characterizing the continuous degrees
Logic Colloquium 2017, Stockholm, August 2017. - Generic Muchnik reducibility and expansions of the reals
AMS Sectional Meeting, Hunter's College, New York City, May 2017. - Logic and degrees
Marquette University Mathematcis Colloquium, Milwaukee, April 2017. - Seven characterizations of the cototal enumeration degrees
Southeastern Logic Symposium 2017, University of Florida, Gainesville, March 2017. - Definability in degree structures
Mathematical Colloquium, University of Wisconsin–Madison, November 2016. - Cototality and the skip operator
Fall Central Sectional Meeting, Minneapolis, October 2016. - Randomness relative to an enumeration oracle
The 17th Midwest Computability Seminar, University of Chicago, January 2016. - Definability and automorphisms in the enumeration degrees
CCR 2016, University of Hawaii, January 2016. - Defining the jump classes in the local structure of the enumeration degrees
AMS Central Fall Sectional Meeting, Loyola University Chicago, October 2015. - Degree structures and Arithmetic
Southern Wisconsin Logic Colloquium, September 2015. - Definability of the jump classes in the local structure of the enumeration degrees
Logic Seminar, University of Siena, June 2015. - Enumeration degrees: Local and global structural interactions
10th Panhellenic Logic Symposium, Samos, June 2015. - Номерационни степени: връзка между локална и глобална структура
2015 Spring Scientific Session, FMI, Sofia Univeristy, March 2015. - An automorphism analysis for the $\Delta^0_2$ Turing degrees
2015 Spring Eastern Sectional Meeting, Georgetown University, March 2015. - Definability, automorphisms and enumeration degrees
Conference in memory of Ivan Soskov, Giyuletchica, September 2014.
Logic Colloquium 2014, Vienna Summer of Logic,Technische Univeritaet Vienna,July 2014. - Finite automorphism bases for degree structures
The Ninth International Conference on Computability Complexity and Randomness, IMS, National Univeristy of Singapore, June 2014. - The definability of the total enumeration degrees and its consequences
ASL2014 North American Annual Meeting, University of Colorado, Boulder, May 2014. - Effective properties of Marker's Extensions by Ivan Soskov
Southern Wisconsin Logic Colloquium, University Wisconsin–Madison, February 2014. - Defining totality in the enumeration degrees
Computability Seminar, UC Berkeley, February 2014. - The automorphism group of the enumeration degrees
Southern Wisconsin Logic Colloquium, University Wisconsin–Madison, August 2013.
Logic Colloquium 2013, University of Evora, July 2013. - The Turing universe in the context of enumeration reducibility
Computability in Europe 2013,The Nature of Computation, University of Milano-Bicocca, July 2013. - Semi-recursive sets and definability in the enumeration degrees
Computability Seminar at the University of California, Berkely, September 2012. - The Turing universe in the context of enumeration reducibility
Logic Colloquium 2012, University of Manchester, July 2012. - Определимост на аритметиката в теория на изчислимостта
Public lecture given at Faculty of Mathematics and Informatics, Sofia University, July 2012. - Extensions of the Turing model for relative definability
2012 Spring Eastern Sectional Meeting of the AMS, Special Session on Computable Mathematics (in honor of Alan Turing), George Washington University, Washington DC, March 2012.
Spring 2012 Mid-Atlantic Mathematical Logic Seminar, City University New York, March 2012. - The structure of the omega enumeration degrees
Computational Prospects of Infinity II, Workshop on Recursion Theory at the Institute for Mathematical Sciences, NUS, August 2011. -
Definability in the local structures of the enumeration degrees
Logic Seminar at the University of Chicago, March 2011. -
Definability in the local structures of the enumeration degrees and the omega-enumeration degrees
Logic Seminar at Cornell University, March 2011. -
Local definability of $\mathcal{K}$-pairs in the enumeration degrees.
Second Session of the Workshop in Computability Theory 2011, University of Chicago Center in Paris, July 2011. -
Definability and interpretability in the $\Sigma^0_2$ enumeration degrees.
Mal'tsev Meeting, Novosibirsk, May 2010. -
Charectarizing the strength of the local theory of the enumeration degrees
14th SouthEastern Logic Symposium, Gainesville, February 2010. -
A locally definable det of low enumeration degrees: work in progress
Dipartimento di Scienze Matematiche ed Informatiche "Roberto Magari", Siena, September 2009. -
Embedding partial orderings in degree structures
Computability in Europe 2009, Heidelberg, July 2009.
Computability Seminar at the University of Leeds, May 2009. -
The local structure of the enumeration degrees
Proof Theory Seminar, Department of Mathematics, Ludwig Maximilians Universitaet, Munich, July 2008. -
The limitations of cupping in the local structure of the enumeration degrees
Computability in Europe 2008, Athens, June 2008. -
Cupping classes of $\Sigma^0_2$ enumeration degrees
Dipartimento di Scienze Matematiche ed Informatiche "Roberto Magari", Siena, Feb 2008. -
Enumeration degrees
MATHLOGAPS Third Training Workshop, Aussois, June 2007. -
A non-splitting theorem in the enumeration degrees
Computability in Europe 2007, Siena, June 2007. -
Cupping $\Delta^0_2$ enumeration degrees to $0'$
Computability in Europe 2007, Siena, June 2007. -
The strongest nonsplitting theorem
4th International Conference, TAMC 2007, Shanghai, China, May 2007. -
A Gentle Approach to Harrington non-splitting and beyond
Logic Seminar at the University of Leeds, February 2007. -
An introduction to a new characterization of the low$_n$ degrees
Computability Seminar at the University of Leeds, Novemeber 2006. Part 1 , Part 2 -
A generalization of Harrington's nonsplitting theorem
MATHLOGAPS Second Training Workshop, Leeds August 2006. -
A generalization of Harrington's nonsplitting theorem
Computability in Europe 2006, Swansea, June 2006. -
Introduction to Harrington's nonsplitting theorem
Computability Seminar at the University of Leeds, May 2006. Part 1 , Part 2 -
A generic set that does not bound a minimal pair in the enumeration degrees
Third Annual Conference on Computation and Logic, TAMC06, Beijing, May 2006.