diff options
Diffstat (limited to 'index.html')
| -rw-r--r-- | index.html | 165 |
1 files changed, 97 insertions, 68 deletions
@@ -1,63 +1,72 @@ <!DOCTYPE html> -<html> +<html lang="en"> <head> <meta charset="utf-8"> +<meta name="viewport" content="width=device-width, initial-scale=1"> <title>Tom Smeding</title> <style> -/* Source: https://github.com/madmalik/mononoki/blob/master/style.css */ @font-face { - font-family: 'mononoki-webfont'; - src: url('/fonts/mononoki-Regular.eot?#iefix') format('embedded-opentype'), /* IE6-IE8 */ - url('/fonts/mononoki-Regular.woff2') format('woff2'), /* Super Modern Browsers */ - url('/fonts/mononoki-Regular.woff') format('woff'), /* Pretty Modern Browsers */ - url('/fonts/mononoki-Regular.ttf') format('truetype'); /* Safari, Android, iOS */ - font-weight: normal; - font-style: normal; + font-family: 'mononoki-webfont'; + src: url('/fonts/mononoki-Regular.woff2') format('woff2'), + url('/fonts/mononoki-Regular.woff') format('woff'); + font-weight: normal; + font-style: normal; } @font-face { - font-family: 'mononoki-webfont'; - src: url('/fonts/mononoki-Bold.eot?#iefix') format('embedded-opentype'), /* IE6-IE8 */ - url('/fonts/mononoki-Bold.woff2') format('woff2'), /* Super Modern Browsers */ - url('/fonts/mononoki-Bold.woff') format('woff'), /* Pretty Modern Browsers */ - url('/fonts/mononoki-Bold.ttf') format('truetype'); /* Safari, Android, iOS */ - font-weight: bold; - font-style: normal; + font-family: 'mononoki-webfont'; + src: url('/fonts/mononoki-Bold.woff2') format('woff2'), + url('/fonts/mononoki-Bold.woff') format('woff'); + font-weight: bold; + font-style: normal; } @font-face { - font-family: 'mononoki-webfont'; - src: url('/fonts/mononoki-Italic.eot?#iefix') format('embedded-opentype'), /* IE6-IE8 */ - url('/fonts/mononoki-Italic.woff2') format('woff2'), /* Super Modern Browsers */ - url('/fonts/mononoki-Italic.woff') format('woff'), /* Pretty Modern Browsers */ - url('/fonts/mononoki-Italic.ttf') format('truetype'); /* Safari, Android, iOS */ - font-weight: normal; - font-style: italic; + font-family: 'mononoki-webfont'; + src: url('/fonts/mononoki-Italic.woff2') format('woff2'), + url('/fonts/mononoki-Italic.woff') format('woff'); + font-weight: normal; + font-style: italic; } @font-face { - font-family: 'mononoki-webfont'; - src: url('/fonts/mononoki-BoldItalic.eot?#iefix') format('embedded-opentype'), /* IE6-IE8 */ - url('/fonts/mononoki-BoldItalic.woff2') format('woff2'), /* Super Modern Browsers */ - url('/fonts/mononoki-BoldItalic.woff') format('woff'), /* Pretty Modern Browsers */ - url('/fonts/mononoki-BoldItalic.ttf') format('truetype'); /* Safari, Android, iOS */ - font-weight: bold; - font-style: italic; + font-family: 'mononoki-webfont'; + src: url('/fonts/mononoki-BoldItalic.woff2') format('woff2'), + url('/fonts/mononoki-BoldItalic.woff') format('woff'); + font-weight: bold; + font-style: italic; } body { - font-family: mononoki, mononoki-webfont, "Courier New", Courier, Monospace; + font-family: mononoki, mononoki-webfont, monospace; text-align: center; + font-size: 12pt; +} +h1, h2 { + text-align: center; +} +h2 { + margin-top: 25px; + margin-bottom: 18px; } div.main-content { + text-align: left; display: inline-block; max-width: 800px; } -div.longtext { +#pubs-table td { text-align: left; + vertical-align: top; + padding-bottom: 10px; } -summary { - cursor: pointer; +#pubs-table td:first-child { + padding-left: 0; + padding-right: 5px; } -#pubs-ul { - text-align: left; +.pubs-at { + color: #777; + font-size: small; + white-space: nowrap; +} +.pubs-title { + font-weight: bold; } @media (prefers-color-scheme: dark) { body { @@ -70,51 +79,71 @@ summary { a:visited { color: #99f; } + .pubs-at { + color: #999; + } } </style> </head> <body> <div class="main-content"> <h1>Hi!</h1> - <p> - I'm Tom Smeding. I love programming, doing math, playing the piano and thinking about languages (both natural and programming).<br> - I'm a PhD candidate in computer science at Utrecht University in the Netherlands. - </p> - <p> - You can reach me on - <a href="https://matrix.to/#/@tom:tomsmeding.com">Matrix</a>, - <a href="https://libera.chat/">IRC</a>, - <a href="https://telegram.me/tomsmeding">Telegram</a>, - <a href="https://github.com/tomsmeding">Github</a>, - <a href="https://www.linkedin.com/in/tom-smeding">LinkedIn</a>, - <a href="https://www.facebook.com/tom.smeding">Facebook</a> and - via <a href="mailto:t.j.smeding@uu.nl">email</a>, - among others. - Besides Github, I also have a number of projects on my <a href="https://git.tomsmeding.com">own server</a>. - </p> - <p> - I've also <a href="/blog">written some notes</a> at some point. - </p> - <details><summary><u>For a list of my academic publications, click here.</u></summary> - <ul id="pubs-ul"> - <!--PUBS-REPLACE-START--> (Info missing, server misconfigured, sorry) <!--PUBS-REPLACE-END--> - </ul> - </details> - <h2>My research</h2> - <div class="longtext"> + <div style="text-align: center"> <p> - Currently my primary research interest is in <a href="https://en.wikipedia.org/wiki/Automatic_differentiation" target="_blank">automatic differentiation</a> (AD), as seen through the lens of <a href="https://en.wikipedia.org/wiki/Functional_programming" target="_blank">functional programming</a> (FP), in my case mostly using the programming language <a href="https://haskell.org" target="_blank">Haskell</a>. - My PhD supervisors are Gabriele Keller and Matthijs Vákár. + I'm Tom Smeding. I love programming, playing the piano, thinking about languages (both natural and programming), and occasionally mathematics.<br> + I'm a postdoctoral researcher in computer science at the University of Edinburgh. </p> <p> - In general I am enthusiastic about lots of things in computer science; I enjoy functional programming and thinking about programming techniques that make FP work well, but I also have some experience in more low-level programming (in C and C++), some of it in <a href="https://stats.ioinformatics.org/people/5681" target="_blank">competitive</a> <a href="https://2019.nwerc.eu/" target="_blank">programming</a>. - I like thinking about how to optimise code to make it run faster, and also about devising compiler optimisations to make other people's code run faster. - Furthermore, I like being able to do all of those things while enabling the compiler to prevent me from making mistakes as much as possible; typically, I do this by using the type system of the programming language I'm working in. + You can reach me via + <span id="email">email [first name at firstnamelastname dot com]</span>, + <script> + document.getElementById("email").innerHTML = '<a href="mailto:' + 'snl?snlrldchmf-bnl'.split("").map(s=>String.fromCharCode(s.charCodeAt(0)+1)).join("") + '">email</a>' + </script> + as well as on + <!-- <a href="https://matrix.to/#/@tom:tomsmeding.com">Matrix</a>, --> <!-- I may not accept message requests on matrix, sorry --> + <a href="https://libera.chat/">IRC</a>, + <a href="https://telegram.me/tomsmeding">Telegram</a>, + <a href="https://www.linkedin.com/in/tom-smeding">LinkedIn</a> or + <a href="https://www.facebook.com/tom.smeding">Facebook</a>. + + You can find me on + <a href="https://scholar.google.com/citations?view_op=list_works&user=oK6ERSgAAAAJ&sortby=pubdate">Google Scholar</a> and + <a href="https://orcid.org/0000-0002-4986-6820">ORCiD</a>. + </p> + <p> + I have code on my <a href="https://git.tomsmeding.com">own server</a> and on + <a href="https://github.com/tomsmeding">Github</a>. </p> <p> - Also send me your favourite esolangs :) + I've also <a href="/blog">written some notes</a> at some point. </p> </div> + + <h2>About me</h2> + <p> + In my postdoc at the University of Edinburgh, I am looking at compilation and optimisation techniques for array programs with static and dynamic sparsity. + Before that, during my PhD at Utrecht University in The Netherlands (supervised by Gabriele Keller and Matthijs Vákár), I worked on <a href="https://en.wikipedia.org/wiki/Automatic_differentiation" target="_blank">automatic differentiation</a> seen through the lens of <a href="https://en.wikipedia.org/wiki/Functional_programming" target="_blank">functional programming</a>. + Before that, I completed my master's degree at Utrecht University in 2021 and my bachelor's degree at Leiden University in 2018. + I was born and grew up in The Netherlands. + </p> + <p> + In general I am enthusiastic about lots of things in computer science; I enjoy functional programming and thinking about programming techniques that make FP work well, but I also have some experience in more low-level programming (in C and C++), some of it in <a href="https://stats.ioinformatics.org/people/5681" target="_blank">competitive</a> <a href="https://2019.nwerc.eu/" target="_blank">programming</a>. + I like thinking about how to optimise code to make it run faster, and also about devising compiler optimisations to make other people's code run faster. + Furthermore, I like being able to do all of those things while enabling the compiler to prevent me from making mistakes as much as possible; typically, I do this by using the type system of the programming language I'm working in. + </p> + <p> + I think that in software development and science, and indeed in the world more generally, there is tremendous value in understanding. + Having a good understanding of what you are doing, as well as the layer of abstraction right below what you are doing (e.g. the compiler you use, or the research method you are applying, or simply the perspective and background of the person you're speaking with), is essential for producing quality and dependable results. + It's also just more fun than poking something with a long stick, and it's an investment: the more things you have a good mental model of, the easier and quicker it is to achieve insight in the next thing. + </p> + <p> + I like esolangs, send me your favourite ones :) + </p> + + <h2>Academic publications</h2> + <table id="pubs-table"><tbody> + <!--PUBS-REPLACE-START--> (Info missing, server misconfigured, sorry) <!--PUBS-REPLACE-END--> + </tbody></table> </div> </body> </html> |