Domain > smallbone.se

More information on this domain is in AlienVault OTX

DNS Resolutions

Date	IP Address
2024-11-25	23.88.115.106 (ClassC)
2025-01-22	193.53.40.33 (ClassC)

Port 443

HTTP/1.1 200 OKContent-Type: text/htmlETag: 3895696913Last-Modified: Thu, 20 Jan 2022 01:06:38 GMTContent-Length: 11760Accept-Ranges: bytesDate: Mon, 25 Nov 2024 04:49:20 GMTServer: lighttpd/1.4.76

!DOCTYPE html>html langen>head>meta http-equivContent-Type contenttext/html; charsetUTF-8>meta namegenerator contentAsciiDoc 9.1.0>title>Nick Smallbone/title>link relstylesheet href./asciidoc.css typetext/css>script typetext/javascript src./asciidoc.js>/script>script typetext/javascript>/*!CDATA*/asciidoc.install();/*>*//script>/head>body classarticle>div idheader>h1>Nick Smallbone/h1>/div>div idcontent>div idpreamble>div classsectionbody>div classimageblock idpic>div classcontent>img srcme.jpg altA picture of me>/div>/div>div classparagraph>p>Hello! That’s (a younger version of) me over there to the right. ☛/p>/div>div classparagraph>p>I am a researcher at thea hrefhttp://www.chalmers.se/en/departments/cse/organisation/fp/Pages/default.aspx>functional programming division/a> of thea hrefhttp://www.chalmers.se/cse>Computer Science and Engineeringdepartment/a> at a hrefhttp://www.chalmers.se>Chalmers University ofTechnology/a>. My research often focuses on exploiting property-based testing (forexample discovering, proving, and explaining properties); I also have aside-line in automated reasoning./p>/div>/div>/div>div classsect1>h2 id_finding_me_etc>Finding me etc./h2>div classsectionbody>div classulist>ul>li>p>strong>Email/strong>: <a hrefmailto:nicsma@chalmers.se>nicsma@chalmers.se/a>>/p>/li>li>p>strong>Office/strong>: 6th floor, EDIT building (Rännvägen 6B)/p>/li>li>p>strong>GitHub/strong>: a hrefhttp://github.com/nick8325>http://github.com/nick8325/a>/p>/li>/ul>/div>/div>/div>div classsect1>h2 id_publications>Publications/h2>div classsectionbody>div classulist>ul>li>p>strong>Conjectures, Tests and Proofs: An overview of theory exploration/strong>,  with Moa Johansson. Accepted for VPT 2021.  a hrefpapers/conjectures-tests-and-proofs.pdf>pdf/a>./p>/li>li>p>strong>Twee: An Equational Theorem Prover (System Description)/strong>.  Accepted for CADE 2021. a hrefpapers/twee.pdf>pdf/a>./p>/li>li>p>strong>Template-based Theory Exploration: Discovering Properties of  Functional Programs by Testing/s

Subdomains

Date	Domain	IP
nick.smallbone.se	2024-11-25	23.88.115.106
mirror.smallbone.se	2024-11-25	23.88.115.106
www.smallbone.se	2024-11-25	23.88.115.106

View on OTX | View on ThreatMiner

Data with thanks to AlienVault OTX, VirusTotal, Malwr and others. [Sitemap]

Domain > smallbone.se

Is this malicious?

DNS Resolutions

Port 443

Subdomains