Benedikt Ahrens

• Contact
• About me
• Publications & Code
• Talks
• GEOCAL - LAC 2010
• Formation LaTeX ADSFA 2011
• Colloque doctorants 2009
• Teaching/Enseignement
  • L1MASS Théorie des Jeux
  • Maths L2 Eco-Gestion
  • Algebre 2011
  • Maths pour Bio 1 (2009/10)
  • Algebre L1 (2009/10)
  • MP2 Algebre (2008/09)
  • Maths pour Bio 2 (2008/09)
• Useful information
  • Interactive map of Nice
  • Map of Campus Valrose

Contact

Email:

my_last_name AT unice DOT fr

Phone: +33 (0)4 92 07 62 76

Fax: +33 (0)4 93 51 79 74

Location: Office/Bureau 722 (3rd floor/3ieme etage), Laboratoire J. A. Dieudonné

• plan du campus Valrose (flash): Batiment "Recherche Mathematique"
• plan du campus Valrose statique (jpg): Batiment "W"

A somewhat outdated personal webpage is my googlepages webpage.

---

About me

I started my PhD thesis under the supervision of Andre Hirschowitz in autumn 2008. The topic is Initiality for Typed Syntax and Semantics.

My research interests include:

• Semantics of programming languages
• Logic and type theory
• Formal proofs and formalised mathematics
• Functional programming
• Category theory in programming

---

Useful information

Interactive map of Nice

Nice

Map of Campus Valrose

Campus Valrose interactive

Campus Valrose static

My office is in the building "Recherche Mathematique", called "W".

---