CURRICULUM VITAE (1 JANUARY 2019)

CURRICULUM VITAE (1 JANUARY 2019) DAVID ASPERÓ 1. Academic qualifications (1) Postgraduate certificate in Higher Education Practice, Univ. of East Anglia, Nov. 2016. (2) Ph.D. in Mathematics, Univ. of Barcelona, July 2000. Thesis advisor: Joan Bagaria. Dissertation: Bounded forcing axioms and the continuum. (3) Undergraduate degree in Mathematics. Univ. of Barcelona, June 1995. 2. Employment (1) Lecturer in Pure Mathematics at the University of East Anglia, Norwich, UK. Since 1 January 2013. (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 2012. (3) Projektassistent at the Technische Universität Wien. 1 November 2011 31 March 2012. (4) Profesor asociado (Associate Professor) at Univ. Nacional de Colombia (Bogotá, Colombia). 27 July 2010 31 July 2011. (5) ICREA junior researcher at Univ. de Barcelona, Dept. de Lògica, Història i Filosofia de la Ciència, 1 Nov. 2005 20 July 2010. (6) Postdoctoral research assistant, School of Mathematics, University of Bristol, 6 Oct. 2003 5 Oct. 2005. (7) Postdoctoral Researcher, Institut für formale Logik, Universität Wien, 1 Feb. 2001 31 May 2003. (8) Teaching assistant, Universitat de Barcelona, 1995 1997. 3. 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 D. ASPERÓ (2) A forcing notion collapsing @ 3 and preserving all other cardinals, The Journal of Symbolic Logic, vol. 83, no. 4 (2018), 1579 1594. (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, 1066 1079. (5) Adding many Baumgartner clubs, Archive for Mathematical Logic, vol. 56 (7) (2017), no. 7 8, 797 810. (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), 284 308. (7) Forcing lightface definable well orders without GCH, withpeter Holy and Philipp Lücke, Annals of Pure and Applied Logic, vol. 166, 5 (2015), 553 582. (8) A generalization of Martin s Axiom, with Miguel Angel Mota, Israel J. of Mathematics, vol. 210 (2015), 193 231. (9) Forcing consequences of PFA together with the continuum large, with Miguel Angel Mota, Transactions of the AMS, vol. 367 (2015), 6103 6129. (10) Relative definability, RIMSKokyurokuBessatsu1895(2014), 1 11. (11) Bounded Martin s Maximum with an asterisk, with Ralf Schindler, Notre Dame Journal of Formal Logic, vol. 55, 3 (2014), 333 348. (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, 5 27. (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), 1178 1186. (14) Forcing axioms and the Continuum Hypothesis, withpaulb. Larson and Justin T. Moore, Acta Mathematica, vol. 210 (2013), 1 29. (15) Definable well orders of H(! 2 ) and GCH, withsyd.friedman, The Journal of Symbolic Logic, vol. 77, 4 (2012), 1101 1121. (16) On a convenient property about [ ] @ 0, Archive for Mathematical Logic, vol. 48, 7 (2009), 653 677.

CURRICULUM VITAE (1 JANUARY 2019) 3 (17) Forcing notions in inner models, Archive for Mathematical Logic, vol. 48, 7 (2009), 643 651. (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), 94 108. (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), 1 15. (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, 23 46. (21) Guessing and non-guessing of canonical functions, Annals of Pure and Applied Logic, vol. 146, 2 3 (2007), 150 179. (22) Coding by club sequences, Annals of Pure and Applied Logic, vol. 142, 1 3 (2006), 98 114. (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, 1 27. (24) The nonexistence of robust codes for subsets of! 1,Fundamenta Mathematicae, vol. 186, 3 (2005), 215 231. (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, 211 227. (26) On simple partitions of [apple] apple,fundamentamathematicae,vol. 177, 2 (2003), 139 149. (27) Bounded Martin s Maximum, weak Erdős cardinals, and AC, with Philip D. Welch. The Journal of Symbolic Logic, vol. 67, 3(2002),1141 1152. (28) A maximal bounded forcing axiom, The Journal of Symbolic Logic, vol. 67, 1 (2002), 130 142. (29) Bounded forcing axioms and the continuum, with Joan Bagaria. Annals of Pure and Applied Logic, vol. 109, 3 (2001), 179 203. 4. Other articles (1) The special Aronszajn tree property at @ 2 and GCH, withmohammad Golshani. Submitted. (2) Parametrized Measuring and Club Guessing, with John Krueger. Submitted.

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) 12 15 Dec. 2018. 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. 2018. Invited talk at the worskhop Axiomatic set theory and its applications, RIMS, Kyoto, Japan: The special @ 2 -Aronszajn tree property and GCH. (3) 22 Oct. 2018. Invited talk at the Research Seminar of the KGRC, Kurt Gödel Research Center, Vienna, Austria: Special @ 2 -Aronszajn trees and GCH. (4) 14 17 Oct. 2018. Invited research stay at Univ. Paris 7. Invited talk at the general Logic Seminar of Univ. Paris 7, Paris, France: The special @ 2 -Aronszajn tree property and GCH. (5) 23 24 Aug. 2018. Keynote speaker at the KNAW Colloquium Generalised Baire spaces, Amsterdam, The Netherlands: Special @ 2 -Aronszajn trees and GCH. (6) 2 5 July 2018. 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 2018. Invited speaker at the VIEG 2018, Univ. of Bristol, Bristol, UK: Side conditions, adding few reals, and trees. (8) 21 23 Feb. 2018. Invited speaker at IIIM2018 (Incontro Italiano Insiemi e Modelli), Univ. Torino, Turin, Italy: Iterated forcing with side conditions and adding few new reals. (9) 10 13 Jan. 2018. Invited speaker at the First Mexico/USA Logic Fest, ITAM, Mexico: Few new reals. (10) 12 14 Dec. 2017. Invited speaker at the 5th annual conference of the Iranian Association for Logic, Tehran, Iran: Large cardinals, forcing axioms, and mathematical realisms.

CURRICULUM VITAE (1 JANUARY 2019) 5 (11) 8 17 Dec. 2017. 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. 2017. 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. 2017. Invited participant at the 14th International Luminy Workshop on Set Theory, CIRM, Luminy, France. (14) 14 20 Aug. 2017. Plenary speaker at Logic Colloquium 2017, Stockholm, Sweden: Generic absoluteness for Chang models. (15) 10 14 July 2017. 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 2017. Invited speaker at the Bristol set theory seminar, Bristol, UK: Generic absoluteness for Chang models. (17) 12 18 Feb. 2017. Invited participant at the MFO 2017 Set Theory Workshop, Mathematiches Forschungsinstitut Oberwolfach, Oberwolfach, Germany. (18) 28 Jan. 4 Feb. 2017. 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) 14 18 Nov. 2016. 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. 2016. 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. 2016. Invited research stay at ITAM (Mexico). (22) 11 15 Jan. 2016. 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. 2015. Invited speaker at Perspectives of Infinity Workshop on Pure and Descriptive Set Theory, Torino, Italy: Thin tall Boolean algebras. (24) 19 Aug. 12 Dec. 2015. Invited participant at the research programme Mathematical, Foundational and Computational Aspects of the Higher Infinite, Isaac Newton Institute for Mathematical Sciences, Cambridge, UK.

6 D. ASPERÓ (25) 27 May 2015. Invited speaker at the Torino set theory seminar, Torino, Italy: Some uses of homogeneous forcing. (26) 12 17 Feb. 2015. Invited participant at the Arctic set theory workshop 2, Kilpisjärvi, Finland, Some remarks on complete theories modulo forcing. (27) 17 19 Nov. 2014. 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. 2014. Invited speaker at the 13th International Workhop on Set Theory, CIRM, Luminy, France: Adding many Baumgartner clubs, with applications. (29) 22 23 March 2014. 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. 2013. Invited speaker at the Univ. of Leeds logic seminar, Leeds, UK: Some new approaches to iterated forcing. (31) 9 12 Sep. 2013. 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. 2013. 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) 22 27 July, 2013. Invited speaker at the special set theory session of the Logic Colloquium 2013, Évora, Portugal: Forcing local definability, without GCH. (34) 25 Feb. 2013. Invited speaker at the logic seminar of the University of Bristol, Bristol, UK: Iterated forcing with side conditions. (35) 1 5 Feb. 2013. Invited participant at the Arctic Set Theory Workshop, Kilpisjärvi, Finland. Invited talk: Iterated forcing with side conditions. (36) 10 Dec. 2012. Invited speaker at the Kobe Set theory seminar, Kobe, Japan: Some set theory with restricted choice. (37) 4 7 Dec. 2012. Tutorial speaker at the RIMS Set theory Workshop, Kyoto, Japan: Iterated forcing with side conditions (3 lectures).

CURRICULUM VITAE (1 JANUARY 2019) 7 (38) 21 Oct.-17 Nov. 2012. Invited participant at the Thematic Program on Forcing and its Applications, July December 2012, Fields Institute, Toronto (Canada). (39) 12 16 Nov. 2012. 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) 22 26 Oct. 2012. Invited speaker at the workshop Forcing axioms and their applications, Fields Institute, Toronto (Canada): Iterated forcing with side conditions. (41) 22 28 Sep. 2012. Invited participant at the 12th International Workshop in Set Theory, CIRM, Luminy, France. (42) 12 18 July 2012. 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 2012. 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 2012. Invited speaker at MAMLS Set theory conference, CUNY, New York, USA: Wishful thinking in set theory: completeness and maximality. (45) 23 27 January 2012. Speaker at the FWF JSPS joint seminar Forcing in Set Theory : Wishful thinking in set theory: completeness and maximality (Kobe, Japan). (46) 23 November 2011. Invited speaker at the Set theory seminar at the University of Münster (Münster, Germany). (47) 19 21 October 2011. Invited speaker at the RIMS conference Aspects of Descriptive Set Theory (Kyoto, Japan). (48) 3 8 July 2011. Invited speaker at the Third European Set Theory Conference, ICMS (Edinburgh, UK). (49) 9 15 January 2011. Invited participant at the 2011 MFO Set Theory Workshop (Oberwolfach, Germany). (50) 4 8 October 2010. Invited participant at the 11th International Luminy Workshop on Set Theory, CIRM (Luminy, France). (51) 21 28 June 2010. Invited participant at the workshop Forcing Axioms and their applications and the mini workshop Infinitary Combinatorics (Pisa, Italy). (52) 10 Apr.-10 May 2010. 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 D. ASPERÓ (53) 16 19 Nov. 2009. 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. 2009. 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. 2009. 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) 14 27 June 2009. 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. 2008. Invited speaker at the 10 Asian Logic Conference (Kobe, Japan): Lightface definable well-orders of H(! 2 )and forcing axioms. (58) 25 29 Aug. 2008. Invited speaker at the RIMS workshop Combinatorial and descriptive set theory (Kyoto, Japan): Forcing adefinablewell orderofh(! 2 ), together with CH. (59) 21 25 Jan. 2008. Invited speaker at the Young Set Theory workshop (Bonn, Germany): Large cardinals and locally defined well orders of the universe. (60) 13 19 Jan. 2008. Invited participant at the MFO 2008 Set Theory Workshop (Oberwolfach, Germany). (61) 9 13 July 2007. 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. 2006. Invited participant at the 9th. Atelier International de Théorie des Ensembles (CIRM, Luminy, France). (64) 18 22 Sep. 2006. 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. 2006. Invited researcher at Sichuan University (Chengdu, Sichuan, China). (66) 4 10 Dec. 2005. Invited participant at the MFO 2005 Set Theory Workshop (Oberwolfach, Germany).

CURRICULUM VITAE (1 JANUARY 2019) 9 (67) 27 Oct. 2005. Invited speaker at the Kobe Set Theory Seminar (Kobe, Japan). (68) 12 14 Oct. 2005. 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. 2005. Invited researcher at Nagoya University (Nagoya, Japan). (70) 3 5 Sep. 2005. 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. 2005. 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. 2005. Invited speaker at the Cameleon Logic Meeting (Cambridge, UK): Forcing simply definable well orders of the reals. (73) 13 17 Dec. 2004. Invited participant at ARCC Workshop: Recent Advances in Core Model Theory (Palo Alto, USA). (74) 6 Oct. 2004. 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) 20 24 Sep. 2004. 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 2004. Invited participant at the BIRS Workshop on Singular Cardinal Combinatorics, (Ban, Canada). Invited talk: The nonexistence of robust codes for subsets of! 1. (77) 20 22 Mar. 2004. Invited speaker at the Boise Extravaganza in Set Theory 2004 (Boise, USA): The nonexistence of robust codes for subsets of! 1. (78) 17 19 Dec. 2003. Takeuti Symposium, (Kobe, Japan). Invited talk: Forcing notions in inner models. (79) Nov. & Dec. 2003. 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. 2003. Invited postdoctoral researcher at the University of Helsinki. Lecturing of the seminar An introduction to Woodin s P max forcing.

