F?: From Program Verification System to Proof Assistant

Language: English Existing skills or strong desire to learn: • functional programming (e.g. ML or Haskell); • formal verification in a proof assistant (e.g. Coq) or in a program verification tool (e.g. Why3 or Dafny); • others depending topic: F?, logic, type theory, semantics, mechanized metatheory, automated deduction, metapro-gramming, effects, monads, secure compilation, gradual typing, model finding, property-based testin