Bernhard Beckert

Full Professor, Karlsruher Institut für Technologie

Joined

August 2024

Names

Bernhard Beckert (Preferred)

Emails

****@kit.edu (Confirmed)

Personal Links

Career & Education History

Full Professor

Karlsruher Institut für Technologie (kit.edu)

2008 – Present

Advisors, Relations & Conflicts

No relations added

Expertise

No areas of expertise listed

Publications

An Information-Flow Perspective on Algorithmic Fairness
Samuel Teuber, Bernhard Beckert
- AAAI 2024
- Readers: Everyone
A Practical Notion of Liveness in Smart Contract Applications
Jonas Schiffl, Bernhard Beckert
- FMBC@CAV 2024
- Readers: Everyone
Contract Automata: A Specification Language for Mode-Based Systems
Alexander Weigl, Joshua Bachmeier, Bernhard Beckert, Mattias Ulbrich
- FormaliSE@ICSE 2024
- Readers: Everyone
Formally Verifying an Efficient Sorter
Bernhard Beckert, Peter Sanders, Mattias Ulbrich, Julian Wiesler, Sascha Witt
- TACAS (1) 2024
- Readers: Everyone
QIn: Enabling Formal Methods to Deal with Quantum Circuits
Jonas Klamroth, Bernhard Beckert, Max Scheerer, Oliver Denninger
- QSW 2023
- Readers: Everyone
On Rounding Errors in the Simulation of Quantum Circuits
Jonas Klamroth, Bernhard Beckert
- ICSOC Workshops 2023
- Readers: Everyone
Consistency in the View-Based Development of Cyber-Physical Systems (Convide)
Ralf H. Reussner, Ina Schaefer, Bernhard Beckert, Anne Koziolek, Erik Burger
- MoDELS (Companion) 2023
- Readers: Everyone
Static Capability-Based Security for Smart Contracts
Jonas Schiffl, Alexander Weigl, Bernhard Beckert
- DAPPS 2023
- Readers: Everyone
Formally Verified Algorithmic Fairness Using Information-Flow Tools
Samuel Teuber, Bernhard Beckert
- EWAF 2023
- Readers: Everyone

View all 146 publications

Co-Authors

View all 136 co-authors