Carles Casacuberta

Carles Casacuberta
Name	Carles Casacuberta
Fields	Mathematics, Logic, Computability theory, Type theory
Alma mater	University of Barcelona, Université Paris-Sud
Workplaces	Universitat Autònoma de Barcelona, Centre de Recerca Matemàtica, Université Paris-Sud
Known for	Constructive mathematics, Proof theory, Realizability

Carles Casacuberta is a Catalan mathematician and logician noted for contributions to mathematical logic, constructive mathematics, and the theory of realizability. His work spans interactions between proof theory, type theory, and algebraic aspects of computability theory, with influence on researchers connected to European Research Council networks and research institutes across Europe and Latin America. He has held positions at major research universities and centers, contributing to collaborative projects with scholars associated with Association for Symbolic Logic, European Mathematical Society, and national academies.

Early life and education

Casacuberta was born and educated in Catalonia where he pursued undergraduate studies at the University of Barcelona before undertaking graduate work at prominent French institutions including Université Paris-Sud and research visits to laboratories connected with Centre National de la Recherche Scientifique and the Institut des Hautes Études Scientifiques. During his formative years he engaged with mathematical circles connected to the Royal Academy of Sciences and Arts of Barcelona and seminars influenced by figures from Hilbert's program-related traditions and the legacy of Andrei Kolmogorov and Alonzo Church. His doctoral work focused on formal systems that bridged themes from intuitionistic logic and algebraic models inspired by developments at University of Paris research groups.

Research and mathematical contributions

Casacuberta's research addresses foundational problems in constructive mathematics and the interface between proof theory and algebraic topology via realizability methods. He has advanced the study of realizability by connecting it to categorical frameworks associated with topos theory and structures studied by researchers at Category Theory meetings and workshops sponsored by institutions such as the Mathematical Sciences Research Institute and the Centre de Recerca Matemàtica. His work explores how computational interpretations of proofs, traced to Kleene-style realizability and Curry–Howard correspondence, inform the semantics of type theory, influencing lines of inquiry pursued at conferences organized by the Association for Symbolic Logic and the International Joint Conference on Automated Reasoning.

He developed techniques linking constructive models to algebraic invariants familiar to specialists who attend seminars at École Normale Supérieure and engage with scholars from University of Cambridge and University of Oxford working on homotopical approaches. Casacuberta's contributions include results on conservativity between formal systems and algebraic presentations reminiscent of analyses by Ger¬hard Gentzen and Per Martin-Löf, and collaborative work that aligns with research programs at the European Research Council and national science foundations such as Spanish National Research Council initiatives.

Academic career and positions

Casacuberta has held faculty and research positions at the Universitat Autònoma de Barcelona and has been affiliated with the Centre de Recerca Matemàtica where he coordinated seminars attracting international visitors from Princeton University, Massachusetts Institute of Technology, Universidade de São Paulo, and Universität Bonn. He has served as visiting researcher at Université Paris-Sud and collaborated with scholars from the University of Amsterdam and the Universität Wien on projects bridging logic and categorical methods. His teaching and mentorship have involved graduate students pursuing topics connected to programs at the European Mathematical Society schools and doctoral consortia funded by agencies such as the European Union's research frameworks.

Casacuberta has participated in editorial boards for journals associated with the Association for Symbolic Logic and has contributed to program committees for conferences including the Logic Colloquium and meetings co-sponsored by the Society for Industrial and Applied Mathematics where interactions between pure logic and applications are emphasized. He has been involved in interdisciplinary initiatives linking logic to computer science departments at institutions such as Universitat Politècnica de Catalunya and research groups at Barcelona Supercomputing Center.

Awards and honours

Casacuberta's work has been recognized by nominations and awards from regional academies such as the Royal Academy of Sciences and Arts of Barcelona and by research grants from bodies including the Spanish Ministry of Science and the European Research Council. He has been invited to deliver plenary and invited lectures at meetings hosted by the Association for Symbolic Logic, the European Mathematical Society, and at international venues such as International Congress of Mathematicians satellite events. His contributions have been acknowledged in festschrifts and conference volumes honoring developments in proof theory and constructive mathematics.

Selected publications and works

- Monographs and survey articles published in outlets associated with the Association for Symbolic Logic and the London Mathematical Society, addressing themes in realizability and the semantics of type theory; these works appear alongside volumes from proceedings of the International Colloquium on Automata, Languages and Programming and summer schools organized by the Centre de Recerca Matemàtica. - Research papers coauthored with collaborators from Université Paris-Sud, Universitat Autònoma de Barcelona, and Universidade de São Paulo exploring categorical realizability, conservativity results, and connections to homotopy theory, presented at forums including the Logic Colloquium and workshops at the Institut Henri Poincaré. - Contributions to edited volumes celebrating advances in proof theory and constructive mathematics alongside essays by scholars from University of Cambridge, University of Oxford, and Princeton University.

Category:Catalan mathematicians Category:Mathematical logicians