diff --git a/trees/loc-0002.tree b/trees/loc-0002.tree index df4201b..2d86777 100644 --- a/trees/loc-0002.tree +++ b/trees/loc-0002.tree @@ -5,12 +5,15 @@ \ul{ \li{ [[rayhana]]: 2023–present. Linear infinite time within finite observations. Jointly supervised with [[rvg]] at the [[uoe]]. } \li{ [[xinloi]]: 2025–present. Incorrectness logic with exploitation strategies. Jointly supervised with [[hoefner]]. } + \li{ [[kaiphan]]: 2026–present. Incorrectness logic and dynamic logic. } } \scope{ \put\transclude/toc{false} \subtree{ \title{Secondary supervisions} \ul{ + \li{ [[alinosher]]: 2026-present. Verification of Concurrent Systems. Primary supervisor is [[nisansala]] at the [[anu]]. } + \li{ [[carloz]]: 2026-present. Gradual Typing with Parametric Polymorphism. Primary supervisor is [[muehlboeck]] at the [[anu]]. } \li{ [[yiyao]]: 2025-present. Unifying algebraic models of automata and computation. Primary supervisor is [[hoefner]] at the [[anu]]. } \li{ [[tudor]]: 2021–present. Formal verification of smart contracts. Primary supervisor is [[wadler]] at the [[uoe]]. } \li{ [[mathieu]]: 2022–present. DSLs for compiler passes. Primary supervisor is [[tgrosser]] at the [[cam]]. } diff --git a/trees/loc-000P.tree b/trees/loc-000P.tree index e2982dc..6e670c5 100644 --- a/trees/loc-000P.tree +++ b/trees/loc-000P.tree @@ -3,7 +3,7 @@ \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. } -\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.} +\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.} \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.} diff --git a/trees/news.tree b/trees/news.tree index beb7d79..9f85ca9 100644 --- a/trees/news.tree +++ b/trees/news.tree @@ -3,6 +3,18 @@ \author{liamoc} \p{See also [Weeknotes](loc-001B)} \table{ +\tr{ + \th{ 26.01.16} + \td{My student [[kaiphan]] will start her PhD with me this semester.} +} +\tr{ + \th{ 26.01.15} + \td{I have agreed to join the supervision panel for [[muehlboeck]]'s student, [[carloz]].} +} +\tr{ + \th{ 25.12.17} + \td{I have agreed to join the supervision panel for [[nisansala]]'s student, [[alinosher]].} +} \tr{ \th{ 25.12.01 } \td{My course on [[isa-0001]] is running this week. } diff --git a/trees/people/alinosher.tree b/trees/people/alinosher.tree new file mode 100644 index 0000000..dafd968 --- /dev/null +++ b/trees/people/alinosher.tree @@ -0,0 +1,6 @@ +\title{Ali Nosherwan Hamed} +\taxon{Person} +\meta{external}{https://sites.google.com/view/alinosher} +\meta{institution}{[[anu]]} +\meta{position}{PhD Student} +\p{Primarily advised by [[nisansala]].} diff --git a/trees/people/carloz.tree b/trees/people/carloz.tree new file mode 100644 index 0000000..df30e95 --- /dev/null +++ b/trees/people/carloz.tree @@ -0,0 +1,6 @@ +\title{Carlo Zancanaro} +\taxon{Person} +\meta{external}{https://carlo.zancanaro.id.au} +\meta{institution}{[[anu]]} +\meta{position}{PhD Student} +\p{Advised primarily by [[muehlboeck]].} diff --git a/trees/people/hoefner.tree b/trees/people/hoefner.tree index 4f09db8..5ed13b6 100644 --- a/trees/people/hoefner.tree +++ b/trees/people/hoefner.tree @@ -3,7 +3,7 @@ \meta{external}{http://www.hoefner-online.de/} \meta{institution}{[[anu]]} \meta{orcid}{0000-0002-2141-5868} -\meta{position}{Associate Professor} +\meta{position}{Professor} diff --git a/trees/people/kaiphan.tree b/trees/people/kaiphan.tree new file mode 100644 index 0000000..001ee42 --- /dev/null +++ b/trees/people/kaiphan.tree @@ -0,0 +1,6 @@ +\title{Kai Phan} +\taxon{Person} +\meta{external}{https://kaiphan.com} +\meta{institution}{[[anu]]} +\meta{position}{PhD Student} +\p{Primarily advised by [[liamoc]]. Also known as Thi Cam Tu Phan.} diff --git a/trees/people/muehlboeck.tree b/trees/people/muehlboeck.tree new file mode 100644 index 0000000..34c01ac --- /dev/null +++ b/trees/people/muehlboeck.tree @@ -0,0 +1,6 @@ +\title{Fabian Mühlböck} +\taxon{Person} +\meta{external}{https://users.cecs.anu.edu.au/~fabian.muehlboeck} +\meta{institution}{[[anu]]} +\meta{orcid}{0000-0003-1548-0177} +\meta{position}{Lecturer} diff --git a/trees/people/nisansala.tree b/trees/people/nisansala.tree new file mode 100644 index 0000000..c9e7994 --- /dev/null +++ b/trees/people/nisansala.tree @@ -0,0 +1,6 @@ +\title{Nisansala Yatapanage} +\taxon{Person} +\meta{external}{https://yatapanage.com} +\meta{institution}{[[anu]]} +\meta{orcid}{0000-0002-0498-513X} +\meta{position}{Senior Lecturer} diff --git a/trees/people/xinloi.tree b/trees/people/xinloi.tree index c0c31f2..4eb0fe2 100644 --- a/trees/people/xinloi.tree +++ b/trees/people/xinloi.tree @@ -2,4 +2,5 @@ \taxon{Person} \meta{external}{https://xinloi.net} \meta{institution}{[[anu]]} -\meta{position}{PhD Student} \ No newline at end of file +\meta{position}{PhD Student} +\p{Primarily advised by [[liamoc]].} \ No newline at end of file