Benedikt Ahrens

This website is no longer maintained nor updated. Its main purpose is to point you to my new website.

Below you can find my website in the state of summer 2012, when my stay in Nice came to an end.

---

• 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
• Photos

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 am currently PhD student and teaching assistant at Université Nice Sophia Antipolis.

My PhD thesis

I did my PhD thesis under the supervision of Andre Hirschowitz, from autumn 2008 until spring 2012. The title of my thesis is Initiality for Typed Syntax and Semantics. I defended my thesis on May 23, 2012.

• PhD thesis manuscript
• Presentation Slides

Research interests

• 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".

---