thomaskwaring.github.io/index.html at master · thomaskwaring/thomaskwaring.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
<!DOCTYPE html>
<html>
<head>
<title>Thomas Waring</title>
<!-- <link rel="stylesheet" type="text/css" href="/css/main.css"> -->
<link rel="stylesheet" href="main.css">
</head>


<body>
  <nav>
          <ul>
              <li><a href="" class="nav-link">Home</a></li>
              <li><a href="https://thomaskwaring.github.io/cv.pdf" class="nav-link">CV</a></li>
        <li><a href="https://thomaskwaring.github.io/math.html" class="nav-link">Mathematics</a></li>
          </ul>
      </nav>
<h1>Thomas Waring</h1>
<p>I am a PhD student living in Rome, supervised by Lorenzo Tortora de Falco (Roma Tre) and Thomas Ehrhard (Paris Cité). I am interested in most things, but lately logic, computation and geometry.
  My MSc was at the University of Melbourne, specialising in pure maths — my <a href="https://thomaskwaring.github.io/thesis.pdf">thesis</a> applies Watanabe's Singular Learning Theory to program synthesis, using Turing machines.
  <!-- In 2021 I won the Science Faculty's Graduate Medal, as the highest-scoring postgraduate student. -->
  <!-- I also read, <a href="https://www.instagram.com/lets.eat.tom/" class = "nav-link">cook</a> and garden.  -->
  Before my PhD, I spent time working as a research assistant in the Melbourne Centre for Data Science, working on <a href="https://doi.org/10.1111/2041-210X.14374">conservation</a> and biosecurity.
</p>

<p>
  Much of my work was conducted on unceded land belonging to the Wurundjeri people of the Kulin nation. Consider <a href="https://www.blackpeoplesunion.org/donate">paying the rent</a>.
</p>

<footer>
  <a href="mailto:thomas.waring99@gmail.com" class="nav-link">email me</a>
</footer>

</body>
</html>