CURRICULUM VITAE (1 JANUARY 2019)

Transcription

1 CURRICULUM VITAE (1 JANUARY 2019) DAVID ASPERÓ 1. Academic qualifications (1) Postgraduate certificate in Higher Education Practice, Univ. of East Anglia, Nov (2) Ph.D. in Mathematics, Univ. of Barcelona, July Thesis advisor: Joan Bagaria. Dissertation: Bounded forcing axioms and the continuum. (3) Undergraduate degree in Mathematics. Univ. of Barcelona, June Employment (1) Lecturer in Pure Mathematics at the University of East Anglia, Norwich, UK. Since 1 January (2) Independent researcher at the Technische Universität Wien, funded by Austrian Science Fund (FWF). Project reference M 1408 Meitner Programm. 1 April 31 December (3) Projektassistent at the Technische Universität Wien. 1 November March (4) Profesor asociado (Associate Professor) at Univ. Nacional de Colombia (Bogotá, Colombia). 27 July July (5) ICREA junior researcher at Univ. de Barcelona, Dept. de Lògica, Història i Filosofia de la Ciència, 1 Nov July (6) Postdoctoral research assistant, School of Mathematics, University of Bristol, 6 Oct Oct (7) Postdoctoral Researcher, Institut für formale Logik, Universität Wien, 1 Feb May (8) Teaching assistant, Universitat de Barcelona, Publications (1) Reducibility of equivalence relations arising from non-stationary ideals under large cardinal assumptions, with Tapani Hyttinen, Vadim Kulikov, and Miguel Moreno. To appear in Notre Dame Journal of Formal Logic. 1