10 D. ASPERÓ (81) 3 9 Aug. 2002. 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. 2002. Invited speaker at the NYC Logic Conference (New York): Separating bounded forcing axioms. (83) 20 26 Jan. 2002. Invited speaker at the MFO Set Theory Workshop (Oberwolfach, Germany). (84) 16 22 Sep. 2001. 15. ÖMG-Kongress und Jahrestagung der Deutschen Mathematikervereinigung (Vienna). Invited talk: Forcing absoluteness for 1 formulas and the continuum problem. (85) 3 21 Dec. 2000. Invited research stay at the Universidad Central de Venezuela (Caracas, Venezuela) and the Universidad de Los Andes (Mérida, Venezuela). (86) 18 22 Sep. 2000. 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, 21 26 Jan. 2019. (2) Invited participant at BIRS workshop Set theory of the reals, Oaxaca, Mexico, 4 9 Aug. 2019. 7. Further participation at scientific events and other research stays (1) 15 18 July 2013. Contributed talk at the 4th European Set Theory Conference (Mont St. Benet, Catalonia): Long reals. (2) 29 30 May 2009. Assistance to the Appalachian set theory workshop Iterated forcing and the Continuum Hypothesis (Toronto, Canada). (3) 28 30 Nov. 2007. Assistance to RIMS workshop Axiomatic Set Theory and Set-theoretic Topology (Kyoto, Japan). Contributed talk: Square roots of elementary embeddings. (4) 28 30 Sep. 2007. Assistance to the Barcelona Paris Set Theory Conference (Paris, France). (5) 4 8 June 2007. Research exchange. Univ. Paris VII (Paris, France).

