Help
RSS
API
Feed
Maltego
Contact
Domain > desharnais.me
×
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
2024-06-02
2.202.166.224
(
ClassC
)
2024-09-22
92.74.176.48
(
ClassC
)
2024-11-15
92.212.12.126
(
ClassC
)
Port 80
HTTP/1.0 302 FoundDate: Sun, 05 May 2024 19:27:20 GMTServer: OpenBSD httpdConnection: closeContent-Type: text/htmlContent-Length: 486Location: https://desharnais.me/ !DOCTYPE html>html>head>meta charsetutf-8>title>302 Found/title>style typetext/css>!--body { background-color: white; color: black; font-family: Comic Sans MS, Chalkboard SE, Comic Neue, sans-serif; }hr { border: 0; border-bottom: 1px dashed; }@media (prefers-color-scheme: dark) {body { background-color: #1E1F21; color: #EEEFF1; }a { color: #BAD7FF; }}-->/style>/head>body>h1>302 Found/h1>hr>address>OpenBSD httpd/address>/body>/html>
Port 443
HTTP/1.1 200 OKConnection: keep-aliveContent-Length: 12642Content-Type: text/htmlDate: Sun, 05 May 2024 19:27:21 GMTLast-Modified: Fri, 22 Mar 2024 02:18:51 GMTServer: OpenBSD httpdStrict-Transport-Se !DOCTYPE html>html xmlnshttp://www.w3.org/1999/xhtml lang xml:lang>head> meta charsetutf-8 /> meta namegenerator contentpandoc /> meta nameviewport contentwidthdevice-width, initial-scale1.0, user-scalableyes /> title>index/title> style> code{white-space: pre-wrap;} span.smallcaps{font-variant: small-caps;} div.columns{display: flex; gap: min(4vw, 1.5em);} div.column{flex: auto; overflow-x: auto;} div.hanging-indent{margin-left: 1.5em; text-indent: -1.5em;} /* The extra class is a hack that increases specificity enough to override a similar rule in reveal.js */ ul.task-listclass{list-style: none;} ul.task-list li inputtypecheckbox { font-size: inherit; width: 0.8em; margin: 0 0.8em 0.2em -1.6em; vertical-align: middle; } .display.math{display: block; text-align: center; margin: 0.5rem auto;} /style> link relstylesheet hrefcss/base.css />/head>body>section idMartin-Desharnais data-wrapper1>h1>Martin Desharnais/h1>p>I am a PhD student in computer science at the em>Max-Planck-Institutfür Informatik/em> (Germany). Before that, I concluded a spandata-wrapper1 titleMaster of Science>M.Sc./span> at theem>Ludwig-Maximilians-Universität München/em> (Germany) and a spandata-wrapper1 titleBachelor of Engineering>B.Eng./span> inSoftware Engineering at the em>École de technologie supérieure/em>(Canada)./p>p>My main fields of interest are programming languages, type systems,functional programming, formal verification, and static analysis./p>section idPublications data-wrapper1>h2>Publications/h2>dl>dt>An Isabelle/HOL Formalization of the SCL(FOL) Calculus/dt>dd>p>Martin Bromberger, Martin Desharnais, and Christoph Weidenbachbr />a hrefhttps://easyconferences.eu/cade2023>CADE 29: 29sup>th/sup>International Conference on Automated Deduction (2023)/a>br />a hrefhttps://doi.org/10.1007/978-3-031-38499-8_7>OpenAccess/a>/p>/dd>dt>Seventeen Provers Under the Hammer/dt>dd>p>Martin Desharnais, Petar Vukmirović, Jasmin Blanchette, and MakariusWenzelbr />a hrefhttps://i
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
]