2 2 D. ASPERÓ (2) A forcing notion 3 and preserving all other cardinals, The Journal of Symbolic Logic, vol. 83, no. 4 (2018), (3) Long reals, with Konstantinos Tsaprounis. In Journal of Logic and Analysis, vol. 10 (2018), no. 1, 36 pp. (4) Measuring club sequences with the continuum large,withmiguel Angel Mota, The Journal of Symbolic Logic, vol. 82 (2017), no. 3, (5) Adding many Baumgartner clubs, Archive for Mathematical Logic, vol. 56 (7) (2017), no. 7 8, (6) Separating club guessing principles in the presence of fat forcing axioms, with Miguel Angel Mota, Annals of Pure and Applied Logic, vol. 167, 3 (2016), (7) Forcing lightface definable well orders without GCH, withpeter Holy and Philipp Lücke, Annals of Pure and Applied Logic, vol. 166, 5 (2015), (8) A generalization of Martin s Axiom, with Miguel Angel Mota, Israel J. of Mathematics, vol. 210 (2015), (9) Forcing consequences of PFA together with the continuum large, with Miguel Angel Mota, Transactions of the AMS, vol. 367 (2015), (10) Relative definability, RIMSKokyurokuBessatsu1895(2014), (11) Bounded Martin s Maximum with an asterisk, with Ralf Schindler, Notre Dame Journal of Formal Logic, vol. 55, 3 (2014), (12) The consistency of a club guessing failure at the successor of a regular cardinal, in Infinity,computability,andmetamathematics: Festschrift celebrating the 60th birthdays of Peter Koepke and Philip Welch, S. Geschke, B. Löwe and P. Schlicht, eds., College Publications, Tributes 23, London, 2014, (13) Bounded forcing axioms and Baumgartner s conjecture, withsy D. Friedman, Miguel Angel Mota, and Marcin Sabok. Annals of Pure and Applied Logic, vol. 164, 12 (2013), (14) Forcing axioms and the Continuum Hypothesis, withpaulb. Larson and Justin T. Moore, Acta Mathematica, vol. 210 (2013), (15) Definable well orders of H(! 2 ) and GCH, withsyd.friedman, The Journal of Symbolic Logic, vol. 77, 4 (2012), (16) On a convenient property about [ 0, Archive for Mathematical Logic, vol. 48, 7 (2009),

3 CURRICULUM VITAE (1 JANUARY 2019) 3 (17) Forcing notions in inner models, Archive for Mathematical Logic, vol. 48, 7 (2009), (18) Dense non reflection for stationary collections of countable sets, with John Krueger and Yasuo Yoshinobu. Annals of Pure and Applied Logic, vol. 161, 1 (2009), (19) Large cardinals and locally defined well orders of the universe, with Sy D. Friedman. Annals of Pure and Applied Logic, vol. 157, 1 (2009), (20) Coding into H(! 2 ), together (or not) with forcing axioms. A survey. In Computational prospects of infinity. Part II. Institute of Math. Sciences, Natl. Univ. of Singapore, Lecture Notes Series Vol. 15. Singapore, 2008, (21) Guessing and non-guessing of canonical functions, Annals of Pure and Applied Logic, vol. 146, 2 3 (2007), (22) Coding by club sequences, Annals of Pure and Applied Logic, vol. 142, 1 3 (2006), (23) Generic absoluteness for 1 formulas and the continuum problem, in Logic Colloquium 2002, Lecture Notes in Logic, vol. 27, Association for Symbolic Logic, Wellesley, Massachusetts, 2006, (24) The nonexistence of robust codes for subsets of! 1,Fundamenta Mathematicae, vol. 186, 3 (2005), (25) Bounded forcing axioms and the size of the continuum, inlogic Colloquium 2000, Lecture Notes in Logic, vol. 19, Association for Symbolic Logic, Wellesley, Massachusetts, 2005, (26) On simple partitions of [apple] apple,fundamentamathematicae,vol. 177, 2 (2003), (27) Bounded Martin s Maximum, weak Erdős cardinals, and AC, with Philip D. Welch. The Journal of Symbolic Logic, vol. 67, 3(2002), (28) A maximal bounded forcing axiom, The Journal of Symbolic Logic, vol. 67, 1 (2002), (29) Bounded forcing axioms and the continuum, with Joan Bagaria. Annals of Pure and Applied Logic, vol. 109, 3 (2001), Other articles (1) The special Aronszajn tree property 2 and GCH, withmohammad Golshani. Submitted. (2) Parametrized Measuring and Club Guessing, with John Krueger. Submitted.

4 4 D. ASPERÓ (3) Dependent choice, properness, and generic absoluteness, with Asaf Karagila. Submitted. (4) Category forcing and generic completeness, with M. Viale. Submitted. (5) Few new reals, with Miguel Angel Mota. Submitted. (6) Homogeneous forcing and incompatible complete theories for H(! 2 ). In preparation. 5. Invited participation at scientific events and invited research stays (1) Dec Invited speaker at the the conference Cantor meets Robinson. Set theory, model theory and their philosophy, UNICAMP, Campinas, Brazil: Side conditions and revisionism. (2) 5 8 Nov Invited talk at the worskhop Axiomatic set theory and its applications, RIMS, Kyoto, Japan: The 2 -Aronszajn tree property and GCH. (3) 22 Oct Invited talk at the Research Seminar of the KGRC, Kurt Gödel Research Center, Vienna, Austria: 2 -Aronszajn trees and GCH. (4) Oct Invited research stay at Univ. Paris 7. Invited talk at the general Logic Seminar of Univ. Paris 7, Paris, France: The 2 -Aronszajn tree property and GCH. (5) Aug Keynote speaker at the KNAW Colloquium Generalised Baire spaces, Amsterdam, The Netherlands: 2 -Aronszajn trees and GCH. (6) 2 5 July Invited speaker at the Novi Sad Conference in Set theory and General Topology (SETTOP 2018), Novi Sad, Serbia: Side conditions, adding few reals, and trees. (7) 8 9 June Invited speaker at the VIEG 2018, Univ. of Bristol, Bristol, UK: Side conditions, adding few reals, and trees. (8) Feb Invited speaker at IIIM2018 (Incontro Italiano Insiemi e Modelli), Univ. Torino, Turin, Italy: Iterated forcing with side conditions and adding few new reals. (9) Jan Invited speaker at the First Mexico/USA Logic Fest, ITAM, Mexico: Few new reals. (10) Dec Invited speaker at the 5th annual conference of the Iranian Association for Logic, Tehran, Iran: Large cardinals, forcing axioms, and mathematical realisms.

5 CURRICULUM VITAE (1 JANUARY 2019) 5 (11) 8 17 Dec Invited research stay at the Institute for Research in Fundamental Sciences, Tehran, Iran. 8 hour minicourse: Forcing with symmetric systems as side conditions and adding few reals. (12) 6 9 Nov Invited speaker at RIMS workshop on Iterated Forcing Theory and Cardinal Invariants, to be held at RIMS, Kyoto, Japan: Few new reals. (13) 9 13 Oct Invited participant at the 14th International Luminy Workshop on Set Theory, CIRM, Luminy, France. (14) Aug Plenary speaker at Logic Colloquium 2017, Stockholm, Sweden: Generic absoluteness for Chang models. (15) July Invited speaker at the New Directions in the Higher Infinite (Young Set Theory) conference 2017, Edinburgh, UK: Generic absoluteness for Chang models. (16) 21 March Invited speaker at the Bristol set theory seminar, Bristol, UK: Generic absoluteness for Chang models. (17) Feb Invited participant at the MFO 2017 Set Theory Workshop, Mathematiches Forschungsinstitut Oberwolfach, Oberwolfach, Germany. (18) 28 Jan. 4 Feb Tutorial speaker at the Winter School in Abstract Analysis 2017, section Set Theory and Topology, Hejnice, Czech Republic. Three hour tutorial: Side conditions and (iterated) forcing. (19) Nov Invited speaker at the Workshop on the Applications of Strong Logics in other areas of mathematics, part of the research program Large cardinals and strong logics, Barcelona: Forcing completeness welcomes (also) pluralists. (20) 21, 22 Sep Invited speaker at the Bonn Set Theory Workshop 2016: Generalized Baire spaces, Bonn, Germany: The Baumgartner topology on the clubs of! 1. (21) 4 10 Sep Invited research stay at ITAM (Mexico). (22) Jan Invited speaker at the AIM workshop High and low forcing, American Inst. of Mathematics, San Jose, CA (USA): Symmetric systems of models of two types, with applications. (23) 25, 26 Sep Invited speaker at Perspectives of Infinity Workshop on Pure and Descriptive Set Theory, Torino, Italy: Thin tall Boolean algebras. (24) 19 Aug. 12 Dec Invited participant at the research programme Mathematical, Foundational and Computational Aspects of the Higher Infinite, Isaac Newton Institute for Mathematical Sciences, Cambridge, UK.

6 6 D. ASPERÓ (25) 27 May Invited speaker at the Torino set theory seminar, Torino, Italy: Some uses of homogeneous forcing. (26) Feb Invited participant at the Arctic set theory workshop 2, Kilpisjärvi, Finland, Some remarks on complete theories modulo forcing. (27) Nov Invited speaker at the Workshop on Mathematical Logic on the Occasion of Sakaé Fuchino s 60th Birthday, Kobe Univ., Kobe, Japan: Remarks on completeness of theories modulo forcing. (28) 29 Sep.-3 Oct Invited speaker at the 13th International Workhop on Set Theory, CIRM, Luminy, France: Adding many Baumgartner clubs, with applications. (29) March Invited speaker at Philip Welch s 60th birthday Conference, Bristol, UK: The consistency of a club guessing failure at the successor of a regular cardinal. (30) 23 Oct Invited speaker at the Univ. of Leeds logic seminar, Leeds, UK: Some new approaches to iterated forcing. (31) 9 12 Sep Invited speaker at the RIMS set theory conference Reflection principles and set theory of large cardinals, Kyoto, Japan: Forcing locally definable well orders of the universe without the GCH. (32) 2 6 Sep Invited speaker at the special set theory session of the 6th Japan Mexico Topology Symposium, Shimane University, Matsue, Japan: Separating club guessing principles in the presence of fat forcing axioms. (33) July, Invited speaker at the special set theory session of the Logic Colloquium 2013, Évora, Portugal: Forcing local definability, without GCH. (34) 25 Feb Invited speaker at the logic seminar of the University of Bristol, Bristol, UK: Iterated forcing with side conditions. (35) 1 5 Feb Invited participant at the Arctic Set Theory Workshop, Kilpisjärvi, Finland. Invited talk: Iterated forcing with side conditions. (36) 10 Dec Invited speaker at the Kobe Set theory seminar, Kobe, Japan: Some set theory with restricted choice. (37) 4 7 Dec Tutorial speaker at the RIMS Set theory Workshop, Kyoto, Japan: Iterated forcing with side conditions (3 lectures).

7 CURRICULUM VITAE (1 JANUARY 2019) 7 (38) 21 Oct.-17 Nov Invited participant at the Thematic Program on Forcing and its Applications, July December 2012, Fields Institute, Toronto (Canada). (39) Nov Invited speaker at the workshop Iterated forcing and large cardinals, Fields Institute, Toronto (Canada): Measurable cardinals, end extensions of non-transitive models, and iterated forcing. (40) Oct Invited speaker at the workshop Forcing axioms and their applications, Fields Institute, Toronto (Canada): Iterated forcing with side conditions. (41) Sep Invited participant at the 12th International Workshop in Set Theory, CIRM, Luminy, France. (42) July Invited speaker at the Special Set Theory session of the ASL Summer meeting Logic Colloquium 2012, Manchester, UK: completeness and forcing axioms. (43) 6 8 June Invited speaker at the special session on mathematical logic of the 1st joint Conference of the Belgian, Royal Spanish and Luxembourg Mathematical Societies, Liège, Belgium: completeness and forcing axioms. (44) 9 10 March Invited speaker at MAMLS Set theory conference, CUNY, New York, USA: Wishful thinking in set theory: completeness and maximality. (45) January Speaker at the FWF JSPS joint seminar Forcing in Set Theory : Wishful thinking in set theory: completeness and maximality (Kobe, Japan). (46) 23 November Invited speaker at the Set theory seminar at the University of Münster (Münster, Germany). (47) October Invited speaker at the RIMS conference Aspects of Descriptive Set Theory (Kyoto, Japan). (48) 3 8 July Invited speaker at the Third European Set Theory Conference, ICMS (Edinburgh, UK). (49) 9 15 January Invited participant at the 2011 MFO Set Theory Workshop (Oberwolfach, Germany). (50) 4 8 October Invited participant at the 11th International Luminy Workshop on Set Theory, CIRM (Luminy, France). (51) June Invited participant at the workshop Forcing Axioms and their applications and the mini workshop Infinitary Combinatorics (Pisa, Italy). (52) 10 Apr.-10 May Research stay at the Kurt Gödel Research Center (Univeristät Wien) (Vienna, Austria). Invited talk at the KGRC Set Theory workshop (29 Apr.): On 2 maximality and CH.

8 8 D. ASPERÓ (53) Nov RIMS workshop Combinatorial set theory and forcing theory (Kyoto, Japan). Invited talk: Forcing consequences of PFA together with the continuum large. (54) 1 14 Nov Second half of an invited research stay at the Mittag Le er Institute as part of the program Mathematical logic: Set theory and model theory, Aug. 31 Dec. 15, 2009 (Djursholm, Sweden). (55) 5 20 Sep First half of an invited research stay at the Mittag Le er Institute as part of the program Mathematical logic: Set theory and model theory, Aug. 31 Dec. 15, 2009 (Djursholm, Sweden). (56) June Invited speaker at the Erwin Schrödinger Institut workshop on Large Cardinals and Descriptive Set Theory (Vienna, Austria): A forcing axiom compatible with the continuum large. (57) 1 6 Sep Invited speaker at the 10 Asian Logic Conference (Kobe, Japan): Lightface definable well-orders of H(! 2 )and forcing axioms. (58) Aug Invited speaker at the RIMS workshop Combinatorial and descriptive set theory (Kyoto, Japan): Forcing adefinablewell orderofh(! 2 ), together with CH. (59) Jan Invited speaker at the Young Set Theory workshop (Bonn, Germany): Large cardinals and locally defined well orders of the universe. (60) Jan Invited participant at the MFO 2008 Set Theory Workshop (Oberwolfach, Germany). (61) 9 13 July Invited participant at The first European Set theory meeting (Bedlewo, Poland): Large cardinals and locally defined well orders of the universe. (62) 5 9 March 2007: Invited participant at the workshop Singular Cardinal Combinatorics and Inner Models (University of Florida, Gainesville, Florida, USA). (63) 2 6 Oct Invited participant at the 9th. Atelier International de Théorie des Ensembles (CIRM, Luminy, France). (64) Sep Invited speaker at the set theory Minisymposium of the Jahrestagung der Deutschen Mathematiker Vereinigung 2006 (Bonn, Germany): Definable well orders of H(! 2 ) and forcing axioms. (65) 23 Aug.-12 Sep Invited researcher at Sichuan University (Chengdu, Sichuan, China). (66) 4 10 Dec Invited participant at the MFO 2005 Set Theory Workshop (Oberwolfach, Germany).

9 CURRICULUM VITAE (1 JANUARY 2019) 9 (67) 27 Oct Invited speaker at the Kobe Set Theory Seminar (Kobe, Japan). (68) Oct Invited speaker at the RIMS Symposium on Forcing and Infinitary Combinatorics (Kyoto, Japan): Forcing axioms and definable well orders of H(! 2 )(withoutparameters). (69) 30 Sep.-31 Oct Invited researcher at Nagoya University (Nagoya, Japan). (70) 3 5 Sep Invited speaker at the Bristol Informal Gathering (BIG) in Set Theory (Bristol, UK): Forcing simply definable well orders of H!2. (71) 20 June 15 Jul Invited participant at the IMS workshop Computational Prospects of Infinity (Singapore). Invited talks: Guessing and non-guessing of canonical functions and Forcing better wellorderings of H!2. (72) 8 Mar Invited speaker at the Cameleon Logic Meeting (Cambridge, UK): Forcing simply definable well orders of the reals. (73) Dec Invited participant at ARCC Workshop: Recent Advances in Core Model Theory (Palo Alto, USA). (74) 6 Oct Invited speaker at the Logic Seminar of the Dept. of Pure Mathematics, University of Leeds (Leeds, UK): Large cardinals and well orders of the reals. (75) Sep Invited participant at the 8ème Atelier International de Théorie des Ensembles, (CIRM, Luminy, France). Invited talk: Coding by club sequences. (76) 1 6 May Invited participant at the BIRS Workshop on Singular Cardinal Combinatorics, (Ban, Canada). Invited talk: The nonexistence of robust codes for subsets of! 1. (77) Mar Invited speaker at the Boise Extravaganza in Set Theory 2004 (Boise, USA): The nonexistence of robust codes for subsets of! 1. (78) Dec Takeuti Symposium, (Kobe, Japan). Invited talk: Forcing notions in inner models. (79) Nov. & Dec Invited researcher at Kanagawa Univ. (Yokohama, Japan), Nagoya Univ. (Nagoya, Japan) and Kobe Univ. (Kobe, Japan). Lecturing of seminars on P max forcing and on generic absoluteness for H(! 2 ). (80) Jul. & Aug Invited postdoctoral researcher at the University of Helsinki. Lecturing of the seminar An introduction to Woodin s P max forcing.

10 10 D. ASPERÓ (81) 3 9 Aug ASL European Summer Meeting Logic Colloquium 2002, (Münster, Germany). Invited talk at the Special Set Theory Session: Forcing absoluteness for 1 formulas and the continuum problem. (82) 5 7 Apr Invited speaker at the NYC Logic Conference (New York): Separating bounded forcing axioms. (83) Jan Invited speaker at the MFO Set Theory Workshop (Oberwolfach, Germany). (84) Sep ÖMG-Kongress und Jahrestagung der Deutschen Mathematikervereinigung (Vienna). Invited talk: Forcing absoluteness for 1 formulas and the continuum problem. (85) 3 21 Dec Invited research stay at the Universidad Central de Venezuela (Caracas, Venezuela) and the Universidad de Los Andes (Mérida, Venezuela). (86) Sep Invited participant at the 6ème Atelier International de Théorie des Ensembles (CIRM, Luminy, France). Invited talk: Generic absoluteness for H(! 2 ). 6. Invitations to forthcoming scientific events and research stays (1) Invited participant at the 4th Arctic Set Theory Workshop, Kilpisjärvi Research Center, Kilpisjärvi, Finland, Jan (2) Invited participant at BIRS workshop Set theory of the reals, Oaxaca, Mexico, 4 9 Aug Further participation at scientific events and other research stays (1) July Contributed talk at the 4th European Set Theory Conference (Mont St. Benet, Catalonia): Long reals. (2) May Assistance to the Appalachian set theory workshop Iterated forcing and the Continuum Hypothesis (Toronto, Canada). (3) Nov Assistance to RIMS workshop Axiomatic Set Theory and Set-theoretic Topology (Kyoto, Japan). Contributed talk: Square roots of elementary embeddings. (4) Sep Assistance to the Barcelona Paris Set Theory Conference (Paris, France). (5) 4 8 June Research exchange. Univ. Paris VII (Paris, France).

11 CURRICULUM VITAE (1 JANUARY 2019) 11 (6) Apr Assistance to Horizons of Truth. Gödel Centenary 2006 (Vienna, Austria). (7) Jan XII Simposio Latinoaméricano de Lógica (San José, Costa Rica). Contributed talk. (8) Aug ASL European Summer Meeting Logic Colloquium 2003, Helsinki. Contributed talk: Forcing notions in inner models. (9) June Research stay at U.C. Berkeley. (10) Aug Mengenlehre Tagung, Vienna. Talk: On simple partitions of [apple] apple. (11) 6 11 Aug ASL European Summer Meeting Logic Colloquium 2001, Vienna. Contributed talk: Bounded Martin s Maximum, Erdős cardinals, and AC. (12) July ASL European Summer Meeting Logic Colloquium 2000, Paris. Contributed talk: The Bounded Martin s Maximum and the size of the continuum. (13) 5 8 July th Barcelona Logic Meeting, Barcelona. Contributed talk: General localized reflecting cardinals. (14) June Joint Conference of the 5th Barcelona Logic Meeting and the 6th Kurt Gödel Colloquium, Barcelona. Contributed talk: Strong versions of bounded forcing axioms. 5 7 Feb Assistance to 4th Barcelona Logic Meeting, Barcelona. (15) Dec Assistance to CRM Workshop on the Ramsey theory of the reals, Barcelona. (16) 30 Jan.- 1 Feb Assistance to 3rd Barcelona Logic Meeting, Barcelona. (17) June Assistance to Techniques and Applications of Set Theory, Barcelona. 8. General talks and public engagement activities (1) I gave a lecture (entitled Logic ) and led a problem session related to the lecture at the Discover Maths day on 6 July This event took place at UEA and was addressed to year old secondary school students. (2) 7 Sep. 2016: Grandes cardinales y realismos, ITAM, Mexico. (3) 8 Dec. 2014: Extremely large cardinals in the absence of Choice, UEA pure math seminar, UEA, Norwich, UK. (4) 10 Feb. 2010: Teoria de Ramsey infinita i grans cardinals, Univ. Illes Balears, Palma de Mallorca. (5) 20 Nov. 2008: Grandes cardinales, UNAM, Mexico.

12 12 D. ASPERÓ 9. Organization of seminars (1) Together with Robert D. Gray, I was one of the organisers of the weekly pure mathematics seminar at UEA (spring and autumn semesters 2014, and spring semester 2015). (2) Sep June 2011: Together with Andrés Villaveces, I was one of the organizers of the seminar of the Bogotá Logic Group and of a seminar on interactions between model theory and set theory. Both seminars took place on a weekly basis. (3) Nov June 2010: Together with Joan Bagaria, I was one of the organizers of the weekly Set Theory Seminar of the Barcelona Research Group in Set Theory. The following are among the speakers at the seminar in this period: Matthew Foreman, Sakae Fuchino, Michael Hrusak, Vladimir Kanovei, Adrian R.D. Mathias, Ralf D. Schindler, W. Hugh Woodin. 10. Organization of conferences (1) Co-organization, with Carles Casacuberta, Miguel Angel Mota, and Konstantinos Tsaprounis, of the conference Reflections on Set Theoretic Reflection, Sant Bernat, Catalonia, Nov (2) Co-organization, with J. Bagaria, M. Džamonja and B. Löwe, of the workshop Independence results in mathematics and challenges in iterated forcing, Univ. of East Anglia, Norwich (UK), 2 6 Nov (3) Member of the Local Organizing Committee of the ASL European Summer Meeting Logic Colloquium 2011, held in Barcelona, July 11 16, (4) Member of the Scientific and Organizing Committees of the workshop under the title Young Set Theory workshop 2009, which took place in Bellaterra, April 14 18, Undergraduate teaching Teaching at Univ. of East Anglia (1) Autumn semester : Analysis (MTHA5001Y). Also module organizer for MTHA5001Y for both semesters of (2) : Module organizer for Mathematics Dissertation module (MTHA7029Y). (3) Spring semester : Computability (topic from Topics in Pure Mathematics, MTHF5001Y). Also module organizer for MTHF5001Y for both semesters of

13 CURRICULUM VITAE (1 JANUARY 2019) 13 (4) Autumn semester : Analysis (MTHA5001Y). Also module organizer for MTHA5001Y for both semesters of (5) : Module organizer for Mathematics Dissertation module (MTHA7029Y). (6) Spring semester : Set theory (MTHE6003B) and Set theory with advanced topics (MTHE7003B). (7) Autumn semester : Analysis (MTHA5001Y). Also module organizer for MTHA5001Y for both semesters of (8) : Module organizer for Mathematics Dissertation module (MTHA7029Y). (9) Spring semester : Computability (topic from Topics in Mathematics, MTHF5024Y). (10) Autumn semester : Analysis (MTHA5001Y). Also module organizer for MTHA5001Y for both semesters of (11) : Module organizer for Mathematics Dissertation module (MTH MA7Y). (12) Spring semester : Set theory (MTH 3E22) and Set theory with advanced topics (MTH ME22). (13) Autumn semester : Analysis (MTHA5001Y). Also module organizer for MTHA5001Y for both semesters of (14) Autumn semester : Analysis (MTH 2C1Y). Also module organizer for MTH 2C1Y for both semesters of (15) Spring semester : Set theory (MTH 3E18): 6 hours. (16) Spring semester : Linear algebra (MTH 1A2Y). Teaching at Univ. Nacional Colombia (1) 1st semester 2011 (Feb.-June 2011): Lógica matemática (Mathematical logic) (Univ. Nacional Colombia). (2) 1st semester 2011 (Feb.-June 2011): Cálculo diferencial en una variable (Di erential calculus in one variable) (Univ. Nacional Colombia). (3) 2nd semester 2010 (Aug.-Dec. 2010): Teoria de conjuntos (Set theory) (Univ. Nacional Colombia). (4) 2nd semester 2010 (Aug. Dec. 2010): Cálculo diferencial en una variable (Di erential calculus in one variable) (Univ. Nacional Colombia). Other teaching

14 14 D. ASPERÓ (1) Sep. 2017: I taught the first week of an invited 3 week master s course with the name Mathematical Logic at AIMS, Senegal (Mbour, Senegal). 12. Supervision of Master s theses (1) At Univ. of East Anglia: The measure problem and the theory of large cardinals, The Suslin problem and Martin s Axiom, Quantum cryptography, Infinite Ramsey theory, Gödel s incompleteness theorems, Infinite Ramsey theory, (2) At Univ. Nacional de Colombia: Proper forcing, (3) At Univ. Barcelona: Forcing axioms, together with J. Bagaria, Graduate level teaching (1) I have taught a MAGIC Set theory course in the following semesters (10 hours each semester): Spring , Autumn , Spring , Autumn , Spring , Autumn (2) Feb.-June 2011: Graduate course: Tópicos avanzados de lógica (Advanced topics in logic) (Univ. Nacional Colombia). (3) Oct.-Dec. 2010: Course on Proper Forcing and its applications (Univ. Nacional Colombia). (4) I taught the following graduate level mini courses at the Logic Department of the University of Barcelona: An introduction to P max forcing Iteration trees Pcf theory 2 maximality for H(! 2 )andch Large cardinals in the absence of the Axiom of Choice 14. Graduate students (1) Together with Mirna Džamonja, I am currently supervising the PhD thesis of two graduate students at UEA. (2) Together with Mirna Džamonja, I supervised the doctoral thesis ( Measures, Slaloms, and Forcing Axioms ) of Tanmay Inamdar at UEA. He obtained his PhD in mathematics (UEA) on 27 April 2018.

15 CURRICULUM VITAE (1 JANUARY 2019) 15 (3) Together with Joan Bagaria, I supervised the doctoral thesis ( Forcing strong combinatorial properties and cardinal arithmetic ) of Miguel Ángel Mota. He obtained his PhD in mathematics (Univ. Barcelona) on 21 Sep Postdoctoral researchers (1) Since 1 March 2018: Supervisor of Dr. Asaf Karagila, employed as postdoctoral researcher at UEA for 2 years. Funded by Newton International Fellowship granted by the Royal Society. Project title: High forcing axioms. Forcing axioms for the uncountable. (2) Since 8 August 2016: Supervisor of Dr. Chris Le Sueur, employed as postdoctoral researcher at UEA for 3 years. Funded by EPSRC project Iterated forcing with side conditions and high forcing axioms (EP/N032160/1). 16. Visitors (3) 9 12 June 2016: Research visit of Asaf Karagila. (4) March and April 2013: Research visit at UEA of Dr. Konstantinos Tsaprounis. Funded by European Science Foundation Research Networking Programme INFTY. 17. Committee membership (1) Autumn 2015 Spring 2017: Member of the MAGIC Academic Steering Committee and the MAGIC Management Committee. (2) Since autumn 2014: MAGIC node representative for UEA. 18. Refereeing of scientific proposals (1) Reviewer of scientific proposals for the Austrian Science Fund. 19. Refereeing of publications I have served as anonymous referee for the journals Annals of Pure and Applied Logic, Fundamenta Mathematicae, Mathematical Research Letters, The Journal of Symbolic Logic, Mathematical Logic Quarterly, Bulletin of the Polish Academy of Sciences (Mathematics), Archive for Mathematical Logic, The Notre Dame Journal of Formal Logic, The Bulletin of Symbolic Logic, The Israel Journal of Mathematics, Proceedings of the AMS, Bulletin of the Belgian Mathematical Society, Bollettino dell Unione Matematica Italiana, Journal of Mathematical Logic, European Journal of Mathematics, for a chapter from the

16 16 D. ASPERÓ book Set Theory, Centre de Recerca Matemàtica, Barcelona , Birkhäuser, Trends in Mathematics Series (2006), and for a book published by Birkhäuser. 20. Invited reviews of publications (1) Review, published in the Bulletin of the London Math. Soc., of the book Understanding mathematical proofs, by J. Taylor and R. Garnier, CRC Press, Editorial work Co-editor, with Neus Castells, Miguel Angel Mota, and Jip Veldman of Young Set Theory Workshop 2009, CRM Publications vol. 7, (2011), 1-12, ISSN Leadership in publicly funded research projects (1) Principal investigator of EPSRC funded research project Iterated forcing with side conditions and high forcing axioms EP/N032160/1 (8 Aug June 2019). Granted funding: GBP 276, (2) Project leader of research project Forcing with side conditions and forcing axioms, funded by the Austrian Science Fund (FWF). Project reference M 1408 Meitner-Programm. 1 April- 31 December Granted funding: EUR 133, Membership in publicly funded research projects (1) Member of research project Lógica Matemática ( ), directed by Enrique Casanovas Ruiz Fornells and funded by Spanish Ministerio de Economia y Competividad through grant MTM P. (2) Member of the research project Set Theory: Mathematical, Philosophical, and Computational Prospects ( ), directed by Joan Bagaria and funded by the Spanish Ministerio de Educación y Ciencia (Project Number: MTM ). (3) Member of the research project Set theory ( ), directed by Joan Bagaria and Boban Veličković and funded by the Spanish Ministerio de Educación y Ciencia through its program Acciones integradas, Francia (Project Number: HF ). (4) Member of the research project Grup de Lògica ( ), directed by Enrique Casanovas Ruiz Fornells and funded by the Generalitat de Catalunya through its program Suport a grups

17 CURRICULUM VITAE (1 JANUARY 2019) 17 de recerca consolidats (SGR) (Project Number: 2005SGR 00738). (5) Member of the research project Foundations and Applications of Set theory ( ), directed by Joan Bagaria and funded by the Spanish Ministerio de Educación y Ciencia through its program Proyectos I+D (Project Number: MTM ). (6) Member of the research project Set Theory (2004), directed by Joan Bagaria and funded by the Spanish Ministerio de Ciencia y Tecnologia through its program Acciones especiales. (7) Member of the research project Set theory ( ), directed by Joan Bagaria and Sy D. Friedman and funded by the Spanish Ministerio de Ciencia y Tecnologia through its program Acciones integradas, Austria. (8) Member of the research project Grup de Lògica ( ), directed by Enrique Casanovas Ruiz Fornells and funded by the Generalitat de Catalunya through its program Suport a grups de recerca consolidats (SGR) (Project Number: 2002SGR 00126). (9) Member of the research project Set Theory and its Applications ( ), directed by Joan Bagaria and funded by the Spanish Ministerio de Ciencia y Tecnologia through its program Proyectos I+D (Project Number: BFM ). David Asperó, School of Mathematics, University of East Anglia, Norwich NR4 7TJ, UK // address: d.aspero@uea.ac.uk