Julian is a PhD student with the group, currently working on extending
concurrent separational logics such as TaDA to a total correctness semantics (termination).
Julian defended his PhD thesis, Compositional termination verification for fine-grained concurrency, in 2022. Julian is currently a Formal Verification Engineer at [Nethermind](https://nethermind.io/), a blockchain company working on Ethereum.