+1

trees/loc-0002.tree

reviewed

··· 4 4 \title{Doctoral students} 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]]. } 7 8 } 8 9 \scope{ 9 10 \put\transclude/toc{false}

+4

trees/news.tree

reviewed

··· 3 3 \author{liamoc} 4 4 \table{ 5 5 \tr{ 6 6 + \th{ 25.05.30 } 7 7 + \td{[[xinloi]] will be starting her PhD with me and [[hoefner]] in a few months. } 8 8 + } 9 9 + \tr{ 6 10 \th{ 25.05.16 } 7 11 \td{I have completed the [domain theory](dt-001Y) lecture notes. } 8 12 }

+5

trees/people/xinloi.tree

reviewed

··· 1 1 + \title{Xin Lu} 2 2 + \taxon{Person} 3 3 + \meta{external}{https://xinloi.net} 4 4 + \meta{institution}{[[anu]]} 5 5 + \meta{position}{PhD Student}