CURRICULUM VITAE (1 JANUARY 2019) 11 (6) 27 29 Apr. 2006. Assistance to Horizons of Truth. Gödel Centenary 2006 (Vienna, Austria). (7) 12 16 Jan. 2004. XII Simposio Latinoaméricano de Lógica (San José, Costa Rica). Contributed talk. (8) 14 20 Aug. 2003. ASL European Summer Meeting Logic Colloquium 2003, Helsinki. Contributed talk: Forcing notions in inner models. (9) June 2003. Research stay at U.C. Berkeley. (10) 13 17 Aug. 2001. Mengenlehre Tagung, Vienna. Talk: On simple partitions of [apple] apple. (11) 6 11 Aug. 2001. ASL European Summer Meeting Logic Colloquium 2001, Vienna. Contributed talk: Bounded Martin s Maximum, Erdős cardinals, and AC. (12) 23 31 July 2000. 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 2000. 6th Barcelona Logic Meeting, Barcelona. Contributed talk: General localized reflecting cardinals. (14) 16 19 June 1999. 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. 1998. Assistance to 4th Barcelona Logic Meeting, Barcelona. (15) Dec. 1997. Assistance to CRM Workshop on the Ramsey theory of the reals, Barcelona. (16) 30 Jan.- 1 Feb. 1997. Assistance to 3rd Barcelona Logic Meeting, Barcelona. (17) 10 14 June 1996. 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 2016. This event took place at UEA and was addressed to 16-17 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 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. 2010 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. 2005 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, 16 19 Nov. 2018. (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. 2015. (3) Member of the Local Organizing Committee of the ASL European Summer Meeting Logic Colloquium 2011, held in Barcelona, July 11 16, 2011. (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, 2009. 11. Undergraduate teaching Teaching at Univ. of East Anglia (1) Autumn semester 2018 19: Analysis (MTHA5001Y). Also module organizer for MTHA5001Y for both semesters of 2018 19. (2) 2018 19: Module organizer for Mathematics Dissertation module (MTHA7029Y). (3) Spring semester 2017 18: Computability (topic from Topics in Pure Mathematics, MTHF5001Y). Also module organizer for MTHF5001Y for both semesters of 2017 18.

CURRICULUM VITAE (1 JANUARY 2019) 13 (4) Autumn semester 2017 18: Analysis (MTHA5001Y). Also module organizer for MTHA5001Y for both semesters of 2017 18. (5) 2017 18: Module organizer for Mathematics Dissertation module (MTHA7029Y). (6) Spring semester 2016 17: Set theory (MTHE6003B) and Set theory with advanced topics (MTHE7003B). (7) Autumn semester 2016 17: Analysis (MTHA5001Y). Also module organizer for MTHA5001Y for both semesters of 2016 17. (8) 2016 17: Module organizer for Mathematics Dissertation module (MTHA7029Y). (9) Spring semester 2015 16: Computability (topic from Topics in Mathematics, MTHF5024Y). (10) Autumn semester 2015 16: Analysis (MTHA5001Y). Also module organizer for MTHA5001Y for both semesters of 2015 16. (11) 2015 16: Module organizer for Mathematics Dissertation module (MTH MA7Y). (12) Spring semester 2014 15: Set theory (MTH 3E22) and Set theory with advanced topics (MTH ME22). (13) Autumn semester 2014 15: Analysis (MTHA5001Y). Also module organizer for MTHA5001Y for both semesters of 2014 15. (14) Autumn semester 2013 14: Analysis (MTH 2C1Y). Also module organizer for MTH 2C1Y for both semesters of 2013 14. (15) Spring semester 2012 13: Set theory (MTH 3E18): 6 hours. (16) Spring semester 2012 13: 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 D. ASPERÓ (1) 18 22 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, 2017 18. The Suslin problem and Martin s Axiom, 2017 18. Quantum cryptography, 2016 17. Infinite Ramsey theory, 2014 15. Gödel s incompleteness theorems, 2014 15. Infinite Ramsey theory, 2013 14. (2) At Univ. Nacional de Colombia: Proper forcing, 2010. (3) At Univ. Barcelona: Forcing axioms, together with J. Bagaria, 2006. 13. Graduate level teaching (1) I have taught a MAGIC Set theory course in the following semesters (10 hours each semester): Spring 2013 14, Autumn 2014 15, Spring 2015 16, Autumn 2016 17, Spring 2017 18, Autumn 2018 19. (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.

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. 2009. 15. 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 D. ASPERÓ book Set Theory, Centre de Recerca Matemàtica, Barcelona 2003 04, 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, 2014. 21. 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 2014-2323. 22. 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 2016 30 June 2019). Granted funding: GBP 276,903.53 (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 2012. Granted funding: EUR 133,360.00 23. Membership in publicly funded research projects (1) Member of research project Lógica Matemática (2016 18), directed by Enrique Casanovas Ruiz Fornells and funded by Spanish Ministerio de Economia y Competividad through grant MTM2014 59178 P. (2) Member of the research project Set Theory: Mathematical, Philosophical, and Computational Prospects (2009 2011), directed by Joan Bagaria and funded by the Spanish Ministerio de Educación y Ciencia (Project Number: MTM2008-03389). (3) Member of the research project Set theory (2006 07), 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: HF2005 0044). (4) Member of the research project Grup de Lògica (2006 08), directed by Enrique Casanovas Ruiz Fornells and funded by the Generalitat de Catalunya through its program Suport a grups

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 (2006 08), directed by Joan Bagaria and funded by the Spanish Ministerio de Educación y Ciencia through its program Proyectos I+D (Project Number: MTM2005 01025). (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 (2004 05), 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 (2002 2004), 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 (2002 05), directed by Joan Bagaria and funded by the Spanish Ministerio de Ciencia y Tecnologia through its program Proyectos I+D (Project Number: BFM2002 03236). David Asperó, School of Mathematics, University of East Anglia, Norwich NR4 7TJ, UK //www.uea.ac.uk/~bfe12ncu/ E-mail address: d.aspero@uea.ac.uk