Help
RSS
API
Feed
Maltego
Contact
Domain > bottu.dev
×
More information on this domain is in
AlienVault OTX
Is this malicious?
Yes
No
DNS Resolutions
Date
IP Address
2025-03-24
1.0.1.1
(
ClassC
)
2026-01-30
104.21.89.195
(
ClassC
)
Port 80
HTTP/1.1 200 OKDate: Fri, 30 Jan 2026 07:12:48 GMTContent-Type: text/htmlTransfer-Encoding: chunkedConnection: keep-aliveAccept-Ranges: bytesReport-To: {group:cf-nel,max_age:604800,endpoints:{url:https://a.nel.cloudflare.com/report/v4?sfUVCyGpHd7VrUW2IpiwcdJyxcGR7HsBUbByehivlTDgifgL6ZBbWBaB2ToRQekD7m%2F4g6pK8zhybLf9Xungshc%2BTntR%2FAQ8%3D}}last-modified: Sat, 02 Aug 2025 12:24:08 GMTServer: cloudflarecf-cache-status: DYNAMICNel: {report_to:cf-nel,success_fraction:0.0,max_age:604800}CF-RAY: 9c5f29bdcd0ae5c0-PDXalt-svc: h3:443; ma86400 !--Author: W3layoutsAuthor URL: http://w3layouts.comLicense: Creative Commons Attribution 3.0 UnportedLicense URL: http://creativecommons.org/licenses/by/3.0/-->!DOCTYPE html>html langen>!-- Global site tag (gtag.js) - Google Analytics -->script async srchttps://www.googletagmanager.com/gtag/js?idUA-126384178-2>/script>script> window.dataLayer window.dataLayer || ; function gtag(){dataLayer.push(arguments);} gtag(js, new Date()); gtag(config, UA-126384178-2); /script>head>title>Gert-Jan Bottu/title>!-- meta tags -->meta nameviewport contentwidthdevice-width, initial-scale1>meta http-equivContent-Type contenttext/html; charsetutf-8 />script typeapplication/x-javascript> addEventListener(load, function() { setTimeout(hideURLbar, 0); }, false); function hideURLbar(){ window.scrollTo(0,1); } /script>!-- //meta tags -->!-- custom Theme files -->link hrefcss/bootstrap.css relstylesheet typetext/css mediaall />link hrefcss/style.css relstylesheet typetext/css mediaall />link hrefcss/chocolat.css relstylesheet>!-- //custom Theme files -->!-- js -->script srcjs/jquery-1.11.1.min.js>/script>!-- //js -->!-- web-fonts -->link href//fonts.googleapis.com/css?familyOpen+Sans:400,300,300italic,400italic,600,600italic,700,700italic,800,800italic relstylesheet typetext/css>link href//fonts.googleapis.com/css?familyNiconne relstylesheet>!-- //web-fonts -->/head>body> !-- header --> div classheader> div classcontainer> div classheader-w3left> !-- p>span classglyphicon glyphicon-earphone aria-hiddentrue>/span> +32 16/37.32.41/p> --> p>a hrefhttps://www.linkedin.com/in/gertjan-bottu/>LinkedIn/a>/p> /div> div classheader-w3right> ul> !-- li>a hrefhttps://www.kuleuven.be/wieiswie/nl/person/u0108388>span classglyphicon glyphicon-envelope aria-hiddentrue>/span> gertjan.bottu@kuleuven.be/a>/li> --> li>a>span classglyphicon glyphicon-envelope aria-hiddentrue>/span> gertjan at bottu dot dev/a>/li> !-- li>|/li> li>a classscroll href#contact>Contact/a>/li> --> /ul> /div> div classclearfix>/div> /div> /div> !-- //header --> !-- navigation --> div classnavigation> div classcontainer> div classagileits-logo> h1>a hrefindex.html>span>Bottu/span>Gert-Jan/a>/h1> /div> nav classnavbar navbar-default> !-- Brand and toggle get grouped for better mobile display --> div classnavbar-header> button typebutton classnavbar-toggle collapsed data-togglecollapse data-target#bs-example-navbar-collapse-1> span classsr-only>Toggle navigation/span> span classicon-bar>/span> span classicon-bar>/span> span classicon-bar>/span> /button> /div> !-- Collect the nav links, forms, and other content for toggling --> div classcollapse navbar-collapse nav-wil idbs-example-navbar-collapse-1> ul classnav navbar-nav> li classhvr-bounce-to-bottom button>a href#about classscroll>Aboutspan classsr-only>(current)/span>/a>/li> li classhvr-bounce-to-bottom button>a href#publications classscroll>Publications/a>/li> !-- li classhvr-bounce-to-bottom button>a href#blogposts classscroll>Blogposts/a>/li> --> li classhvr-bounce-to-bottom button>a href#talks classscroll>Talks/a>/li> !-- li classhvr-bounce-to-bottom button>a href#contact classscroll>Contact/a>/li> --> /ul> div classclearfix>/div> /div>!-- /.navbar-collapse --> /nav> /div> /div> !-- //navigation --> !-- banner --> div classbanner> div classcontainer> script srcjs/responsiveslides.min.js>/script> script> // You can also use $(window).load(function() { $(function () { // Slideshow 4 $(#slider3).responsiveSlides({ auto: true, pager: true, nav: false, speed: 500, namespace: callbacks, before: function () { $(.events).append(li>before event fired./li>); }, after: function () { $(.events).append(li>after event fired./li>); } }); }); /script> div idtop classcallbacks_container> ul classrslides idslider3> li> div classbanner-agileinfo> h3>WELCOME/h3> h4>Gert-Jan Bottu/h4> /div> /li> /ul> /div> /div> /div> !-- //banner --> !-- about --> div idabout classabout> div classcontainer> h3 classw3ls-tittle>About/h3> h5>Currently, I am a senior software engineer at a hrefhttps://hubspot.com>b>HubSpot/b>/a>, part of the data sync team. I mainly work on the underlying sync engine, a Haskell service responsible for processing and synchronizing incoming data updates on a massive scale./h5> h5>I did my PhD at KU Leuven, working in the programming languages group of prof. a hrefhttps://people.cs.kuleuven.be/~tom.schrijvers/research.html>b>Tom Schrijvers/b>/a>. My main research interests were in functional programming languages, type systems, formal verification and code analysis and generation. The main focus of my research was situated in Haskell, though most results can straightforwardly be applied to other programming languages as well./h5> div classabout-grids> div classcol-md-5 abt-left> img srcimages/gertjan.jpg styleborder: 2px solid black; border-radius: 5px; /> /div> div classcol-md-7 abt-right> p>I interned both at a hrefhttps://www.tweag.io>b>Tweag.io/b>/a> and at a hrefhttps://www.digitalasset.com>b>Digital Asset/b>/a>. While working at Tweag.io, I developed the GHC implementation for the a hrefhttps://github.com/ghc-proposals/ghc-proposals/blob/master/proposals/0099-explicit-specificity.rst>Explicit Type Variable Specificity Proposal/a>, available in GHC 9.0. Secondly, my Tweag.io internship encompassed a fruitful research collaboration with a hrefhttps://richarde.dev/>Richard Eisenberg/a>, resulting in a hrefstability/index.html>the following publication/a> (currently under review at POPL 2020). For my Digital Asset internship, I participated in the DAML language team. Here, I developed a a hrefhttps://daml.com/daml-driven/what-formal-verification-means-for-daml/>static analysis tool/a> for the DAML blockchain language./p> h4>Previous experiences/h4> p>Before starting my PhD, Ive done an internship at DataCamp (a Leuven-based software company providing online data sciences courses to over 600.000 students worldwide) as a software engineer intern, where Ive helped develop a complex in-browser IDE for developing new courses. Furthermore, Ive worked at the KU Leuven, where Ive developed E-Systant, an interactive online exercise platform for teaching students declarative programming languages, such as Haskell and Prolog. /p> p>Subsequently, Im experienced with Python, Ruby on Rails, JavaScript (incl. AngularJS, React and Redux) etc. /p> /div> /div> /div> /div> div idpublications classabout> div classcontainer> h3 classw3ls-tittle>Publications/h3> div classabout-grids> div classrow pub-row> div classcol-md-2>/div> a hrefthesis/index.html> div classcol-md-8 abt-right pub-button> h4>Implicit Code Generation for Polymorphism/h4> p>b>Gert-Jan Bottu/b>/p> p>PhD Thesis, KU Leuven/p> /div> /a> /div> div classrow pub-row> div classcol-md-2>/div> a hrefstability/index.html> div classcol-md-8 abt-right pub-button> h4>Seeking Stability by being Lazy and Shallow/h4> p>b>Gert-Jan Bottu/b>, Richard Eisenberg/p> p>Published at Haskell 2021/p> /div> /a> /div> div classrow pub-row> div classcol-md-2>/div> a hrefcoherence/index.html> div classcol-md-8 abt-right pub-button> h4>Coherence of Type Class Resolution/h4> p>b>Gert-Jan Bottu/b>, Ningning Xie, Koar Marntirosian, Tom Schrijvers/p> p>Published at ICFP 2019/p> /div> /a> /div> div classrow pub-row> div classcol-md-2>/div> a hrefquantcs/index.html> div classcol-md-8 abt-right pub-button> h4>Quantified Class Constraints/h4> p>b>Gert-Jan Bottu/b>, Georgios Karachalias, Tom Schrijvers, Bruno C. d. S. Oliveira, Philip Wadler/p> p>Published at Haskell Symposium 2017/p> /div> /a> /div> /div> /div> /div> div idblogposts classabout> div classcontainer> h3 classw3ls-tittle>Blogposts/h3> div classabout-grids> div classrow pub-row> div classcol-md-2>/div> a hrefhttps://daml.com/daml-driven/what-formal-verification-means-for-daml/> div classcol-md-8 abt-right pub-button> h4>What is Formal Verification and what it means for DAML/h4> p>30 June 2020 - Digital Asset/p> /div> /a> /div> div classrow pub-row> div classcol-md-2>/div> a hrefhttps://www.tweag.io/blog/2020-04-02-lazy-eager-instantiation/> div classcol-md-8 abt-right pub-button> h4>Eager vs. Lazy Instantiation: Making an Informed Decision/h4> p>2 April 2020 - Tweag.io/p> /div> /a> /div> div classrow pub-row> div classcol-md-2>/div> a hrefhttps://www.tweag.io/blog/2020-03-12-expl-spec/> div classcol-md-8 abt-right pub-button> h4>Inferred or Specified Types? Your Choice!/h4> p>12 March 2020 - Tweag.io/p> /div> /a> /div> /div> /div> /div> div idtalks classabout> div classcontainer> h3 classw3ls-tittle>Recent Talks/h3> div classabout-grids> div classcol-md-5 abt-left> img srcimages/formal_languages.png styleborder: 2px solid black; border-radius: 5px; /> /div> div classcol-md-7 abt-right> h4>ICFP 2019 - Berlin/h4> p>a hrefhttps://icfp19.sigplan.org/details/icfp-2019-papers/33/Coherence-of-Type-Class-Resolution>b>Abstract: /b> Coherence of Type Class Resolution/a>/p> p>a hrefpdf/icfp2019_slides.pdf>b>Slides: /b>icfp2019_slides.pdf/a>/p> p>a hrefhttps://www.youtube.com/watch?vbmHd0MoCIiM>b>Video: /b>ICFP 2019/a>/p> h4>Dutch FP Day 2019 - Breda/h4> p>a hrefhttps://wiki.clean.cs.ru.nl/NL-FP_dag_2019#Gert-Jan_Bottu:_Proving_Haskell.27s_Type_Class_Resolution_Coherent>b>Abstract: /b> Proving Haskells Type Class Resolution Coherent/a>/p> p>a hrefpdf/coherence_slides.pdf>b>Slides: /b>coherence_slides.pdf/a>/p> h4>Haskell Symposium 2017 - Oxford/h4> p>a hrefhttps://icfp17.sigplan.org/event/haskellsymp-2017-papers-quantified-class-constraints>b>Abstract: /b> Quantified Class Constraints/a>/p> p>a hrefpdf/quantcs_slides.pdf>b>Slides: /b>quantcs_slides.pdf/a>/p> p>a hrefhttps://youtu.be/TDRvd0A6j6k>b>Video: /b>Haskell Symposium 2017/a>/p> h4>Dutch FP Day 2017 - Nijmegen/h4> p>a hrefhttp://wiki.clean.cs.ru.nl/NL-FP_dag_2017#Gert-Jan_Bottu_-_Quantified_class_constraints_in_Haskell>b>Abstract: /b> Quantified class constraints in Haskell/a>/p> /div> /div> /div> /div> !-- //team --> !-- contact --> !-- div classcontact idcontact> div classcontainer> h3 classw3ls-tittle>Contact/h3> div classcol-md-8 contact-left> div classcontact-bottom w3-agileits> iframe srchttps://www.google.com/maps/embed/v1/place?keyAIzaSyCISOtxjmXh0opET-hJAu34Y4jd2tQQvN8&qdepartement+computerwetenschappen,Leuven Departement Computerwetenschappen, KU Leuven >/iframe> /div> /div> div classcol-md-4 contact-left> h3>Address/h3> p> Gert-Jan Bottu /p> ul> li>KU Leuven/li> li>Informatics Section/li> li>Celestijnenlaan 200a - box 2402,/li> li>3001 Leuven, Belgium/li> li>Phone : +32 16/37.32.41/li> li>Mail : a hrefhttps://www.kuleuven.be/wieiswie/nl/person/u0108388>gertjan.bottu@kuleuven.be/a>/li> /ul> /div> div classclearfix> /div> /div> /div> --> !-- //contact --> !-- footer --> div classfooter> div classcontainer> div classfooter-left agileits-w3layouts> p>© 2024 Gert-Jan Bottu. All Rights Reserved | Design by a hrefhttps://w3layouts.com/> W3layouts/a>/p> /div> div classclearfix> /div> /div> /div> !-- //footer --> script srcjs/smoothscroll.min.js>/script> !-- start-smooth-scrolling --> script typetext/javascript srcjs/move-top.js>/script> script typetext/javascript srcjs/easing.js>/script> script typetext/javascript> jQuery(document).ready(function($) { $(.scroll).click(function(event){ event.preventDefault(); $(html,body).animate({scrollTop:$(this.hash).offset().top},1000); }); }); /script> !-- //end-smooth-scrolling --> !-- smooth-scrolling-of-move-up --> script typetext/javascript> $(document).ready(function() { /* var defaults { containerID: toTop, // fading element id containerHoverID: toTopHover, // fading element hover id scrollSpeed: 1200, easingType: linear }; */ $().UItoTop({ easingType: easeOutQuart }); }); /script> !-- //smooth-scrolling-of-move-up --> !-- Bootstrap core JavaScript --> !-- Placed at the end of the document so the pages load faster --> script srcjs/bootstrap.js>/script>/body>/html>
Port 443
HTTP/1.1 200 OKDate: Fri, 30 Jan 2026 07:12:49 GMTContent-Type: text/htmlTransfer-Encoding: chunkedConnection: keep-aliveAccept-Ranges: bytesReport-To: {group:cf-nel,max_age:604800,endpoints:{url:https://a.nel.cloudflare.com/report/v4?sFJn4jZAOxVhvaagAl%2BrA4dk5TcJFATK8F1FR1yRrduL7%2B9MvxAQEQULNL9UxS8ASJHfBvNX498tBF7%2Bg1ly%2BiamXNKQKyPE%3D}}last-modified: Sat, 02 Aug 2025 12:24:08 GMTServer: cloudflarecf-cache-status: DYNAMICNel: {report_to:cf-nel,success_fraction:0.0,max_age:604800}CF-RAY: 9c5f29c16978ff0f-PDXalt-svc: h3:443; ma86400 !--Author: W3layoutsAuthor URL: http://w3layouts.comLicense: Creative Commons Attribution 3.0 UnportedLicense URL: http://creativecommons.org/licenses/by/3.0/-->!DOCTYPE html>html langen>!-- Global site tag (gtag.js) - Google Analytics -->script async srchttps://www.googletagmanager.com/gtag/js?idUA-126384178-2>/script>script> window.dataLayer window.dataLayer || ; function gtag(){dataLayer.push(arguments);} gtag(js, new Date()); gtag(config, UA-126384178-2); /script>head>title>Gert-Jan Bottu/title>!-- meta tags -->meta nameviewport contentwidthdevice-width, initial-scale1>meta http-equivContent-Type contenttext/html; charsetutf-8 />script typeapplication/x-javascript> addEventListener(load, function() { setTimeout(hideURLbar, 0); }, false); function hideURLbar(){ window.scrollTo(0,1); } /script>!-- //meta tags -->!-- custom Theme files -->link hrefcss/bootstrap.css relstylesheet typetext/css mediaall />link hrefcss/style.css relstylesheet typetext/css mediaall />link hrefcss/chocolat.css relstylesheet>!-- //custom Theme files -->!-- js -->script srcjs/jquery-1.11.1.min.js>/script>!-- //js -->!-- web-fonts -->link href//fonts.googleapis.com/css?familyOpen+Sans:400,300,300italic,400italic,600,600italic,700,700italic,800,800italic relstylesheet typetext/css>link href//fonts.googleapis.com/css?familyNiconne relstylesheet>!-- //web-fonts -->/head>body> !-- header --> div classheader> div classcontainer> div classheader-w3left> !-- p>span classglyphicon glyphicon-earphone aria-hiddentrue>/span> +32 16/37.32.41/p> --> p>a hrefhttps://www.linkedin.com/in/gertjan-bottu/>LinkedIn/a>/p> /div> div classheader-w3right> ul> !-- li>a hrefhttps://www.kuleuven.be/wieiswie/nl/person/u0108388>span classglyphicon glyphicon-envelope aria-hiddentrue>/span> gertjan.bottu@kuleuven.be/a>/li> --> li>a>span classglyphicon glyphicon-envelope aria-hiddentrue>/span> gertjan at bottu dot dev/a>/li> !-- li>|/li> li>a classscroll href#contact>Contact/a>/li> --> /ul> /div> div classclearfix>/div> /div> /div> !-- //header --> !-- navigation --> div classnavigation> div classcontainer> div classagileits-logo> h1>a hrefindex.html>span>Bottu/span>Gert-Jan/a>/h1> /div> nav classnavbar navbar-default> !-- Brand and toggle get grouped for better mobile display --> div classnavbar-header> button typebutton classnavbar-toggle collapsed data-togglecollapse data-target#bs-example-navbar-collapse-1> span classsr-only>Toggle navigation/span> span classicon-bar>/span> span classicon-bar>/span> span classicon-bar>/span> /button> /div> !-- Collect the nav links, forms, and other content for toggling --> div classcollapse navbar-collapse nav-wil idbs-example-navbar-collapse-1> ul classnav navbar-nav> li classhvr-bounce-to-bottom button>a href#about classscroll>Aboutspan classsr-only>(current)/span>/a>/li> li classhvr-bounce-to-bottom button>a href#publications classscroll>Publications/a>/li> !-- li classhvr-bounce-to-bottom button>a href#blogposts classscroll>Blogposts/a>/li> --> li classhvr-bounce-to-bottom button>a href#talks classscroll>Talks/a>/li> !-- li classhvr-bounce-to-bottom button>a href#contact classscroll>Contact/a>/li> --> /ul> div classclearfix>/div> /div>!-- /.navbar-collapse --> /nav> /div> /div> !-- //navigation --> !-- banner --> div classbanner> div classcontainer> script srcjs/responsiveslides.min.js>/script> script> // You can also use $(window).load(function() { $(function () { // Slideshow 4 $(#slider3).responsiveSlides({ auto: true, pager: true, nav: false, speed: 500, namespace: callbacks, before: function () { $(.events).append(li>before event fired./li>); }, after: function () { $(.events).append(li>after event fired./li>); } }); }); /script> div idtop classcallbacks_container> ul classrslides idslider3> li> div classbanner-agileinfo> h3>WELCOME/h3> h4>Gert-Jan Bottu/h4> /div> /li> /ul> /div> /div> /div> !-- //banner --> !-- about --> div idabout classabout> div classcontainer> h3 classw3ls-tittle>About/h3> h5>Currently, I am a senior software engineer at a hrefhttps://hubspot.com>b>HubSpot/b>/a>, part of the data sync team. I mainly work on the underlying sync engine, a Haskell service responsible for processing and synchronizing incoming data updates on a massive scale./h5> h5>I did my PhD at KU Leuven, working in the programming languages group of prof. a hrefhttps://people.cs.kuleuven.be/~tom.schrijvers/research.html>b>Tom Schrijvers/b>/a>. My main research interests were in functional programming languages, type systems, formal verification and code analysis and generation. The main focus of my research was situated in Haskell, though most results can straightforwardly be applied to other programming languages as well./h5> div classabout-grids> div classcol-md-5 abt-left> img srcimages/gertjan.jpg styleborder: 2px solid black; border-radius: 5px; /> /div> div classcol-md-7 abt-right> p>I interned both at a hrefhttps://www.tweag.io>b>Tweag.io/b>/a> and at a hrefhttps://www.digitalasset.com>b>Digital Asset/b>/a>. While working at Tweag.io, I developed the GHC implementation for the a hrefhttps://github.com/ghc-proposals/ghc-proposals/blob/master/proposals/0099-explicit-specificity.rst>Explicit Type Variable Specificity Proposal/a>, available in GHC 9.0. Secondly, my Tweag.io internship encompassed a fruitful research collaboration with a hrefhttps://richarde.dev/>Richard Eisenberg/a>, resulting in a hrefstability/index.html>the following publication/a> (currently under review at POPL 2020). For my Digital Asset internship, I participated in the DAML language team. Here, I developed a a hrefhttps://daml.com/daml-driven/what-formal-verification-means-for-daml/>static analysis tool/a> for the DAML blockchain language./p> h4>Previous experiences/h4> p>Before starting my PhD, Ive done an internship at DataCamp (a Leuven-based software company providing online data sciences courses to over 600.000 students worldwide) as a software engineer intern, where Ive helped develop a complex in-browser IDE for developing new courses. Furthermore, Ive worked at the KU Leuven, where Ive developed E-Systant, an interactive online exercise platform for teaching students declarative programming languages, such as Haskell and Prolog. /p> p>Subsequently, Im experienced with Python, Ruby on Rails, JavaScript (incl. AngularJS, React and Redux) etc. /p> /div> /div> /div> /div> div idpublications classabout> div classcontainer> h3 classw3ls-tittle>Publications/h3> div classabout-grids> div classrow pub-row> div classcol-md-2>/div> a hrefthesis/index.html> div classcol-md-8 abt-right pub-button> h4>Implicit Code Generation for Polymorphism/h4> p>b>Gert-Jan Bottu/b>/p> p>PhD Thesis, KU Leuven/p> /div> /a> /div> div classrow pub-row> div classcol-md-2>/div> a hrefstability/index.html> div classcol-md-8 abt-right pub-button> h4>Seeking Stability by being Lazy and Shallow/h4> p>b>Gert-Jan Bottu/b>, Richard Eisenberg/p> p>Published at Haskell 2021/p> /div> /a> /div> div classrow pub-row> div classcol-md-2>/div> a hrefcoherence/index.html> div classcol-md-8 abt-right pub-button> h4>Coherence of Type Class Resolution/h4> p>b>Gert-Jan Bottu/b>, Ningning Xie, Koar Marntirosian, Tom Schrijvers/p> p>Published at ICFP 2019/p> /div> /a> /div> div classrow pub-row> div classcol-md-2>/div> a hrefquantcs/index.html> div classcol-md-8 abt-right pub-button> h4>Quantified Class Constraints/h4> p>b>Gert-Jan Bottu/b>, Georgios Karachalias, Tom Schrijvers, Bruno C. d. S. Oliveira, Philip Wadler/p> p>Published at Haskell Symposium 2017/p> /div> /a> /div> /div> /div> /div> div idblogposts classabout> div classcontainer> h3 classw3ls-tittle>Blogposts/h3> div classabout-grids> div classrow pub-row> div classcol-md-2>/div> a hrefhttps://daml.com/daml-driven/what-formal-verification-means-for-daml/> div classcol-md-8 abt-right pub-button> h4>What is Formal Verification and what it means for DAML/h4> p>30 June 2020 - Digital Asset/p> /div> /a> /div> div classrow pub-row> div classcol-md-2>/div> a hrefhttps://www.tweag.io/blog/2020-04-02-lazy-eager-instantiation/> div classcol-md-8 abt-right pub-button> h4>Eager vs. Lazy Instantiation: Making an Informed Decision/h4> p>2 April 2020 - Tweag.io/p> /div> /a> /div> div classrow pub-row> div classcol-md-2>/div> a hrefhttps://www.tweag.io/blog/2020-03-12-expl-spec/> div classcol-md-8 abt-right pub-button> h4>Inferred or Specified Types? Your Choice!/h4> p>12 March 2020 - Tweag.io/p> /div> /a> /div> /div> /div> /div> div idtalks classabout> div classcontainer> h3 classw3ls-tittle>Recent Talks/h3> div classabout-grids> div classcol-md-5 abt-left> img srcimages/formal_languages.png styleborder: 2px solid black; border-radius: 5px; /> /div> div classcol-md-7 abt-right> h4>ICFP 2019 - Berlin/h4> p>a hrefhttps://icfp19.sigplan.org/details/icfp-2019-papers/33/Coherence-of-Type-Class-Resolution>b>Abstract: /b> Coherence of Type Class Resolution/a>/p> p>a hrefpdf/icfp2019_slides.pdf>b>Slides: /b>icfp2019_slides.pdf/a>/p> p>a hrefhttps://www.youtube.com/watch?vbmHd0MoCIiM>b>Video: /b>ICFP 2019/a>/p> h4>Dutch FP Day 2019 - Breda/h4> p>a hrefhttps://wiki.clean.cs.ru.nl/NL-FP_dag_2019#Gert-Jan_Bottu:_Proving_Haskell.27s_Type_Class_Resolution_Coherent>b>Abstract: /b> Proving Haskells Type Class Resolution Coherent/a>/p> p>a hrefpdf/coherence_slides.pdf>b>Slides: /b>coherence_slides.pdf/a>/p> h4>Haskell Symposium 2017 - Oxford/h4> p>a hrefhttps://icfp17.sigplan.org/event/haskellsymp-2017-papers-quantified-class-constraints>b>Abstract: /b> Quantified Class Constraints/a>/p> p>a hrefpdf/quantcs_slides.pdf>b>Slides: /b>quantcs_slides.pdf/a>/p> p>a hrefhttps://youtu.be/TDRvd0A6j6k>b>Video: /b>Haskell Symposium 2017/a>/p> h4>Dutch FP Day 2017 - Nijmegen/h4> p>a hrefhttp://wiki.clean.cs.ru.nl/NL-FP_dag_2017#Gert-Jan_Bottu_-_Quantified_class_constraints_in_Haskell>b>Abstract: /b> Quantified class constraints in Haskell/a>/p> /div> /div> /div> /div> !-- //team --> !-- contact --> !-- div classcontact idcontact> div classcontainer> h3 classw3ls-tittle>Contact/h3> div classcol-md-8 contact-left> div classcontact-bottom w3-agileits> iframe srchttps://www.google.com/maps/embed/v1/place?keyAIzaSyCISOtxjmXh0opET-hJAu34Y4jd2tQQvN8&qdepartement+computerwetenschappen,Leuven Departement Computerwetenschappen, KU Leuven >/iframe> /div> /div> div classcol-md-4 contact-left> h3>Address/h3> p> Gert-Jan Bottu /p> ul> li>KU Leuven/li> li>Informatics Section/li> li>Celestijnenlaan 200a - box 2402,/li> li>3001 Leuven, Belgium/li> li>Phone : +32 16/37.32.41/li> li>Mail : a hrefhttps://www.kuleuven.be/wieiswie/nl/person/u0108388>gertjan.bottu@kuleuven.be/a>/li> /ul> /div> div classclearfix> /div> /div> /div> --> !-- //contact --> !-- footer --> div classfooter> div classcontainer> div classfooter-left agileits-w3layouts> p>© 2024 Gert-Jan Bottu. All Rights Reserved | Design by a hrefhttps://w3layouts.com/> W3layouts/a>/p> /div> div classclearfix> /div> /div> /div> !-- //footer --> script srcjs/smoothscroll.min.js>/script> !-- start-smooth-scrolling --> script typetext/javascript srcjs/move-top.js>/script> script typetext/javascript srcjs/easing.js>/script> script typetext/javascript> jQuery(document).ready(function($) { $(.scroll).click(function(event){ event.preventDefault(); $(html,body).animate({scrollTop:$(this.hash).offset().top},1000); }); }); /script> !-- //end-smooth-scrolling --> !-- smooth-scrolling-of-move-up --> script typetext/javascript> $(document).ready(function() { /* var defaults { containerID: toTop, // fading element id containerHoverID: toTopHover, // fading element hover id scrollSpeed: 1200, easingType: linear }; */ $().UItoTop({ easingType: easeOutQuart }); }); /script> !-- //smooth-scrolling-of-move-up --> !-- Bootstrap core JavaScript --> !-- Placed at the end of the document so the pages load faster --> script srcjs/bootstrap.js>/script>/body>/html>
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
]