POIZAT Pascal

Photo Full Professor
Team : MoVe
    Sorbonne Université - LIP6
    Boîte courrier 169
    Couloir 25-26, Étage 2, Bureau 209
    4 place Jussieu
    75252 PARIS CEDEX 05
    FRANCE

Tel: +33 1 44 27 53 03, Pascal.Poizat (at) nulllip6.fr
https://lip6.fr/Pascal.Poizat
https://lip6.fr/Pascal.Poizat

2 PhD students (Supervision / Co-supervision)

  • HOUHOU Sara : Parameterized Verification from Formal Specifications of Information Systems
  • JAIME Damien : Dependency Analysis and Evolution in Software Ecosystems

1999-2021 Publications