Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Andreas Lochbihler
conf.researchr.org general profile
ICFP 2017 profile
POPL 2018 profile
POPL 2021 profile
Registered user since Fri 10 Feb 2017
Name:
Andreas Lochbihler
Contributions
CPP 2021
Session Chair of Security, Blockchains, and Smart Contracts (part of CPP 2021)
Author of A semantic domain for privacy-aware smart contracts and interoperable sharded ledgers within the Lightning Talks-track
Committee Member in Program Committee within the CPP 2021-track
POPL 2018
Author of Programming and Reasoning with Infinite Data in Isabelle/HOL. within the TutorialFest-track
ICFP 2017
Presenter of Tutorial T2: Certified Functional (Co)programming with Isabelle/HOL (part 2) within the Tutorials-track
Presenter of Tutorial T2: Certified Functional (Co)programming with Isabelle/HOL (part 3) within the Tutorials-track
Presenter of Tutorial T2: Certified Functional (Co)programming with Isabelle/HOL within the Tutorials-track
Share
x
Fri 31 Mar 23:59