Martin Kölbl has left the Chair and has joined CertiK
After submitting his PhD thesis, Martin Kölbl has left the Chair and has joined CertiK, where he is applying formal methods to the verification of smart contracts.
After submitting his PhD thesis, Martin Kölbl has left the Chair and has joined CertiK, where he is applying formal methods to the verification of smart contracts.