Tom Hirschowitz

CNRS researcher (CR1), LIMD team of LAMA, the math lab of University of Savoy.


PapersTalks Students Community Projects Teaching Software PhD Titres et travaux Contact Color

Papers

See them here, or on HAL, or on DBLP (less complete) .

Talks

Students

Community

  • Here is the cats.info group, a forum on category theory, mainly for computer scientists using categories in their research. As specified in the description, one should not be afraid to ask easy questions.
  • I often attend the Chocola and LIMD seminars.

Projects

Teaching

  • In 2012-2013 and 2013-2014, an M1 course in Chambéry on Logic and Lambda-calculus.
  • In 2012-2013, Python again.
  • In 2012, Pierre Hyvernat, Christophe Raffalli, Thomas Seiller, and I teach Python (!) to L1 students in Chambéry.
  • In 2008-2009, Dominique Duval, Pierre Hyvernat, and I taught a doctoral course in common on categorical languages and concepts for logic and computer science.
  • In 2007-2008, Philippe Audebaud and I taught an M2 course in common on proof theory.
  • In 2006-2007, I taught an M2 course on categories in computer science and logic.

Titres et travaux

(in french, 2009 report on my past activities and future projects).

Contact

Address:
LAMA, Campus Scientifique

73376 Le Bourget-du-Lac Cedex

France
Tel:
+33 4 79 75 94 36
Fax:
+33 4 79 75 81 42
E-mail:
Tom.Hirschowitz@univ-savoie.fr
3/2/14: Cette page change de couleurs en réaction à des rumeurs inquiétantes faisant état d'une diminution regrettable de la quantité d'orange et de violet dans la recherche française en informatique fondamentale.