ITJoeAdams.github.io/research.html at main · ITJoeAdams/ITJoeAdams.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
<!DOCTYPE html>
<html>
<head>
    <link rel="stylesheet" href="styles.css">

    <div class="topnav">
        <a href="index.html">Home</a>
        <a href="contact.html">Contact</a>
        <a class="active">Research</a>
    </div>

    <title>Joseph Adams</title>
</head>
<body>
    <div class="central-div">

        <h1>Research</h1>

        <div id="research-interests">
            As a Ph.D. student, I do research in the field of theoretical computer science.
            Though I have an interest in all areas of theory, thanks to my M.Sci in Computer Science at Birmingham, my main focus lies in type theory, univalent foundations, category theory, topology, and domain theory.
        </div>

        <hr>

        <h1>Visits</h1>
        <div id="visits">
            Throughout my time in the department, I have visited events, and plan to visit many more:
            <ul>
                <li>
                    <a href="https://www.andreipopescu.uk/MGS_Sheffield/MGS2025.html">Midlands Graduate School (MGS)</a> <br>
                    April 2025, University of Sheffield
                </li>
                <li>
                    <a href="https://tdejong.com/mhe60/">Types and Topology</a> <br>
                    A workshop in honour of Martín Escardó's 60th birthday <br>
                    December 2025, University of Birmingham
                </li>
                <li>
                    <a href="https://tdejong.com/ASSUME/">ASSUME</a> <br>
                    15th meeting, February 2026
                </li>
                <li>
                    <a href="https://ulrikbuchholtz.dk/mgs2026/"> MGS</a> <br>
                    April 2026, University of Nottingham
                </li>
            </ul>
        </div>

        <hr>

        <h1>Teaching</h1>
        <div id="teaching">
            I am currently a teaching assistant at the University of Birmingham on the following modules:
            <ul>
                <li>
                    <a href="https://program-and-modules-handbook.bham.ac.uk/webhandbooks/WebHandbooks-control-servlet?Action=getModuleDetailsList&pgSubj=06&pgCrse=34253&searchTerm=002025">Functional Programming</a> <br>
                    Autumn Term, 2025
                </li>
                <li>
                    <a href="https://program-and-modules-handbook.bham.ac.uk/webhandbooks/WebHandbooks-control-servlet?Action=getModuleDetailsList&pgSubj=06&pgCrse=35393&searchTerm=002025">Theories of Computation</a> <br>
                    Spring Term, 2026
                </li>
            </ul>
        </div>

    </div>
</body>
</html>