Guillaume Geoffroy - Page professionnelle

<!DOCTYPE html> <html lang="fr"> <head> <meta charset="utf-8"> <meta name="viewport" content="user-scalable = no, width=device-width, initial-scale=1"> <title>Guillaume Geoffroy - Page professionnelle</title>  <meta property="og:title" content="Guillaume Geoffroy - Page professionnelle" /> <meta property="og:type" content="website" /> <meta property="og:url" content="https://geoffroy.re" /> <meta property="og:site_name" content="Guillaume Geoffroy - Page professionnelle" /> <meta property="og:description" content="Page professionnelle de Guillaume Geoffroy. Mathématiques, informatique théorique, logique, théorie de la démonstration et comédies musicales mathématiques !" />  <meta name="description" content="Page professionnelle de Guillaume Geoffroy. Mathématiques, informatique théorique, logique, théorie de la démonstration et comédies musicales mathématiques !">  <link rel="shortcut icon" type="image/x-icon" href="/images/favicon.png" sizes="128x128"/> <link rel="stylesheet" href="https://stackpath.bootstrapcdn.com/bootstrap/4.1.3/css/bootstrap.min.css" integrity="sha384-MCw98/SFnGE8fJT3GXwEOngsV7Zt27NXFoaoApmYm81iuXoPkFOJwJ8ERdknLPMO" crossorigin="anonymous"> <link rel="stylesheet" href="https://use.fontawesome.com/releases/v5.5.0/css/all.css" integrity="sha384-B4dIYHKNBt8Bc12p+WXckhzcICo0wtJAoU8YZTY5qE0Id1GSseTk6S+L3BlXeVIU" crossorigin="anonymous"> <script src="https://code.jquery.com/jquery-3.3.1.slim.min.js" integrity="sha384-q8i/X+965DzO0rT7abK41JStQIAqVgRVzpbzo5smXKp4YfRvH+8abtTE1Pi6jizo" crossorigin="anonymous"></script> <script src="https://cdnjs.cloudflare.com/ajax/libs/popper.js/1.14.3/umd/popper.min.js" integrity="sha384-ZMP7rVo3mIykV+2+9J3UJ46jBk0WLaUAdn689aCwoqbBJiSnjAK/l8WvCWPIPm49" crossorigin="anonymous"></script> <script src="https://stackpath.bootstrapcdn.com/bootstrap/4.1.3/js/bootstrap.min.js" integrity="sha384-ChfqqxuZUCnJSK3+MXmPNIyE6ZbWh2IMqE241rYiqJxyMiZ6OW/JmZQ5stwEULTy" crossorigin="anonymous"></script> <script type="text/x-mathjax-config"> MathJax.Hub.Config({messageStyle: 'none',tex2jax: {preview: 'none'}}); </script> <script async src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.5/latest.js?config=TeX-AMS_CHTML"></script> <link href='https://fonts.googleapis.com/css?family=Open+Sans:300,400,700' rel='stylesheet' type='text/css'> <link href='https://fonts.googleapis.com/css?family=Roboto:100,200,300,400,700' rel='stylesheet' type='text/css'> <script> function setCookie(cname, cvalue, exdays) { var d = new Date(); d.setTime(d.getTime() + (exdays * 24 * 60 * 60 * 1000)); var expires = "expires="+d.toUTCString(); document.cookie = cname + "=" + cvalue + ";" + expires + ";path=/"; } function getCookie(cname) { var name = cname + "="; var ca = document.cookie.split(';'); for(var i = 0; i < ca.length; i++) { var c = ca[i]; while (c.charAt(0) == ' ') { c = c.substring(1); } if (c.indexOf(name) == 0) { return c.substring(name.length, c.length); } } return ""; } function cvify() { $(document).ready(function() { $("p").each(function() { var date; var text; var s = $(this).get(0).innerHTML.split("::"); if (s.length == 2) { date = s[0]; text = s[1]; } else { date = ""; text = s[0]; } $(this).replaceWith("<div class='date-text'><p class='date-column'>" + date + "</p><p>" + text + "</p>"); }); });} function addpdflink(text, url) { $(document).ready(function() { if ($("h1").length > 0) { h = $("h1").first(); h.replaceWith('<table style="width: 100%; margin: -1rem 0 0 0;"><tr><td style="text-align: left; width: auto; min-width: 14rem;"><h1>' + h.html() + '</h1></td><td style="text-align: right; vertical-align: middle;"><a href="' + url + '" download>' + text + '</a></td></tr></table>'); } else { $(".body").prepend('<p style="text-align: right;"><a href="' + url + '" download>' + text + '</a></p>'); } }); } ;(function($) { if (typeof $.fn.tooltip.Constructor === 'undefined') { throw new Error('Bootstrap Tooltip must be included first!'); } var Tooltip = $.fn.tooltip.Constructor; // add customClass and onLoad options to Bootstrap Tooltip $.extend( Tooltip.Default, { customClass: '', onLoad: '' }); var _show = Tooltip.prototype.show; Tooltip.prototype.show = function () { // invoke parent method _show.apply(this,Array.prototype.slice.apply(arguments)); var tip = this.getTipElement(); if ( this.config.customClass ) { $(tip).addClass(this.config.customClass); } if ( this.config.onLoad ) { this.config.onLoad(tip); } }; })(window.jQuery); // Dark mode if (getCookie("darkmode") == "on" || (getCookie("darkmode") == "" && window.matchMedia && window.matchMedia('(prefers-color-scheme: dark)').matches)) { document.addEventListener('DOMContentLoaded', function() { // Needs to run even before $(document).ready() document.body.classList.add("darkmode"); }); } $(document).ready(function () { $('.dark-mode-button').click(function() { $('body').addClass('darkmode'); setCookie("darkmode","on", 30); }); $('.light-mode-button').click(function() { $('body').removeClass('darkmode'); setCookie("darkmode", "off", 30); }); }); </script> <script> </script> <link rel="stylesheet" type="text/css" href="/css/style.css"> </head> <body> <header>  <div class="top-banner" > <nav class="navbar navbar-light navbar-expand-sm justify-content-end"> <a class="navbar-brand" href="/fr/" title="/ɡijom ʒofʁwa/"><div class="banner-icon"></div>Guillaume Geoffroy</a> <button class="navbar-toggler ml-auto" type="button" data-toggle="collapse" data-target="#navbarSupportedContent"> <span class="navbar-toggler-icon"></span> </button> <div class="collapse navbar-collapse flex-grow-0 ml-auto" id="navbarSupportedContent"> <div class="navbar-nav text-right"> <a class="nav-item" href="/fr/research/">Recherche</a> <a class="nav-item" href="/fr/cv/">CV</a> </div> </div> </nav> </div> </header> <div class="body"> <div class="content"> <p>Je suis maître de conférences à l’<a href="https://www.irif.fr/">Institut de Recherche en Informatique Fondamentale</a> de l’<a href="https://u-paris.fr/">Université Paris Cité</a>. Ma recherche se situe à l’interface entre les mathématiques, l’informatique théorique et la logique, notamment dans des domaines tels que la réalisabilité classique et la sémantique dénotationnelle des programmes (en particulier des programmes probabilistes).</p> <p>Je suis également cofondateur de <a href="https://www.piday.fr">l’association Pi Day</a>, consacrée à la diffusion et à la promotion des mathématiques. Nous produisons notamment des <a href="http://www.piday.fr/extraits-video-2017/">comédies musicales mathématiques</a><span style="white-space:nowrap"> </span>!</p> <p>Ce site est <a href="https://www.lego.com/" target="_blank">en construction</a>.</p> </div> </div> <div class="footer"> <div class="content container"> <a href="/fr/" onclick="setCookie('language','fr',30);"><img class="flag" src="/lib/flags/4x3/fr.svg" alt="FR"></a> <a href="/en/" onclick="setCookie('language','en',30);"><img class="flag" src="/lib/flags/4x3/gb.svg" alt="EN"></a> <i class="fa fa-moon xs-up dark-mode-button" aria-hidden="true"></i> <i class="fa fa-sun xs-up light-mode-button" aria-hidden="true"></i> <span class="float-right"> <i id="footer-envelope" class="fa fa-envelope xs-up" aria-hidden="true"></i> <span class="alenvers">ri@yorffoeg.emualliug</span>if.fr </span> </div> </div> </body> </html>

CINXE.COM

Guillaume Geoffroy - Page professionnelle