Almudena Colacito
Curriculum Vitae
Education
09/2016 –
PhD Student, Universität Bern, Bern.
2014 – 2016 Master of Science (Logic), Universiteit van Amsterdam, Amsterdam.
○␣ Main courses: Axiomatic Set Theory, Computational Complexity, Introduction to Forcing,
Introduction to Modal Logic, Intuitionistic Logic, Mathematical Structures in Logic, Proof
Theory, Recursion Theory
○␣ Thesis title: “Minimal and Subminimal Logic of Negation”
Supervisor(s): Prof. Dr. Dick de Jongh – Dr. Marta Bílková
○␣ Cum Laude
2011 – 2014 Bachelor of Science (Mathematics), Università degli Studi di Trento, Trento.
○␣ Thesis title: “Automorfismi del Campo Complesso” (“Automorphisms of the Complex
Field”) – Supervisor: Prof. Dr. Stefano Baratella
○␣ Final grade: 108/110
Publications
[1] Almudena Colacito, Dick de Jongh, and Ana Lucia Vargas. Subminimal negation.
Soft Computing, 21(1):165 – 174, 2017.
[2] Almudena Colacito. Minimal and Subminimal Logic of Negation. Master’s thesis,
ILLC Master of Logic Series Series MoL-2016-14, Universiteit van Amsterdam.
Conferences | Talks
Ordered Groups and Proof Theory,
Algebra and Coalgebra meet Proof Theory ALCOP VIII,
University of Strathclyde, Glasgow, April 10 – 12, 2017
○␣ Right Orders on Free Groups and the Word Problem for Free `-Groups,
93rd Workshop on General Algebra AAA93, Bern, February 10 – 12, 2017
○␣ Ordering Theorems and Validity of Equations,
La Trobe University, Melbourne, February 2, 2017
○␣ A Sequent Calculus for Minimal and Subminimal Logic of Negation,
Syntax Meets Semantics SYSMICS 2016,
Universitat de Barcelona, Barcelona, September 5 – 9, 2016
○␣ Generalized Heyting Algebras with a Unary Operator,
International Workshop on Topological Methods in Logic,
Ilia State University, Tbilisi, June 13 – 17, 2016
○␣
Q [email protected]
1/2
Subminimal Logics of Negation: a Sequent Calculus System,
Universität Bern, Bern, March 24, 2016
○␣ Subminimal Logics of Negation,
Algebra|Coalgebra Seminar,
Institute for Logic, Language and Computation, Amsterdam, March 9, 2016
○␣
Research Visits
January 2017 La Trobe University, Melbourne.
○␣ Visiting Dr. Tomasz Kowalski
Teaching Experience
Spring 2017 Mathematik II für Naturwissenschaften.
○␣ Teaching Assistant – Prof. Dr. Jan Draisma, Universität Bern, Bern
Fall 2016 Universal Algebra.
○␣ Teaching Assistant – Prof. Dr. George Metcalfe, Universität Bern, Bern
Spring 2016 Axiomatic Set Theory.
○␣
Teaching Assistant – Prof. Dr. Alexandru Baltag,
Universiteit van Amsterdam, Amsterdam
Other Activities
○␣
○␣
Member of the Organizing Committee
93rd Workshop on General Algebra (AAA93),
10 – 12 February, 2017, Bern, Switzerland
Member of the Board
Swiss Graduate Society for Logic and Philosophy of Science (SGSLPS)
Professional Experience
05/2017 –
11 – 12/2015
01 – 07/2014
01 – 04/2014
Assistentin III, Mathematisches Institut, Universität Bern, Bern.
Student Mentor, Universiteit van Amsterdam, Amsterdam.
Student Adviser, Università degli Studi di Trento, Trento.
High School Teacher (Internship), Liceo Scientifico Vito Volterra, Fabriano.
Languages
Italian Native language
English IELTS Overall: 7.0 Listening: 6.5 Reading: 8.5 Writing: 7.0 Speaking: 6.5
Date: 22.07.2014
Q [email protected]
2/2
