Current Position & Biography
Christian Badertscher is a lecturer at the Zurich University of Applied Sciences (ZHAW) and, according to his personal academic page, Director of Research Strategy and Planning at Input Output. ZHAW lists his professional office in Winterthur, Switzerland, and his teaching in blockchain and distributed-ledger technology. His work connects the formal analysis of cryptographic protocols with the practical question of how decentralized networks keep functioning as their participants change.
He completed a doctorate at ETH Zurich in 2018 and previously worked in Edinburgh’s Blockchain Technology Lab. Those are historical affiliations, rather than substitutes for his current appointments. The combination of university teaching and research planning makes his work relevant to how technical assumptions move from a proof into an engineering agenda.
Notable Contributions
Badertscher coauthored Ouroboros Genesis with Peter Gaži, Aggelos Kiayias, Alexander Russell and Vassilis Zikas. The paper studies proof-of-stake ledgers when participants can disconnect, lose synchronization and later return. Its chain-selection rule lets a participant bootstrap using the genesis block without requiring a trusted recent checkpoint. The security result is established in a defined model, including a bound on adversarial stake; it is not an unconditional guarantee for every implementation or network deployment.
Why Katharos.ai Is Following Them
Katharos.ai follows this line of research because joining a blockchain is also a trust decision. A system may be decentralized during normal operation yet still require newcomers to accept someone else’s recent view of history. Work that makes this dependency explicit helps readers ask better questions about recovery, onboarding and long-term verification. The editorial interest is in the reasoning and its limitations, not in endorsing a token or vendor.
Areas to Follow
Areas to follow include independently documented protocol deployments, the treatment of offline participants, and evidence that implementations preserve the assumptions used in their analyses. Research planning is worth watching when it produces inspectable specifications and evaluations. Teaching also matters: clear explanations of where a theorem stops can be as useful to developers as a headline performance claim.
Reporting Scope
Switzerland denotes the documented ZHAW professional base in Winterthur, not nationality or a claim about private residence. The Input Output title is attributed to his own current academic page. The contribution described here is collaborative; no sole-inventor claim is made. Research results and editorial questions are not investment advice.
Sources for Further Reading
https://sites.google.com/view/christian-badertscher/ https://www.zhaw.ch/de/ueber-uns/person/bash https://eprint.iacr.org/2018/378
Photo Credit
Portrait via Christian Badertscher’s personal academic website on Google Sites. No photographer or image-rights notice identified in the original EXIF/IPTC/XMP; the embedded Google color-profile copyright concerns the ICC profile, not a photo license. Entire photograph proportionally reduced and padded to 16:9; original EXIF and ICC metadata retained. Public availability is not unrestricted permission; used only for credited factual identification.
Editorial Disclaimer
This profile summarizes information from the cited sources. Katharos.ai does not endorse the subject or guarantee every source claim’s authenticity.