my forest
add church music corner, update cv
+161
-18
+5
-4
trees/loc-0002.tree
+5
-4
trees/loc-0002.tree
···
1
1
\title{Students}
2
-
\author{liamoc}
2
+
\parent{index}
3
3
\subtree{
4
4
\title{Doctoral students}
5
5
\ul{
6
-
\li{ [[rayhana]]: 2023–present. Linear Temporal Logic with finite observations. Jointly supervised with [[rvg]] at the [[uoe]]. }
6
+
\li{ [[rayhana]]: 2023–present. Linear infinite time within finite observations. Jointly supervised with [[rvg]] at the [[uoe]]. }
7
7
}
8
8
\scope{
9
9
\put\transclude/toc{false}
10
10
\subtree{
11
11
\title{Secondary supervisions}
12
12
\ul{
13
-
\li{ [[tudor]]: 2021–present, primary supervisor is [[wadler]] at the [[uoe]]. }
14
-
\li{ [[mathieu]]: 2022–present, primary supervisor is [[tgrosser]] at the [[cam]]. }
13
+
\li{ [[yiyao]]: 2025-present. Computer science applications of group theory and Cayley graphs. Primary supervisor is [[hoefner]] at the [[anu]]. }
14
+
\li{ [[tudor]]: 2021–present. Formal verification of smart contracts. Primary supervisor is [[wadler]] at the [[uoe]]. }
15
+
\li{ [[mathieu]]: 2022–present. DSLs for compiler passes. Primary supervisor is [[tgrosser]] at the [[cam]]. }
15
16
}
16
17
}}
17
18
}
+3
-2
trees/loc-0003.tree
+3
-2
trees/loc-0003.tree
···
1
1
\title{Academic community roles}
2
-
\author{liamoc}
2
+
\parent{loc-0004}
3
3
4
4
\ul{
5
5
\li{ Observer, [[wg21]], 2024–present.}
···
31
31
\subtree{
32
32
\title{Other reviewing}
33
33
\ul{
34
+
\li{Journal Review, [[jfp]], 2025}
34
35
\li{External Review, [[tase23]]}
35
36
\li{External Review, [[esop22]]}
36
37
\li{External Review, [[fossacs21]]}
37
-
\li{External Review, [[jfp]], 2020}
38
+
\li{Journal Review, [[jfp]], 2020}
38
39
\li{External Review, [[cpp18]]}
39
40
\li{External Review, [[popl16]]}
40
41
\li{Artifact Evaluation, [[icfp18]]}
+1
-1
trees/loc-0004.tree
+1
-1
trees/loc-0004.tree
+1
-1
trees/loc-0005.tree
+1
-1
trees/loc-0005.tree
+1
-1
trees/loc-0006.tree
+1
-1
trees/loc-0006.tree
+1
-1
trees/loc-0007.tree
+1
-1
trees/loc-0007.tree
+1
-1
trees/loc-0008.tree
+1
-1
trees/loc-0008.tree
···
1
1
\title{Research themes}
2
-
\author{liamoc}
2
+
\parent{loc-0004}
3
3
\p{I specialise in the intersection of programming languages and formal methods, with a particular emphasis on type systems, test frameworks and other connections between specification and implementation.}
4
4
\p{I enjoy applying theory to practice: developing programming languages and tools based on established theoretical models and techniques.}
5
5
\p{I also enjoy applying \em{practice} to \em{theory}, that is, developing new theoretical understanding motivated by practical needs.}
+1
-1
trees/loc-0009.tree
+1
-1
trees/loc-0009.tree
···
1
1
\title{Contact}
2
-
\author{liamoc}
2
+
\parent{index}
3
3
\p{I am generally available via email, at \code{me@} this domain. I may also be found on Discord (\code{liamoc}), various Zulips (SPLS, Lean, Agda), the [cogent-club slack](https://cogent-club.slack.com/), [bluesky](https://bsky.app/profile/liamoc.net), [the types.pl mastodon instance](https://types.pl/@liamoc), and inexplicably still [twitter](https://twitter.com/kamatsu8). My office is Room N213 in the Skaidrite Darius Building (CSIT) 108 on the [ANU](anu) Campus. The office door is open to the public so feel free to pop over if you want to visit me. To ensure my availability, it may be wise to first contact me via other means to make an appointment.}
4
4
\p{Do not send me the output of generative AI tools. [I'd rather read the prompt](https://claytonwramsey.com/blog/prompt/).}
5
5
\p{If you are a student or a colleague, please contact me via my [ANU](anu) email (\code{liam.oconnor} at \code{anu.edu.au}), or on the appropriate course forum (e.g. Ed).}
+1
-1
trees/loc-000F.tree
+1
-1
trees/loc-000F.tree
+1
-1
trees/loc-000G.tree
+1
-1
trees/loc-000G.tree
+1
-1
trees/loc-000H.tree
+1
-1
trees/loc-000H.tree
+1
-1
trees/loc-000I.tree
+1
-1
trees/loc-000I.tree
+1
-1
trees/loc-000J.tree
+1
-1
trees/loc-000J.tree
+58
trees/loc-000L.tree
+58
trees/loc-000L.tree
···
1
+
\import{table-macros}
2
+
\title{3rd Sunday after Easter 2025}
3
+
\tag{cmc}
4
+
\parent{loc-000P}
5
+
\date{2025-05-11}
6
+
\author{liamoc}
7
+
\quote{
8
+
Misericórdia Dómini plena est terra, allelúia: verbo Dei cæli firmáti sunt: allelúia, allelúia, allelúia.
9
+
}
10
+
\p{This week our choir at [All Saints Ainslie](https://allsaintsainslie.org.au) sang [View Me, Lord](https://www.youtube.com/watch?v=n4XdIWfdmlo) by Richard Lloyd. The lyrics are from a poem by Thomas Campion:
11
+
\quote{
12
+
\poem{
13
+
\line{View me, Lord, a work of thine!}
14
+
\line{Shall I then lie drown'd in night?}
15
+
\line{Might thy grace in me but shine,}
16
+
\line{I should seem made all of light.\br}
17
+
18
+
\line{Cleanse me, Lord, that I may kneel}
19
+
\line{At thine altar, pure and white;}
20
+
\line{They that once thy mercies feel,}
21
+
\line{Gaze no more on earth's delight.\br}
22
+
23
+
\line{Worldly joys like shadows fade}
24
+
\line{When the heav'nly light appears;}
25
+
\line{But the cov'nants Thou hast made,}
26
+
\line{Endless, know not days nor years.\br}
27
+
28
+
\line{In thy word, Lord, is my trust,}
29
+
\line{To thy mercies fast I fly;}
30
+
\line{Though I am but clay and dust,}
31
+
\line{Yet thy grace can lift me high.}
32
+
}
33
+
}
34
+
Also in the evening I ventured to the church of [St. John the Baptist, Reid](https://www.stjohnscanberra.org/) for Evensong. While the amateur choir there doesn't measure up to the choirs of the UK, they sing valiantly and the service was quite restorative. By the standard of Canberra churches, the church is quite beautiful, with an abundance of stained glass and a well-presented high altar.
35
+
}
36
+
\p{This was also the first Sunday service since the accession of [Pope Leo XIV](https://en.wikipedia.org/wiki/Pope_Leo_XIV) to the Chair of St. Peter. My old choir at [St. Mary's Cathedral](https://cathedralchoir.sydney/) sang one of my favourite pieces, Palestrina's [Tu Es Petrus](https://www.youtube.com/watch?v=mVIiwkQqChc), to mark the occasion.}
37
+
\quote{
38
+
\table{
39
+
\tr{
40
+
\td{
41
+
Tu es Petrus, et super hanc petram ædificábo ecclésiam meam, et portæ ínferi non prevalébunt advérsus eam. Et tibi dabo claves regni cælórum.
42
+
}
43
+
\td{
44
+
You are Peter, and on this rock [\em{petram}] I will build my church, and the gates of hell will not prevail against it. And I will give you keys to the kingdom of heaven.
45
+
}
46
+
}
47
+
\tr{
48
+
\td{Quodcúmque ligáveris super terram erit ligátum et in cælis. Et quodcúmque sólveris super terram erit solútum et in cælis. }
49
+
\td{Whatsoever you bind upon the earth shall be bound also in heaven. And whatsoever you loose on earth shall be loosed also in heaven.}
50
+
}
51
+
\tr{
52
+
\td{Et tibi dabo claves regni cælórum.}
53
+
\td{And I will give you keys to the kingdom of heaven.}
54
+
}
55
+
56
+
}
57
+
}
58
+
+17
trees/loc-000M.tree
+17
trees/loc-000M.tree
···
1
+
\import{table-macros}
2
+
\title{2nd Sunday after Easter 2025}
3
+
\parent{loc-000P}
4
+
\tag{cmc}
5
+
\date{2025-05-04}
6
+
\author{liamoc}
7
+
\quote{
8
+
Iubiláte Deo omnis terra, allelúia: psalmum dícite nómini eius, allelúia: date glóriam laudi eius, allelúia, allelúia, allelúia.
9
+
}
10
+
\p{This week our choir at [All Saints Ainslie](https://allsaintsainslie.org.au) sang a John Goss anthem, "Christ our passover is sacrificed for us", for which I cannot find any recording online.}
11
+
\quote{
12
+
\poem{
13
+
\line{Christ our Passover is sacrificed for us: therefore let us keep the feast.}
14
+
\line{Not with old leav'n, neither with the leaven of malice and wickedness,}
15
+
\line{but with the unleavened bread of sincerity and truth.}
16
+
}
17
+
}
+17
trees/loc-000N.tree
+17
trees/loc-000N.tree
···
1
+
\import{table-macros}
2
+
\title{1st Sunday after Easter 2025}
3
+
\parent{loc-000P}
4
+
\tag{cmc}
5
+
\date{2025-04-27}
6
+
\author{liamoc}
7
+
\quote{
8
+
Quasi modo géniti infántes, allelúia: rationábiles, sine dolo lac concupíscite, allelúia, allelúia, allelúia.
9
+
}
10
+
\p{This week our choir at [All Saints Ainslie](https://allsaintsainslie.org.au) sang the Thomas Tallis classic, [If ye love me](https://www.youtube.com/watch?v=yvHuNTkk0ig). Our normal director couldn't be there for the service, so I filled in as conductor where needed.}
11
+
\quote{
12
+
\poem{
13
+
\line{If ye love me, keep my commandments,}
14
+
\line{and I will pray the Father, and he shall give you another comforter,}
15
+
\line{that he may bide with you forever, e'en the spirit of Truth.}
16
+
}
17
+
}
+14
trees/loc-000O.tree
+14
trees/loc-000O.tree
···
1
+
\import{table-macros}
2
+
\def\percent{\startverb%\stopverb
3
+
}
4
+
\parent{loc-000P}
5
+
\title{Easter 2025}
6
+
\tag{cmc}
7
+
\date{2025-04-20}
8
+
\author{liamoc}
9
+
\quote{
10
+
RESURREXI, et adhuc tecum sum, allelúia: posuísti super me manum tuam, allelúia: mirábilis facta est sciéntia tua, allelúia, allelúia.
11
+
}
12
+
\p{This week our choir at [All Saints Ainslie](https://allsaintsainslie.org.au) finished the Paschal Triduum gauntlet. Among many wonderful pieces of music, we sang Maurice Duruflé's [Ubi caritas](https://www.youtube.com/watch?v=l1BTWCpEFRQ) on Maundy Thursday, Tomas Luis de Victoria's [Reproaches](https://www.youtube.com/watch?v=7BT6oMgC7UU) on Good Friday, and [This Joyful Eastertide](https://www.youtube.com/watch?v=hcjD1zg_A6Y) arranged by Charles Wood today. }
13
+
\p{I also sang the \em{Exultet}, the Easter Proclamation, video below. I arranged my own version by expurgating some bits from the Roman Missal for length and to suit the Anglican tradition of All Saints [the background noise dies down after about a minute]. I had a strained muscle in my back, so I am thankful that I managed to finish in the same key that I started in.}
14
+
\<html:iframe>[style]{aspect-ratio: 16 / 9;}[width]{100\percent}[src]{https://www.youtube.com/embed/ucJByq8AzkM}[title]{Exultet}[frameborder]{0}[allow]{accelerometer; autoplay; clipboard-write; encrypted-media; gyroscope; picture-in-picture; web-share}[referrerpolicy]{strict-origin-when-cross-origin}{}
+17
trees/loc-000P.tree
+17
trees/loc-000P.tree
···
1
+
\title{Church Music Corner}
2
+
\p{In addition to my computer science career I am also a classically-trained singer, with extensive experience in liturgical music in the Catholic and Anglican traditions.}
3
+
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.}
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.}
7
+
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
+
10
+
\p{In 2022 I visited the monks at the [Abbaye Saint-Pierre de Solesmes](https://www.solesmes.com/), under Dom Geoffrey Kemlin. In Edinburgh I sang with the the Choir of [St. Michael and All Saints](https://smas.church/) Episcopal Church. I am a member of the [Royal School of Church Music](https://rscmaustralia.org.au/).}
11
+
12
+
\p{In particular, I have an interest and considerable expertise in the rich chant tradition of the medieval western church, and I am seeking rare prayer books, hymnals, graduals, nocturnals, vesperals, diurnals, antiphonaries and similar.}
13
+
14
+
\p{Below you will find mostly-weekly entries, journaling my liturgical and music experiences.}
15
+
\query\datalog{
16
+
?X -: {\rel/has-author ?X @{liamoc}} {\rel/has-tag ?X '{cmc}}
17
+
}
+8
trees/news.tree
+8
trees/news.tree
···
3
3
\author{liamoc}
4
4
\table{
5
5
\tr{
6
+
\th{ 25.05.16 }
7
+
\td{I have completed the [domain theory](dt-001Y) lecture notes. }
8
+
}
9
+
\tr{
10
+
\th{ 25.05.01 }
11
+
\td{I have agreed to co-supervise [[yiyao]], a new PhD student with [[hoefner]]. }
12
+
}
13
+
\tr{
6
14
\th{ 25.03.22 }
7
15
\td{I have joined the PC for [[haskell25]]. }
8
16
}
+1
-1
trees/people/liamoc.tree
+1
-1
trees/people/liamoc.tree
···
9
9
\p{I am a Senior Lecturer in Foundations at the [[anu]] School of Computing, on [[loc-000D]]. I'm also an Honorary Fellow at the [[uoe]] Laboratory for Foundations of Computer Science, where I worked until 2024.}
10
10
\p{Lately, my research has been focused on [property-based testing](loc-000A), [semantics](loc-000C) and [temporal logic](loc-000B), but I have very broad research interests. See my [personal bibliography](loc-0001) for a full list of my work.}
11
11
\p{Previously, I lectured courses at [[unsw]], where I did my PhD with [[gckeller]] and the Trustworthy Systems Team lead by [[heiser]], focusing on the [[cogent]] project.}
12
-
13
12
\p{Full details about me can be found on my [curriculum vitæ](loc-0004), which includes a [list of students](loc-0002). My contact details can be found [here](loc-0009).}
13
+
\p{I'm also an experienced liturgical singer and cantor. I journal my experiences in church music at the [[loc-000P]].}
+5
trees/people/yiyao.tree
+5
trees/people/yiyao.tree
+5
trees/table-macros.tree
+5
trees/table-macros.tree
···
3
3
\def\table[body]{
4
4
\<html:table>{\body}
5
5
}
6
+
\def\quote[body]{
7
+
\<html:blockquote>{\body}
8
+
}
9
+
\def\poem[x]{\<html:table>[style]{text-align: left}{\x}}
10
+
\def\line[x]{\<html:tr>{\<html:td>{\x}}}
6
11
\def\tableW[body]{
7
12
\<html:table>[width]{100\startverb%
8
13
\stopverb}{\body}