CINXE.COM
<!DOCTYPE html> <html> <head> <meta charset="utf-8"> <meta name="viewport" content="width=device-width, initial-scale=1"> <link href="https://unpkg.com/@csstools/normalize.css" rel="stylesheet"> <link href="./style.css" rel="stylesheet"> </head> <body> <header> <h1> A. Guatto's professional homepage </h1> <nav id="sitenav"> <ul> <li> <a href="./index.html">About</a> </li> <li> <a href="./publications">Publications</a> </li> <li> <a href="./teaching">Teaching</a> </li> <li> <a href="./software">Software</a> </li> <li> <a href="./misc">Miscellaneous</a> </li> <li> <a href="./perso">Personal</a> </li> </ul> </nav> </header> <main class="container"> <h2> About </h2> <h3> Presentation </h3> <p> I am a <em>ma卯tre de conf茅rence</em> (~ associate professor) in the <a href="http://www.informatique.univ-paris-diderot.fr">Computer Science department</a> of Universit茅 Paris Cit茅. I conduct my research in the <a href="https://irif.org"><em>Institut de Recherche en Informatique Fondamentale</em></a>. </p> <p> My scientific interests are in programming languages by and large, from foundations to practical implementation issues. I am also interested in the areas of mathematical logic that enjoy a strong connection with functional programming. </p> <h3> Contact </h3> <address> <a href="mailto:lastname@irif.fr">lastname@irif.fr</a><br> <a href="https://www.openstreetmap.org/#map=19/48.82701/2.38105">office 3019, Sophie Germain building, 8 place Aur茅lie Nemours, Paris<br> </a><a href="tel:(+33)157279338">(+33)157279338</a> </address> </main> </body> </html>