-
Notifications
You must be signed in to change notification settings - Fork 0
/
index.html
1 lines (1 loc) · 4.5 KB
/
index.html
1
<!DOCTYPE html><html><head><meta charset="UTF-8"><title>Florent Kirchner</title><link rel="license" href="http://creativecommons.org/licenses/by-sa/3.0/"><link rel="stylesheet" href="/main.css"><link rel="stylesheet" href="https://api.mapbox.com/mapbox-gl-js/v2.12.0/mapbox-gl.css"><link rel="preload" href="https://api.mapbox.com/mapbox-gl-js/v2.12.0/mapbox-gl.js" as="script"><script defer src="https://use.fontawesome.com/releases/v6.3.0/js/all.js"></script></head><body><div class="header"><div class="title"><h1>Florent Kirchner</h1><h3>Head of the French National Cybersecurity Strategy <span class="sym">x </span>EO <span class="sym">x </span>Senior Scientist</h3><h3>Secretary general for investment</h3><h3>France</h3></div><nav><ul><li><a href="https://mastodon.cloud/@ftk" rel="me"><i class="fab fa-mastodon fa-fw"></i></a></li><li><a href="https://github.com/fkirchner"><i class="fab fa-github fa-fw"></i></a></li><li><a href="http://stackoverflow.com/users/303793/ftk"><i class="fab fa-stack-overflow fa-fw"></i></a></li><li><a href="http://dblp.uni-trier.de/pers/hd/k/Kirchner:Florent.html"><i class="far fa-note-sticky fa-fw"></i></a></li><li><a href="https://www.linkedin.com/in/fkirchner"><i class="fab fa-linkedin fa-fw"></i></a></li></ul></nav></div><div class="map"><h2>Contact</h2><script src="https://api.tiles.mapbox.com/mapbox-gl-js/v0.28.0/mapbox-gl.js"></script><iframe allowfullscreen="true" mozallowfullscreen="true" webkitallowfullscreen="true" src="./map.html"></iframe><div class="contact"><div class="type"><p>Mail</p><p>Phone</p><p>Address</p><br/><br/><p>Visiting</p></div><div class="field"><p>[email protected]</p><p>+33 (0) 142 758 132</p><p><address>Secrétariat général pour l'investissement<br/>Hôtel de Cassini<br/>32, rue de Babylone<br/>75007 Paris, France<br/><br/>M10, M12: Sèvres-Babylone<br/>M13: Saint-François-Xavier<br/><a href="https://www.ratp.fr/en/itineraires"><i class="fas fa-subway fa-xs"></i></a></address></p></div></div></div><!-- .tools--><!-- h2 Tools--><!-- p Teams at the Software Safety and Security Laboratory develop tools and methods that assist and automate software verification tasks. We deploy them in industries where high-confidence implementations matter – from small personal devices to large digital infrastructures.--><!-- .firsttool--><!-- .banner--><!-- a(href="http://binsec.github.io")--><!-- img(class="banner" src="assets/img/binsec.png")--><!-- .desc--><!-- | Binary code analysis platform--><!-- .tool--><!-- .banner--><!-- a(href="http://www.frama-c.com")--><!-- img(class="banner" src="assets/img/frama-c.png")--><!-- .desc--><!-- | Source code analysis platform--><!-- .firsttool--><!-- .banner--><!-- img(class="banner" src="assets/img/gatel.png")--><!-- .desc--><!-- | Synchronous models analysis tool--><!-- .tool--><!-- .banner--><!-- a(href="http://unisim-vp.org")--><!-- img(class="banner" src="assets/img/unisim.png")--><!-- .desc--><!-- | Hardware virtualization framework--><!-- .writing--><!-- h2 Writing--><!-- .twitter--><!-- p Tweets--><!-- <a class="twitter-timeline" data-link-color="#3b94d9" data-tweet-limit="5" data-dnt="true" data-chrome="transparent noheader nofooter noborders" href="https://twitter.com/__ftk?ref_src=twsrc%5Etfw">Tweets by __ftk</a> <script async src="https://platform.twitter.com/widgets.js" charset="utf-8"></script> --><!-- // a(class="twitter-timeline"--><!-- // href="https://twitter.com/__ftk?ref_src=twsrc%5Etfw"--><!-- // data-tweet-limit="5"--><!-- // data-dnt="true"--><!-- // data-link-color="#3b94d9"--><!-- // data-chrome="transparent noheader nofooter noborders"--><!-- // ) https://twitter.com/__ftk--><!-- // script(async, src="https://platform.twitter.com/widgets.js", charset="utf-8")--><!-- .bib--><!-- p Publications--><!-- span(class="attribution") scripted by --><!-- a(href="https://bibbase.org") BibBase--><!-- script(src="https://bibbase.org/dblp/Kirchner:Florent?jsonp=1&theme=simple")--><!-- // todo: custom file--><!-- // http://bibbase.org/show?bib=/fk.bib&jsonp=1&theme=simple--><div class="footer"><div class="icon"><span class="far fa-copyright"></span></div><h4>2017-2023 – ftk</h4><nav><ul><li><i class="fab fa-html5 fa-fw fa-lg"></i></li><li><i class="fab fa-css3 fa-fw fa-lg"></i></li><li><i class="fab fa-sass fa-fw fa-lg"></i></li><li><i class="fab fa-node-js fa-fw fa-lg"></i></li></ul></nav></div></body></html>