mrBliss.github.io/index.html at master · mrBliss/mrBliss.github.io · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
<!DOCTYPE html>
<html lang="en">
  <head>
    <meta charset="utf-8">
    <title>Thomas Winant | Functional Programming Consultant</title>
    <meta name="description" content="Personal website of Thomas Winant, a Functional Programming Consultant specialised in Haskell">
    <meta name="author" content="Thomas Winant">
    <meta name="viewport" content="width=device-width, initial-scale=1">
    <link rel="shortcut icon" href="/favicon.ico" type="image/x-icon">
    <link rel="stylesheet" href="https://cdn.jsdelivr.net/npm/normalize.css@8.0.1" integrity="sha384-HW5lF8RAdL8caSZX0knRBqXpi7nbJfd3NxWyTtp6pXU1RhHAlcIwkqoXkW8bW+Un" crossorigin="anonymous">
    <link rel="stylesheet" href="https://use.fontawesome.com/releases/v5.6.3/css/all.css" integrity="sha384-UHRtZLI+pbxtHCWp1t77Bi1L4ZtiqrqD80Kn4Z8NTSRyMA2Fd33n5dQ8lWUE00s/" crossorigin="anonymous">
    <link rel="stylesheet" href="https://fonts.googleapis.com/css2?family=Inter:wght@300;700&display=swap">
    <style>
      html {
          font-size: 62.5%;
      }
      body {
          color: #102542;
          font-size: 1.8rem;
          line-height: 2.7rem;
          font-family: Inter;
          font-weight: 400;
          background: #7e1946;
      }
      a {
          color: #146374;
      }
      a:hover {
          color: #1d95ad !important;
      }
      main {
          max-width: 46rem;
          margin: 0 auto;
          padding: 4rem;
          background: #fbfef9;
          box-shadow: 2rem 2rem 2rem #68153a, -2rem 2rem 2rem #68153a;
      }
      h1 {
          font-size: 4rem;
          font-weight: 600;
          line-height: 5.5rem;
          margin: 0;
      }
      h1 strong {
          font-weight: 800;
      }
      p.lead strong {
          font-weight: 600;
      }
      img.portrait {
          display: block;
          border: 2px solid #102542;
          border-radius: 50%;
          box-shadow: 2px 2px rgba(16, 37, 66, 0.9);
          margin: 2rem auto;
      }
      ul.lead {
          padding-left: 2rem;
          clear: both;
      }
      hr {
          border: 0;
          height: 1px;
          background: #102542;
          width: 30%;
          margin: 5rem auto;
      }
      ul.social-links {
          text-align: center;
          margin: 0 auto 0 auto;
          display: block;
          list-style: none;
          padding: 0;
      }
      ul.social-links li {
          display: inline-block;
          padding: 1rem;
      }
      ul.social-links a {
          color: #102542 !important;
      }
      ul.social-links a:hover {
          color: #1d95ad !important
      }
    </style>
  </head>
  <body>
    <main>
      <h1>I'm <strong>Thomas Winant</strong>, a software developer living in Belgium</h1>

      <p class="lead">I'm specialised in <strong>functional</strong> programming languages with <strong>strong type systems</strong>, like <a href="https://www.haskell.org/">Haskell</a>, <a href="https://www.scala-lang.org/">Scala</a>, and <a href="https://www.rust-lang.org/">Rust</a>, that allow me to quickly deliver safe, well-tested, complex applications.</p>

      <img class="portrait" src="img/portrait.jpg" alt="Portrait" width="200" height="200" />

      <ul class="lead">
        <li>I am a senior software engineer at <a href="https://www.hubspot.com/">HubSpot</a>, working on PieSync's core sync engine written in Haskell.</li>
        <li>I was a member of <a href="https://www.well-typed.com/">Well-Typed LLP</a>, a Haskell consultancy company.</li>
        <li>I have worked for <a href="https://iohk.io/">IOHK</a> as a Haskell consultant, developing the consensus layer of <a href="https://www.cardano.org/">Cardano</a>.</li>
        <li>I have obtained a PhD in Computer Science at the <a href="https://distrinet.cs.kuleuven.be/">KU Leuven</a>. My <a href="https://lirias.kuleuven.be/2314645">dissertation</a> is titled &ldquo;<i>Safely Exposing Haskell's Hidden Powers</i>.&rdquo;</li>
        <li>I contributed the <a href="https://downloads.haskell.org/~ghc/latest/docs/html/users_guide/glasgow_exts.html#extension-PartialTypeSignatures">Partial Type Signatures</a> language extension to the Glasgow Haskell Compiler (GHC).</li>
      </ul>

      <hr>

      <ul class="social-links">
        <li><a href="https://github.com/mrBliss/" title="GitHub"><i class="fab fa-github"></i></a></li>
        <li><a href="https://www.linkedin.com/in/thomas-winant-4a0b7585/" title="LinkedIn"><i class="fab fa-linkedin-in"></i></a></li>
        <li><a href="mailto:info@thomaswinant.com"><i class="fas fa-envelope"></i></a></li>
      </ul>
    </main>
  </body>
</html>