Andreas Lochbihler -

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