With her master thesis ‘Formalising an Amortized Cost Analysis of Binomial Heaps and Fibonacci Heaps
in Liquid Haskell’, Jamie Hochrainer has successfully completed her Master's degree in Computer Science in our group.
Despite our best endeavours, Jamie will not be pursuing an academic career (for the time being), but will be gaining new experience as a software consultant at TNG Technology Consulting. Our loss is a (very) big gain for the industry ;-).
Completion of Master studies, Jamie Hochrainer
Jamie became Master
Jamie successfully defended her Master thesis and concluded her Master studies