Patrik Keller, MSc
Former Member

E-mailpatrik@pkel.dev
Patrik Keller, MSc

Research Interests

  • Consensus protocols
  • Decentralized cryptographic currencies
  • Smart legal contracts

Positions

11/2018 – 02/2022 Research Assistant, Department of Computer Science, University of Innsbruck, Austria
06/2020 – 08/2020 Intern, Webassembly backend for Ergo smart contracts, Google Summer of Code
08/2018 – 10/2018 Intern, OCaml runtime types as syntactic preprocessor, LexiFi, Paris, France
06/2017 – 07/2018 Student Assistant, Department of Computer Science, University of Innsbruck, Austria
05/2016 – 07/2018 Technical Assistant, Journal of Statistical Software, University of Innsbruck, Austria

Education

since 11/2018 Ph.D. studies in Computer Science, University of Innsbruck, Austria
2016 – 2018 M.Sc. studies in Computer Science, University of Innsbruck, Austria
2015 – 2016 Actuarial and Financial Mathematics, student exchange, Taras Shevchenko National University, Kiev, Ukraine
2011 – 2015 B.Sc. studies in Mathematics, University of Ulm, Germany

Publications

  • Keller, P. and Böhme, R. HotPoW: Finality from Proof-of-Work Quorums. 2019. [Preprint]
  • Keller, P., Florian, M., and Böhme, R. Collaborative Deanonymization. In Workshop on Coordination of Decentralized Finance (CoDecFin). 2021. [Preprint] [Video]

Presentations

  • Keller, P. and Lasson, M. LexiFi Runtime Types. In OCaml Users and Developers Workshop. 2020. [PDF] [Video]

Projects