Institut de Chimie des Substances Naturelles

Genomic global epidemiology and evolution of Escherichia coli ST131 clade A

During the 2010s, Escherichia coli ST131 clade A tested sensitive to most antibiotics. In the 2020s, Europe experienced outbreaks of fluoroquinolone-resistant ST131-A that contained CTX-M β-lactamases and OXA-48-like carbapenemases. We investigated the acquisition of different an...

A molecular safeguard in Escherichia coli Braun’s lipoprotein (Lpp) biogenesis

ABSTRACT Braun’s lipoprotein (Lpp) is the most abundant protein present in Escherichia coli . Lpp is an outer membrane (OM) lipoprotein that contributes to the mechanical integrity of the cell envelope by tethering the OM to the underlying peptidoglycan (PGN). It has long been kn...

Confluence Techniques for Dependent Type Theory with Typed Conversion

In the meta-theoretic study of dependent type theory, confluence techniques are powerful tools for establishing the properties required when proving correctness of implementations. Unfortunately, such techniques have historically mostly been studied for type theories with untyped...