Armin Rigo
Curriculum Vitae
|
Date: |
5 nov 2004 |
| Name: | Armin Rigo |
| Birthdate: | September 26th, 1976 |
| Nationality: | Swiss |
Studies at the University of Lausanne (Switzerland) in Mathematics. Assistant in Topology for the year 1998-1999.
Grades
Licence en Mathématiques (June 1998)
Diplôme de Mathématicien (August 1999) (with mention computer science)
Preparation of a Ph.D. at the Free University of Bruxelles (ULB, Belgium) in Mathematical Logic, under the direction of Professor Roland Hinnion. Main subjects: large cardinals in set theory; non-classical multivalued logics; model theory in non-classical logics; topological questions.
Grades
D.E.A. Interuniversitaire (June 2000) (diploma in advanced studies)
Doctorat ès Sciences (September 2002): Uniformly Continuous Model Theory
Presentations
At the Séminaire interuniversitaire de logique mathématique:
Théorie des jeux et coloriage de graphes. November 25th, 1999
Equilibre de formules dans les complétions de Cauchy des structures de 1er ordre munies d'une uniformité. March 30th, 2000
Théorie descriptive des ensembles constructibles. June 15th, 2000
Catégories et Topos, d'après Lawvere. October 12th, 2000
Catégories et Topos, suite. November 30th, 2000
Catégories et Topos, suite. December 14th, 2000
Arbres compacts. February 15th, 2001
Théories ensemblistes. October 10th, 2002
At the LC2000 conference (Logic Colloquium, Paris, July 2000): Complétions de Cauchy de structures uniformes du premier ordre (communication)
At the LC2001 conference (Logic Colloquium, Vienna, August 2001): Compact trees and the tree-property (communication)
At joint workshops with the University of Ghent (RUG) and the flamish Free University of Brussels (VUB) on ontology and philosophical logic: two contributions.
Papers in Mathematical Logic
Formula balancing and continuously valuated models, Bull. Belg. Math. Soc. Simon Stevin 11 (2004), no. 1, 111--125; CNO 2059180
``Fuzzying'' classical models to build LP theories, to appear
Continuously valuated models for paraconsistent and paracomplete theories, submitted
Compact trees and the tree-property, submitted
Research Fellow at the University of Southampton (UK) in Computer Science, DSSE group (Declarative Systems and Software Engineering).
Work on the project ASAP (Advanced Specialization and Analysis for Pervasive Computing), EU IST FET PRogramme Project Number IST-2001-38059. Main subjects: Prolog-based program analysis and transformations; virtual machines; declarative and equational languages.
Independant research
2001-2003: Psyco, a just-in-time specializer for the Python programming language
from 2001 onwards: regular contributions to CPython, the reference Python interpreter
from 2003 onwards: lead of PyPy, an implementation of Python in Python
Presentations at conferences
EuroPython, Louvain-La-Neuve (Belgium) June 26-28th, 2002: Psyco, the Python Specializing Compiler
OSCON O'Reilly Open Source Convention, San Diego (CA, US) July 22-26th, 2002: Psyco, the Python Specializing Compiler
EuroPython, Louvain-La-Neuve (Belgium) June 25-27th, 2003: PyPy, writing Python in Python
PyCON Python Conference, Washington (DC, US) March 24-26th, 2004: PyPy - implementing Python in Python (together with Jacob Hallén)
Python UK Conference (joined conference with ACCU 2004), Oxford (UK) April 16-17th, 2004: Psyco with a higher-level view
Python UK Conference (joined conference with ACCU 2004), Oxford (UK) April 16-17th, 2004: PyPy - a Status Report
EuroPython, Göteborg (Sweden) June 7-9th, 2004: PyPy, the Python interpreter in Python
EuroPython, Göteborg (Sweden) June 7-9th, 2004: Psyco with a higher-level view
ACM SIGPLAN Symposium on Partial Evaluation and Program Manipulation (PEPM'04), Verona (Italy) August 24th-25th, 2004: Representation-based Just-in-time Specialization and the Psyco prototype for Python. (Followed by the International Symposium on Logic-based Program Synthesis and Transformation (LOPSTR), August 26th-28th)
Seminars and workshops
Logic and Semantics Seminar, Cambridge (UK) December 5th, 2003: Could the most simple semantic models be the most useful ones? (presentation)
Invitational Workshop on the Future of Virtual Execution Environments, IBM Research, Armonk (NY, US) September 15-17th, 2004: The PyPy approach to virtual machines (all participants by invitation only)
Meetings
ASAP project meetings:
Roskilde (Danemark) April 2003 Madrid (Spain) July 2003 Southampton (UK) April 2004
``sprints'' (software development meetings):
Hildesheim (Germany) February 2003 Göteborg (Sweden) May 2003 Louvain-La-Neuve (Belgium) June 2003 Berlin (Germany) October 2003 Amsterdam (Netherlands) December 2003 Berlin (Germany) March 2004 Washington (DC, US) March 2004 Göteborg (Sweden) June 2004 Vilnius (Lithuany) November 2004
Papers in Computer Science
Representation-based Just-in-time Specialization and the Psyco prototype for Python, in Proceedings of the 2004 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation (2004), Verona, Italy, 15--26.