Skip to main content

Alex Horn

Alex Horn Alex Horn is a Member of the Research Staff II in the newly founded Network Reliability Group. His research focuses on formal methods and automated testing of low-level and networked systems. He received his PhD from the University of Oxford in 2016, working on automated concurrency bug finding techniques. Prior to that he worked in R&D at a global health tech company.


  1. Alex Horn, Ali Kheradmand, Mukul R. Prasad, "Delta-net: Real-time Network Verification Using Atoms." In NSDI 2017: USENIX Symposium on Networked Systems Design and Implementation.
  2. Hadarean, L., Horn, A. and King, T. "A Concurrency Problem with Exponential DPLL(T) Proofs." In SMT 2015: Workshop on Satisfiability Modulo Theories.
  3. Horn, A., Kroening, D. "On partial order semantics for SAT/SMT-based symbolic encodings of weak memory concurrency." In FORTE 2015: Formal Techniques for Distributed Objects.
  4. A. Horn and D. Kroening. "Faster linearizability checking via p-compositionality*." In FORTE 2015: Formal Techniques for Distributed Objects.
  5. A. Horn, M. Tautschnig, C. Val, L. Liang, T. Melham, J. Grundy,and D. Kroening. "Formal co-validation of low-level hardware/software interfaces." In FMCAD 2013: Formal Methods in Computer-Aided Design.
  6. Horn A. (2011) "Dynamic Epistemic Algebra with Post-conditions to Reason about Robot Navigation." In WoLLIC 2011: Workshop on Logic, Language, Information and Computation.