Michael Weiss

:user:test3.jpg

Contact Information

Addresse Università degli Studi di Milano
Bicocca Dipartimento di Informatica, Sistemistica e Comunicazione
336, Viale Sarca
20126 Milano
Italy
Phone (+41) 22.379.00.46
Fax (+41) 22.379.00.79
Mail michael.weiss@cui.unige.ch

Je travaille actuellement ici:

Curriculum Vitae

  • 1999-2003: Master de mathématiques à l’Université de Genève
  • 2003: Travail de master en Informatique Théorique sous la direction du prof. José Rolim
    • Sujet: Étude des classes de complexité APP et APPAPP.
  • 2003-2008: Thèse de doctorat à l’Université de Genève sous la direction du prof. José Rolim (Université de Genève) et du docteur Grégory Lafitte (Université de Provence).
    • Titre de la thèse: Calculabilité des pavages
  • 2008-2009 : Bourse du fond national Suisse pour un Post-doc à l’Université de la biccoca de Milan dans le groupe FISLAB dirigé par le prof. Gianpiero Cattaneo.

Publications

Revues internationales

  • Lafitte (G.) et Weiss (M.). « Tilings : simulation and universality », version journal en préparation.
  • Lafitte (G.) et Weiss (M.). « Computability of tilings », version journal en préparation.

Conférences internationales avec comité de lecture

  • Lafitte (G.) et Weiss (M.), « Universal tilings », dans Proceeding of the Symposium on Theoretical Aspects of Computer Science (STACS 2007), vol. 4393 (coll. Lecture Notes in computer Science), p. 367–380. Springer, 2007.
    Le pdf: STACS'07.
  • Lafitte (G.) et Weiss (M.), « A topological study of tilings », dans Proceeding of the conference Theory and Application of Models of Computation (TAMC 2008), vol. 4978 (coll. Lecture Notes in Computer Science), p. 375–387. Springer, 2008.
    Le pdf: TAMC'08.
  • Lafitte (G.) et Weiss (M.), « Simulation between tilings », dans 4th Conference on Computubaility in Europe (CiE 2008), local proceeding. University of Athens, éd : Arnold Beckmann, Costas Dimitracopoulos, Benedikt Löwe, 2008.
    Le pdf: CIE'08.
  • Lafitte (G.) et Weiss (M.), « Computability of tilings », in International Federation for Information Processing, Fifth IFIP International Conference on Theoretical Computer Science (IFIP-TCS 2008), vol. 273, p. 187–201, 2008.
    Le pdf: IFIP-TCS'08
  • Lafitte (G.) et Weiss (M.), « An almost totally universal tile set », à paraître dans proceeding of the conference Theory and Application of Models of Computation (TAMC 2009), 2009.
    Une version préliminaire: TAMC'09
  • Lafitte (G.) et Weiss (M.), « Constructing new aperiodic self-simulating tile sets », à paraître dans proceeding of the conference Computability in Europe (CIE 2009), 2009.
    Une version préliminaire: CIE'09

Présentations, Workshop, Séminaires

  • Présentation STACS’07, mars 2007, pdf.
  • Présentation TAMC’08, avril 2008, pdf.
  • Présentation CIE’08, juin 2008, pdf.
  • Présentation IFIP-TCS’08, septembre 2008, pdf.
  • Soutenance de thèse, septembre 2008,
  • Présentation au LAMA de Chambéry, octobre 2008,
  • Présentation à l’équipe M3C de Nice, novembre 2008, pdf.
  • Présentation à l’équipe M3C de Nice, février 2009, pdf
  • Présentation à la rencontre FRAC d’hiver, Marne-la-vallée, mars 2009 pdf.

Thèse de doctorat

J’ai soutenu ma thèse le 19 septembre 2008 à l’Université de Genève. Un exemplaire de cette thèse en pdf peut-être trouvée ici: these2008.pdf. Un résumé peut être trouvé ici: résumé de la thèse.

Cette thèse a été soutenue devant le jury suivant:

  • Prof. Gilles Falquet, Université de Genève, Suisse,
  • Prof. Jarkko Kari, Université de Turku, Finlande,
  • Dr. Grégory Lafitte, Université d’Aix-Marseille, France, co-directeur de thèse,
  • Prof. Jacques Mazoyer, École normale supérieure de Lyon, France,
  • Prof. José Rolim, Université de Genève, Suisse, directeur de thèse.

Enseignements

  • 2001-2002: Professeur remplaçant de mathématiques dans les collèges et Lycées de Genève: 50h.
  • 2003-2008: Séries d’exercices du cours Langages formels

Cours semestriel de première année d’informatique portant sur les automates à état finis, les automates à piles et les machines de Turing: 2h par semaine, 14 semaines par année.
Total : 140h de séries d’exercices
Examens : 2 contrôles continus et 2 examens par années. Rédaction et correction de 20 examens.
Cours : remplacement du professeur 2h par semestre : 10h de cours ex-cathedra


  • 2003-2008: Séries d’exercices du cours Complexité et Calculabilité

Cours semestriel de deuxième année d’informatique portant sur les machines de Turing, la calculabilité et la complexité. 2h par semaine, 14 semaines par année.
Total : 140h de séries d’exercices.
Examens : 2 contrôles continus et 2 examens par années.
Rédaction et correction de 20 examens.
Cours : remplacement du professeur 2h par semestre : 10h de cours ex-cathedra


  • 2007-2008: Direction du bachelor de Eugenio Noto :

« Classes de complexités probabilistes »