Help
RSS
API
Feed
Maltego
Contact
Domain > madiot.fr
×
Welcome!
Right click nodes and scroll the mouse to navigate the graph.
×
More information on this domain is in
AlienVault OTX
Is this malicious?
Yes
No
DNS Resolutions
Date
IP Address
2025-01-19
5.196.65.212
(
ClassC
)
Port 80
HTTP/1.1 301 Moved PermanentlyDate: Sun, 02 Jun 2024 11:07:14 GMTServer: Apache/2.4.56 (Debian)Location: https://madiot.fr/Content-Length: 301Content-Type: text/html; charsetiso-8859-1 !DOCTYPE HTML PUBLIC -//IETF//DTD HTML 2.0//EN>html>head>title>301 Moved Permanently/title>/head>body>h1>Moved Permanently/h1>p>The document has moved a hrefhttps://madiot.fr/>here/a>./p>hr>address>Apache/2.4.56 (Debian) Server at madiot.fr Port 80/address>/body>/html>
Port 443
HTTP/1.1 200 OKDate: Sun, 02 Jun 2024 11:07:15 GMTServer: Apache/2.4.56 (Debian)Last-Modified: Thu, 21 Mar 2024 09:23:14 GMTETag: 47cb-6142841b9375dAccept-Ranges: bytesContent-Length: 18379Vary: Accep ?xml version1.0 encodingUTF-8?>!DOCTYPE html PUBLIC -//W3C//DTD XHTML 1.0 Strict//EN http://www.w3.org/TR/xhtml1/DTD/xhtml1-strict.dtd>html xmlnshttp://www.w3.org/1999/xhtml> head> meta http-equivContent-Type contenttext/html; charsetUTF-8 /> meta namedescription contentResearcher in concurrency theory and formal verification at Inria Paris. See my list of publications, PhD dissertation, teaching pages, and some theorems. /> title>Jean-Marie Madiot/title> link relstylesheet hrefdefault.css typetext/css mediascreen,print /> !-- link relstylesheet hrefmobile.css typetext/css mediaall /> --> link hrefmono.css relstylesheet typetext/css /> script typetext/javascript> var _gaq _gaq || ; _gaq.push(_setAccount, UA-17038604-1); _gaq.push(_trackPageview); (function() { var ga document.createElement(script); ga.type text/javascript; ga.async true; ga.src (https: document.location.protocol ? https://ssl : http://www) + .google-analytics.com/ga.js; var s document.getElementsByTagName(script)0; s.parentNode.insertBefore(ga, s); })(); /script> /head> body> h1>Jean-Marie Madiot/h1> div classmiddle> p> I am a researcher at INRIA Paris, in the a hrefhttp://gallium.inria.fr/>Gallium team/a> -- now the a hrefhttp://cambium.inria.fr/>Cambium team/a>. /p> p> Before that, between August 2015 and December 2016, I was a postdoc in Princeton University; I worked with a hrefhttps://www.cs.princeton.edu/~appel/>Andrew Appel/a> in the a hrefhttp://vst.cs.princeton.edu/>Verified Software Toolchain project/a>, focusing on verified reasoning on concurrent C programs. /p> p> Between March and August 2015, I was an invited researcher in Microsoft Research Cambridge, UK, working with a hrefhttp://research.microsoft.com/en-us/um/people/nick/>Nick Benton/a> on program logics. /p> p> I defended my a hrefhttps://madiot.fr/phd/>PhD/a>
View on OTX
|
View on ThreatMiner
Please enable JavaScript to view the
comments powered by Disqus.
Data with thanks to
AlienVault OTX
,
VirusTotal
,
Malwr
and
others
. [
Sitemap
]