my forest
various updates
+49
-3
+3
trees/loc-0002.tree
+3
trees/loc-0002.tree
···
5
5
\ul{
6
6
\li{ [[rayhana]]: 2023–present. Linear infinite time within finite observations. Jointly supervised with [[rvg]] at the [[uoe]]. }
7
7
\li{ [[xinloi]]: 2025–present. Incorrectness logic with exploitation strategies. Jointly supervised with [[hoefner]]. }
8
+
\li{ [[kaiphan]]: 2026–present. Incorrectness logic and dynamic logic. }
8
9
}
9
10
\scope{
10
11
\put\transclude/toc{false}
11
12
\subtree{
12
13
\title{Secondary supervisions}
13
14
\ul{
15
+
\li{ [[alinosher]]: 2026-present. Verification of Concurrent Systems. Primary supervisor is [[nisansala]] at the [[anu]]. }
16
+
\li{ [[carloz]]: 2026-present. Gradual Typing with Parametric Polymorphism. Primary supervisor is [[muehlboeck]] at the [[anu]]. }
14
17
\li{ [[yiyao]]: 2025-present. Unifying algebraic models of automata and computation. Primary supervisor is [[hoefner]] at the [[anu]]. }
15
18
\li{ [[tudor]]: 2021–present. Formal verification of smart contracts. Primary supervisor is [[wadler]] at the [[uoe]]. }
16
19
\li{ [[mathieu]]: 2022–present. DSLs for compiler passes. Primary supervisor is [[tgrosser]] at the [[cam]]. }
+1
-1
trees/loc-000P.tree
+1
-1
trees/loc-000P.tree
···
3
3
4
4
\p{Currently, I sing with the Choir of [All Saints Ainslie](https://allsaintsainslie.org.au), located near my home in Canberra. We sing for most of the weekly Sunday Eucharist services as well as semi-regular Evensong services. I am also available for liturgical singing in and around the Canberra area. Please [get in touch](loc-0009) if you are interested. When I'm travelling away from Canberra, I have on occasion sung with the choirs at [St Peter's Eastern Hill](https://www.stpeters.org.au/) in Melbourne, [St. Michael and All Saints](https://smas.church/) and [Old St. Paul's](osp.org.uk) in Edinburgh, and elsewhere. }
5
5
6
-
\p{I began my musical career as a treble in [St. Mary's Cathedral Choir](https://cathedralchoir.sydney/), Sydney at the age of 10. At that time, St. Mary's was under the direction of David Russell, who encouraged me to pursue my interest in medieval liturgical music. I studied Gregorian Chant semiology and performance, both independently and under the tutelage of Prof. Neil McEwan FRSCM.}
6
+
\p{I began my musical career as a treble in [St. Mary's Cathedral Choir](https://cathedralchoir.sydney/), Sydney at the age of 10. At that time, St. Mary's was under the direction of David Russell, who encouraged me to pursue my interest in medieval liturgical music. I studied Gregorian Chant semiology and performance, both independently and under the tutelage of Dr. Neil McEwan AM.}
7
7
8
8
\p{From 2006-2010 I led the Schola Cantorum at St. Mary's Cathedral, Sydney, performing the propers of the mass every Sunday. I also performed occasionally with many other choirs, including: the Choir of [Christ Church St. Laurence](https://ccsl.org.au/) in Sydney, the [Australian Brandenburg Choir](https://www.brandenburg.com.au/), and others. After Pope Benedict XVI's \em{Summorum pontificum}, I ran a Schola Cantorum to assist in the performance of chant propers and ordinaries in Latin masses around Sydney and later in Edinburgh, after I moved there.}
9
9
+12
trees/news.tree
+12
trees/news.tree
···
4
4
\p{See also [Weeknotes](loc-001B)}
5
5
\table{
6
6
\tr{
7
+
\th{ 26.01.16}
8
+
\td{My student [[kaiphan]] will start her PhD with me this semester.}
9
+
}
10
+
\tr{
11
+
\th{ 26.01.15}
12
+
\td{I have agreed to join the supervision panel for [[muehlboeck]]'s student, [[carloz]].}
13
+
}
14
+
\tr{
15
+
\th{ 25.12.17}
16
+
\td{I have agreed to join the supervision panel for [[nisansala]]'s student, [[alinosher]].}
17
+
}
18
+
\tr{
7
19
\th{ 25.12.01 }
8
20
\td{My course on [[isa-0001]] is running this week. }
9
21
}
+6
trees/people/alinosher.tree
+6
trees/people/alinosher.tree
+6
trees/people/carloz.tree
+6
trees/people/carloz.tree
+1
-1
trees/people/hoefner.tree
+1
-1
trees/people/hoefner.tree
+6
trees/people/kaiphan.tree
+6
trees/people/kaiphan.tree
+6
trees/people/muehlboeck.tree
+6
trees/people/muehlboeck.tree
+6
trees/people/nisansala.tree
+6
trees/people/nisansala.tree