my forest
add honours students
+19
-3
+2
trees/loc-0002.tree
+2
trees/loc-0002.tree
···
28
28
\subtree{
29
29
\title{Bachelors students}
30
30
\ul{
31
+
\li{[[miowu]]: 2025-2026, [[anu]]. \em{Pattern Unification in the Next Generation of the Holbert Proof Assistant}}
32
+
\li{[[joshbrown]]: 2025-2026, [[anu]]. \em{The Next Generation of the Holbert Proof Assistant}}
31
33
\li{[[jackb]]: 2025, [[anu]] Semester Project. \em{A File Format for Holbert Proofs.}}
32
34
\li{[[sandwichman]]: 2023-2024, [[uoe]]. \em{Concurrent Games in Agda.}}
33
35
\li{[[sandwichman]]: 2023, [[uoe]] LFCS Internship Project. \em{Branching Bisimulation Games in Agda.}}
+4
trees/news.tree
+4
trees/news.tree
···
4
4
\p{See also [Weeknotes](loc-001B)}
5
5
\table{
6
6
\tr{
7
+
\th{ 21.07.20 }
8
+
\td{[[miowu]] and [[joshbrown]] are starting their Honours projects with me this semester, working on [the next generation of the Holbert proof assistant](loc-000V). }
9
+
}
10
+
\tr{
7
11
\th{ 25.05.30 }
8
12
\td{[[xinloi]] will be starting her PhD with me and [[hoefner]] in a few months. }
9
13
}
+4
trees/people/joshbrown.tree
+4
trees/people/joshbrown.tree
+6
trees/people/miowu.tree
+6
trees/people/miowu.tree
+3
-3
trees/people/sandwichman.tree
+3
-3
trees/people/sandwichman.tree
···
1
1
\title{Amy Yin}
2
2
\taxon{Person}
3
3
\meta{external}{https://github.com/yinamy}
4
-
\meta{institution}{[[cam]]}
5
-
\meta{position}{Masters Student}
6
-
\p{Former student of [[liamoc]] at the [[uoe]], now pursuing a masters at the [[cam]] before embarking on a PhD either at the [[cam]] or the [[uoe]]. Co-founder of [[typesig]].}
4
+
\meta{institution}{[[uoe]]}
5
+
\meta{position}{PhD student}
6
+
\p{Former student of [[liamoc]] at the [[uoe]], then a masters student for a time at the [[cam]] before embarking on a PhD at the [[uoe]]. Co-founder of [[typesig]].}