CURRICULUM VITAE EN ∆ PT ∆ ES ∆ DE ∆ SI
JOAO PITA COSTA
Gorkičeva 16 1000 Ljubljana
SI +386(0)30385468
PT +351(0)934207064
joaopitacosta@gmail.com
www.joaopitacosta.com
si.linkedin.com/in/joaopitacosta
PROFILE.
I have always considered myself a dynamic, efficient and engaged human being. Having an interesting international background, my main interests are Mathematics and Education. I have been involved in the Education of Mathematics at several levels for more than five years. Below I present the detailed information on a vast experience for my young age, developed communication skills and good social capabilities.
FORMAL EDUCATION.
Post Doc. in Computational Topology at the Jožef Štefan Inštitut [IJS], Ljubljana, 2013/15.
Ph. D. in Mathematics at the Faculty of Mathematics and Physics of the Univ. of Ljubljana [FMF], Ljubljana, 2008/12.
Masters Degree in Algebra and Logic at Faculty of Sciences of the Univ. of Lisbon [FCUL], Lisbon, 2005/07.
Bachelor’s degree in Mathematics and Computer Science at Lusofona Univ. [ULHT], Lisbon, 2005.
Erasmus exchange std. at the Faculty of Computer Science of the Univ. of Ljubljana [FRI], Ljubljana, 2005
Bachelor’s degree in Mathematics for Education at Lusofona University [ULHT], Lisbon, 1998/2005
RESEARCH INTERESTS.
Lattice Theory & Universal Algebra
Semilattices & Semigroup Theory
Heyting Algebras & Formal Logic
Computational Topology
Category Theory
RESEARCH EXPERIENCE.
Researcher, IJS, Inštitut Jožef Štefan, Ljubljana — 2012-2015
At the moment I am a postdoc at the science institute Jožef Štefan, one of the most important in Slovenija. I am working under a FP7 EU project together with Primož Škraba that is the director of this project, and Mikael Vejdemo Johansson, as well as with other collaborators of the project. The research aims a foundational theory for Persistent Homology, a strong topic on Computational Topology. By September 2014 I have given eight talks at conferences, workshops and research seminars, having two papers ready for submission and one other in preparation.
Researcher, FMF, University of Ljubljana, Ljubljana — 2007-2012
During my Ph.D. studies, my research was in universal algebra, semigroup theory and category theory. I have actively participated in several international conferences in Slovenia and abroad, as well as in seminars and workshops. I have also published several scientific papers on Mathematics.
Researcher, FCUL, University of Lisboa, Lisboa — 2005-2007
As a component of my pre-Bologna master studies at the Department of Mathematics of the University of Lisbon, I had a initiation to the research career mentored by Prof. Luís Sequeira. During this period of one and a half years I developed my research on commutative equivalence relations, a topic from Universal Algebra. With this I had a total of four seminar talks, two at the Algebra Center of the University of Lisbon [CAUL], one at the Algebra Seminar of the Department of Mathematics of the University of Ljubljana, and one at the Inštitut Jožef Štefan, also in Ljubljana
Scientific Collaborator, Instituto Gulbenkian de Ciência, Lisbon — 2006-2007
During this period, I worked on the project Gripenet, a multidisciplinary project under the supervision of Gabriela Gomes. It aimed at developing an online forecast model for the spread of the flu virus in Portugal, along with international collaborators. The mathematical content of the project focused on dynamical systems and numerical methods.
TEACHING EXPERIENCE.
Assistant, FRI, University of Ljubljana, Ljubljana — 2012-2013
In the second semester of 2011-2012 I was an assistant at the Faculty of Computer Science as an assistant for the first year course, an introduction to probability and statistics, under Aleksander Jurišič.
Pedagogic Collaborator and Erasmus Tutor, FMF, University of Ljubljana, Ljubljana — 2010-2012
Due to my experience with the Erasmus exchange, I have successfully assisted students enrolled in this exchange program at the FMF during the school years 2010-2012, under supervision by Jaka Čimprič and Sergio Cabello.
Teacher, Escola Secundária de Bocage, Setúbal — 2003-2004 and 2006-2007
During two school years I have been teacher of Mathematics on the several levels of high school education, being involved mostly with pedagogical and organizational tasks as well as related european projects.
Professor, Escola Técnica de Comunicação e Imagem, Lisbon — 2004-2005
Right after my graduation I was invited to take the responsibility over the module of Mathematics for the graduation of Multimedia to which I prepared the learning program, notes and exams.
Lecturer, Universidade Lusófona de Humanidades e Tecnologias, Lisbon — 2001-2003
While an undergraduate, the director of the Department of Mathematics, Teresa Almada, invited me to assist her in teaching the Algebra and Topology courses. I participated in the preparation of several lectures and exams and was responsible for all the exercises in those courses, helping students and correcting exams.
SELECTED RESEARCH PAPERS.
[1] J. Pita Costa and P. Škraba. On the Logic of Persistence. Proceedings of the Applied Topology Conference 2013. Journal of Topological Methods in Nonlinear Analysis [in preparation], 2013
[2] P. Škraba and J. Pita Costa. A Lattice for Persistence. arXiv:1307.4192 [to be submitted], 2013.
[3] J. Pita Costa, Karin Cvetko-Vah and M. Kinyon. Modularity for Skew Lattices. Manuscript [in preparation], 2013.
[4] Karin Cvetko-Vah and J. Pita Costa. On the update operation and its applications. Manuscript [in preparation], 2013.
[5] J. Pita Costa and Karin Cvetko-Vah. Flat Coset Decomposition. Algebra Universalis [submitted], 2013.
[6] J. Leech, M. Kinyon and J. Pita Costa. Distributive Skew Lattices. Semigroup Forum. arXiv 1306.5598 [submitted to the Semigroup Forum], 2013.
[7] J. Pita Costa. On the Coset Category of a Skew Lattice. Demonstratio Mathematica [submitted], 2013.
[8] J. Pita Costa. On Ideals of a Skew Lattice. Discussiones Mathematicae, Vol. 32, 2012.
[9] J. Pita Costa. Coset Laws for Categorical Skew Lattices. Algebra Universalis, Vol. 68 (1-2), 2012.
[10] J. Pita Costa. On the Coset Structure of a Skew Lattice. Demonstratio Mathematica Vol. XLIV (4), 2011
[11] Cvetko-Vah.and J. Pita Costa. On the Coset Laws for Skew Lattices. Semigroup Forum Vol. 8 (3), 2011.
[12] K. Cvetko-Vah.and J. Pita Costa. On the Coset Laws for Skew Lattices. Novi Sad Journal of Mathematics Vol. 40, (3), 2010.
CITATIONS.
[1] M. Kinyon and J. Leech, Categorical Skew Lattices. Order. 10.1007/s11083-012-9275-z
DISSERTATIONS.
[1] On the coset structure of skew lattices. Ph. D. dissertation, University of Ljubljana, 2012.
[2] A operação estrela e outras histórias. Masters dissertation, University of Lisbon, 2007.
[3] Algebraic structures and homomorphisms. Graduation diploma, Universidade Lusófona, 2004.
SELECTED CONFERENCE TALKS.
2013.09.18 Order structures for Topological Data Analysis. ECCS 2013, Barcelona, Spain.
2013.07.22 The Persistence Lattice, Applied Topology Conference, Bedlewo, Poland.
2013.07.04 Heyting algebra over the persistence diagram. Summer School on Computational Topology and Topological Data Analysis, Ljubljana, Slovenia.
2013.06.11 The Persistence Lattice, CSASC Joint Mathematical Conference, Koper, Slovenia.
2013.06.08 The Persistence Lattice, Novi Sad Algebra Conference, Novi Sad, Serbia.
2012.06.19 Coset Laws for Skew Lattices. 5th Croatian Mathematical Congress. Rijeka, HR.
2011.07.26 On skew ideals. Groups and Semigroups: Interactions and Computations. Lisbon, PT.
2011.06.24 On ideals for skew lattices. 82th Arbeitstagung Allgemeine Algebra, Potsdam, DE.
2010.05.30 On the coset structure of skew lattices in rings. 6th Linear Algebra Workshop, Kranjska Gora, SI.
2010.06.23 On categorical skew lattices, International Conference on Algebras and Lattices, Prague, CZ.
2010.05.30 On the coset structure of categorical skew lattices. 80th Arbeitstagung Allgemeine Algebra, Bedlewo, PL.
2009.09.07 On skew lattices. Summer School on General Algebra and Ordered Sets, Stara Lesna, SK.
SEMINAR TALKS & WORKSHOPS.
2013.11.13 Locales for topological data analysis. AI Lab, Inštitut Jozef Štefan, Ljubljana, Slovenija.
2013.11.06 On the contributions of lattice theory to the study of persistent homology. Topology and Category Theory Seminar, University of Coimbra, Portugal.
2013.11.01 Locales for topological data analysis. CAUL Algebra Seminar, University of Lisbon, Portugal.
2013.10.24 Order structures for topological data analysis. Seminar of the Society of Mathematicians and Physicists of Rijeka, Rijeka, Croatia.
2013.10.23 Heyting algebra over the persistence diagram. Seminar za Algebro, Fakulteta za Matematika, Ljubljana, SI.
2013.08.15 Heyting algebra over the persistence diagram. FP7 Toposys EU Project Meeting, Israel.
2013.05.28 The Persistence Lattice, Algebra Seminar, Faculty of Mathematics, University of Ljubljana, Slovenia.
2013.05.16 The Persistence Lattice, Artificial Inteligence Seminar, Inštitut Jozef Štefan, Ljubljana, Slovenia.
2012.10.24 Flat coset decomposition of skew lattices. Seminar za Algebro, Fakulteta za Matematika, Ljubljana, SI.
2012.10.23 Contributions to skew lattice Theory. Solomonov Seminar, Inštitut Jozef Štefan, Ljubljana, SI.
2012.10.04-12 Working seminars on noncommutative lattices. CAUL, University of Lisboa, PT.
2012.05.18 On the Coset Structure of Skew Lattices. Ph. D. defense (mentored by Karin Cvetko-Vah), University of Ljubljana. [beamer presentation]
2012.02.03 Coset structure decomposition. Seminário de Reticulados, Álgebra Universal e Lógica Algébrica, CAUL, Lisboa, PT.
2011.10.28 Coset structure decomposition. Seminar za Algebro, Fakulteta za Matematika, Ljubljana, SI.
2011.04.11 A categorical approach to skew lattices. Seminar za osnove matematike in teoretične računalništva, FMF, Ljubljana, SI.
2011.02.21 On skew ideals. Seminar za Algebro, Fakulteta za Matematika, Ljubljana, SI.
2010.12.20 On the coset structure of skew lattices. Seminário de Álgebra, CAUL, University of Lisbon, PT.
2010.10.14 On the coset structure of skew lattices. Seminar za Algebro, Fakulteta za Matematika, Ljubljana, SI.
2010.05.03 On categorical skew lattices. Seminar za Algebro, Fakulteta za Matematika, Ljubljana, SI.
2010.01.08 Skew Boolean algebras. CAUL, University of Lisboa, PT.
2009.12.17 On Skew Lattices. CAUL, University of Lisboa, PT.
2009.12.10 Skew Boolean logic. Logic Seminar, MIMS, University of Manchester, UK.
2009.11.24 On parallelogram laws for skew lattices in rings. Seminar za Algebro, Fakulteta za Matematika, Ljubljana, SI.
2009.04.16 On parallelogram laws for skew lattices. University of Ljubljana, SI.
2008.09.25 A categorical perspective on skew lattices. University of Ljubljana, SI.
2007.12.05 The star operation and other stories. Seminar za Algebro, Fakulteta za Matematika, Ljubljana, SI.
2007.11.15 A operação estrela e outras histórias. Seminário de Álgebra, CAUL, University of Lisbon, PT.
2006.10.22 Algumas operações no reticulado das relações de equivalência. Seminário de Álgebra, CAUL, University of Lisbon, PT.
2006.09.26 Some operations on the lattice of equivalence relations. Solomonov Seminar. Jozef Štefan Inštitute, Ljubljana, SI.
2006.04.19 An introduction to the theory of linear lattices. Seminar za Algebro, Fakulteta za Matematika, Ljubljana, SI.
2006.04.05 Introdução à teoria dos reticulados lineares. Seminário de Álgebra, CAUL, University of Lisbon, PT.
PRIZES & AWARDS.
2002 Universidade Lusófona de Humanidades e Tecnologias, Portugal
2007 Fundação para a Ciência e Tecnologia, Portugal (with the reference SFRH / BD / 36694 / 2007).
2013 FP7 PostDoc under the EU Project Toposys
PROJECTS & ASSOCIATIONS.
2013 Toposys, FP7 EU Project on Computational Topology, Slovenia.
2012 Mathema, Institute for promotion of Mathematics, Slovenia.
2007 Gripenet, Instituto Gulbenkian de Ciencia, Portugal.
2005 ProfMat, National Mathematics Teachers Association, Portugal.
2005 AEGEE, European Students Forum, Slovenia & Portugal.
UNIVERSITY VISITS & EXCHANGES.
2012.10.04-12 Research Center CAUL, University of Lisbon, Portugal.
2009.12.15 - 2010.01.10 Research Center CAUL, University of Lisbon, Portugal.
2009.12.02-15 MIMS, University of Manchester, UK.
2006.04.16-22 Faculty of Mathematics and Physics, University of Ljubljana, Slovenia.
2005.02.12 - 07.30 Faculty of Computer Science, University of Ljubljana, Slovenia.
MEMBERSHIPS.
Reviewer for the American Mathematics Society [AMS].
Member of the Complex Systems Society [CSS].
Member of the Slovenian Artificial Intelligence Society [SLAIS].
Member of the Portuguese Mathematics Society [SPM].
Member of the Slovenian Society of Mathematicians, Physicists and Astronomers [dMFA].
LANGUAGES.
English — excellent reading, writing and understanding.
French — good reading and understanding, basic writing.
Portuguese — native speaker.
Slovene — good reading, writing and understanding.
Spanish — excellent reading, writing and understanding.
SOCIAL SKILLS AND COMPETENCES.
Social Skills and competences
Team Spirit
Good communication capacity
Adaptation to multicultural environments
In my present position as a researcher at the IJS, I work in an international team of mathematicians and computer scientists. Since 2005, including my Master’s and Ph.D. studies, as well as today, I have given numerous presentations in international conferences, workshops and scientific meetings in my field of work. Currently, I help advise the work of several students and interact with a number of international collaborators. During my study of the Education of Mathematics, as well as my experience in schools and universities, I learned the necessary background required for a professional approach. My docent tasks - in high school and university academic association, as well as in the students' Pedagogic Council of the Mathematics department of ULHT (representative's biannual position) – contributed to understanding the importance of a strong team spirit. Also, as a teacher I developed a competence in leading groups of 30 students and involving them in specific projects lab projects for experimental mathematics.
ORGANIZATIONAL SKILLS AND COMPETENCES.
Leadership capacity
Project and team administration skills
Ability to analyze and design organizational structures and processes
During my active participation in projects at Institute Jozef Štefan, Institute of Science Gulbenkian, as well as at the Universities of Lisbon and Ljubljana, I have developed good leadership skills, leading my own research in collaboration with scientists at national and international level. I have worked with the students of P. Škraba, assisting in the mentoring of their studies in topology and algebra, since the starting of my position at the IJS. From 2004 to 2008, I was an active member of the largest European student association, AEGEE, becoming coordinator of Lisbon branch in 2005. I have also been involved in other projects at European level, including the Socrates/Erasmus Project in Slovenia, and the Socrates/Comenius project, as well as a teacher trainee in the high school of Bocage, Setúbal, in 2004. I was also an active participant during the preparation and implementation events relating to these activities.
TECHNICAL SKILLS AND COMPETENCES.
Technical Skills and competences
Mathematic computing
Programming languages
Machine learning and data mining
Dynamic geometry and educational software
Certified by the European mathematical computer driving license, I am experienced in mathematical computing tools as Mathlab, Maple, Octave, Mace4 and Mathematica. I have knowledge and experience with the programming languages C++, Python, SQL (Manager of Bases of Data), HTML, Fortran; acquired at my second graduation of Computer Science and Mathematics as well as at my current position at the Institute Jozef Štefan. In thee positions as well as with my work with Blaž Zupan during my Erasmus exchange in Ljubljana (working with the software Orange), I developed competences in algorithms for data mining and machine learning. As a component of my gradation in education of mathematics as well as during the years I was lecturing at the undergraduate level, I developed competences in dynamic geometry software (GSP 4.0, Cabri Geométer, etc.) and mathematical modeling software (Modellus 2.5, etc.). Domain of several e-learning platforms (Moodle, Joomla, Google Tools, etc.) acquired at educational institutions in practice.
LEISURE ACTIVITIES.
Sailing, voluntiranje, reading, cooking.
REFERENCES.
Primož Škraba, Institute Jozef Šetfan, Ljubljana.
Mikael Vejdemo-Johansson, KTH, Stocholm.
Andrej Bauer, Faculty of Computer Science, University of Ljubljana, Ljubljana.
Blaž Zupan, Faculty of Computer Science, University of Ljubljana, Ljubljana.
Gabriela Gomes, Instituto Gulbenkian de Ciência, Lisbon.
Karin Cvetko-Vah, Faculty of Mathematics, University of Ljubljana, Ljubljana.
Luís Sequeira, Faculty of Science, University of Lisbon.
Matjaž Omladič, Faculty of Mathematics, University of Ljubljana, Ljubljana.
Margarita Ramalho, Faculty of Science, University of Lisbon.
Maria João Gouveia, Faculty of Science, University of Lisbon.
Teresa Almada, Lusófona University, Lisbon.