Hopp til hovedinnhold

Leander Nikolaus Jehl

Førsteamanuensis

Det teknisk- naturvitenskapelige fakultet

Institutt for data- og elektroteknologi
KE E-403
Follow me
Bio

Leander Jehl is an Associate Professor in Computer Science at the University of Stavanger (UiS). He holds a PhD in Computer Science from UiS and a Diploma in Mathematics from the Univerisity of Freiburg, Germany. His research interests lie in the field of distributed algorithms and fault tolerant systems.

Research Interests

  • Distributed Computing
  • Dependability
  • Reconfiguration and Dynamic systems
  • Blockchain technology

Teaching

I teach at bachelor, master and phd level.

  • DAT310 Webprogramming (bachelor level)
  • DAT650 Blockchain Technology (master level)
  • DAT912 Formal Methods for Specifying Systems (phd level)

Projects and groups

+
Publications
  • Vitenskapelige publikasjoner
    • Jehl, Leander

      (2019)

      Quorum Selection for Byzantine Fault Tolerance. I: 2019 39th IEEE International Conference on Distributed Computing Systems ICDCS 2019 .

      IEEE

      ISBN 978-1-7281-2519-0.

      s.2168-2177.

      DOI: 10.1109/ICDCS.2019.00213

    • Pedersen, Sebastian Mæland; Meling, Hein; Jehl, Leander

      (2018)

      An Analysis of Quorum-based Abstractions: A Case Study using Gorums to Implement Raft. I: Proceedings of the 2018 Workshop on Advanced Tools, Programming Languages, and PLatforms for Implementing and Evaluating Algorithms for Distributed systems.

      Association for Computing Machinery (ACM)

      ISBN 978-1-4503-5775-3.

      s.29-35.

      DOI: 10.1145/3231104.3231957

    • Jehl, Leander; Meling, Hein

      (2017)

      The Case for Reconfiguration without Consensus: Comparing Algorithms for Atomic Storage.

      Leibniz International Proceedings in Informatics

      ISSN 1868-8969.

      Volum 70.

      s.31.1-31.17.

      DOI: 10.4230/LIPIcs.OPODIS.2016.31

    • Lea, Tormod Erevik; Jehl, Leander; Meling, Hein

      (2017)

      Towards New Abstractions for Implementing Quorum-Based Systems.

      Distributed Computing Systems

      ISSN 1063-6927.

      s.2380-2385.

      DOI: 10.1109/ICDCS.2017.166

    • Jehl, Leander; Lea, Tormod Erevik; Meling, Hein

      (2016)

      Replacement: Decentralized Failure Handling for Replicated State Machines.

      Symposium on Reliable Distributed Systems. Proceedings

      ISSN 1060-9857.

      Volum 2016-January.

      s.156-165.

      DOI: 10.1109/SRDS.2015.29

    • Jehl, Leander; Vitenberg, Roman; Meling, Hein

      (2015)

      SmartMerge: A New Approach to Reconfiguration for Atomic Storage. I: Distributed Computing - 29th International Symposium, DISC 2015.

      Springer

      ISBN 978-3-642-33650-8.

      s.154-169.

      DOI: 10.1007/978-3-662-48653-5_11

    • Jehl, Leander; Lea, Tormod Erevik; Meling, Hein

      (2015)

      Replacement: Decentralized Failure Handling for Replicated State Machines. I: Proceedings of the 2015 IEEE 34th International Symposium on Reliable Distributed Systems.

      IEEE

      ISBN 978-1-4673-9302-7.

      s.156-165.

      DOI: 10.1109/SRDS.2015.29

    • Jehl, Leander; Meling, Hein

      (2014)

      Asynchronous Reconfiguration for Paxos State Machines. I: Distributed Computing and Networking, 15th International Conference, ICDCN 2014.

      Springer

      ISBN 978-3-642-45248-2.

      s.119-133.

      DOI: 10.1007/978-3-642-45249-9_8

    • Jehl, Leander; Lea, Tormod Erevik; Meling, Hein

      (2014)

      Brief Announcement: Replacement - Handling Failures in a Replicated State Machine.

      Lecture Notes in Computer Science (LNCS)

      ISSN 0302-9743.

      Volum 8784.

      s.531-532.

      DOI: 10.1007/978-3-662-45174-8

    • Jehl, Leander; Meling, Hein

      (2013)

      Towards fast and efficient failure handling for paxos state machines. I: Distributed Computing Systems Workshops (ICDCSW), 2013 IEEE 33rd International Conference on.

      IEEE

      ISBN 978-0-7695-5023-7.

      s.98-102.

      DOI: 10.1109/ICDCSW.2013.47

    • Meling, Hein; Jehl, Leander

      (2013)

      Tutorial Summary: Paxos Explained from Scratch. I: Principles of Distributed Systems 17th International Conference, OPODIS 2013, Nice, France, December 16-18, 2013. Proceedings.

      Springer Science+Business Media B.V.

      ISBN 978-3-319-03849-0.

      s.1-10.

      DOI: 10.1007/978-3-319-03850-6_1

    • Jehl, Leander; Meling, Hein

      (2013)

      Towards Byzantine fault tolerant publish/subscribe: a state machine approach. I: Proceedings of the 9th Workshop on Hot Topics in Dependable.

      Association for Computing Machinery (ACM)

      ISBN 978-1-4503-2457-1.

      DOI: 10.1145/2524224.2524232

  • Bøker og kapitler
    • Estrada-Galiñanes, Vero; Nygaard, Racin Wilhelm; Tron, Viktor; Saramago, Rodrigo; Jehl, Leander; Meling, Hein

      (2019)

      Building a disaster-resilient storage layer for next generation networks: The role of redundancy. I: Network Systems - Workshop October 10-11, 2019. NS2019-99-NS2019-119.

      ISBN 0000000000.

      s.53-58.

  • Formidling
    • Jehl, Leander

      (2019)

      Quorum Selection for Byzantine Fault Tolerance.

    • Estrada-Galiñanes, Vero; Nygaard, Racin Wilhelm; Tron, Viktor; Saramago, Rodrigo; Jehl, Leander; Meling, Hein

      (2019)

      Building a Disaster-resilient Storage Layer for Next Generation Networks: The Role of Redundancy.

    • Nygaard, Racin Wilhelm; Meling, Hein; Jehl, Leander

      (2019)

      Distributed Storage System based on Permissioned Blockchain.

    • Jehl, Leander

      (2018)

      Quorum-Selection for BFT systems.

    • Lea, Tormod Erevik; Jehl, Leander; Meling, Hein

      (2016)

      Gorums: New Abstractions for Implementing Quorum-based Systems.

    • Meling, Hein; Lea, Tormod Erevik; Jehl, Leander

      (2016)

      Gorums: New Abstractions for Implementing Quorum-based Systems.

    • Jehl, Leander

      (2016)

      The Committee Game.

    • Jehl, Leander

      (2015)

      Replacement: Decentralized Failure Handling for Replicated State Machines..

    • Jehl, Leander

      (2015)

      SmartMerge: A New Approach to Reconfiguration for Atomic Storage..

    • Jehl, Leander

      (2015)

      SmartMerge: A New Approach to Reconfiguration for Atomic Storage.

    • Jehl, Leander; Meling, Hein

      (2014)

      Asynchronous Reconfiguration for Paxos State Machines.

    • Jehl, Leander; Meling, Hein

      (2013)

      Towards Fast and Efficient Failure Handling for Paxos State Machines.

    • Meling, Hein; Jehl, Leander

      (2013)

      Paxos Explained from Scratch.

    • Jehl, Leander; Meling, Hein

      (2013)

      Towards Byzantine Fault Tolerant Publish/Subscribe: A State Machine Approach.

    • Jehl, Leander Nikolaus

      (2012)

      Live Replacement.

    • Jehl, Leander Nikolaus

      (2012)

      Live Replacement in Paxos.

    • Jehl, Leander Nikolaus

      (2012)

      A self-stabilizing algorithm for finding independent trees.

    • Jehl, Leander Nikolaus; Meling, Hein

      (2012)

      Live Replacement in Paxos.

    • Jehl, Leander Nikolaus; Meling, Hein

      (2012)

      A self-stabilizing algorithm for finding independent trees.

    • Jehl, Leander Nikolaus; Meling, Hein

      (2012)

      Live Replacement Paxos.

  • Kunstnerisk produksjon
  • Kommersialisering
  • Cristin hovedlogo, Cristin current research information system in Norway