Sergueï Lenglet

I am currently a Post-Doc (funded by the ERCIM "Alain Bensoussan" Fellowship program) at the University of Wroclaw within the Programming Languages group, under the supervision of Professor Leszek Pacholski

• Post-doc at the Heriot-Watt University within the ULTRA group, under the supervision of J.B. Wells
• PhD student at the Université de Grenoble within the SARDES Team under the supervision of Alan Schmitt and Jean-Bernard Stefani.

My resume: in french, in english.

Contact:

Journal papers:

• Characterizing contextual equivalence in calculi with passivation preprint http
  S. Lenglet, A. Schmitt, J.B. Stefani, Information and Computation.

Conference papers:

• Normal form bisimulations for delimited-control operators. .pdf
  D. Biernacki, and S. Lenglet, submitted.
• Bisimulations for delimited-control operators. .pdf
  D. Biernacki, and S. Lenglet, accepted at FoSSaCS '12.
• Expansion for universal quantifiers .pdf
  S. Lenglet, and J. B. Wells, accepted at ESOP '12.
• Typing control operators in the CPS hierarchy. preprint http
  M. Biernacka, D. Biernacki, and S. Lenglet, PPDP '11.
• Howe's method for calculi with passivation. preprint http
  S. Lenglet, A. Schmitt, and J.B. Stefani, CONCUR '09.
• Normal bisimulations in process calculi with passivation. preprint http
  S. Lenglet, A. Schmitt, and J.B. Stefani, FoSSaCS '09.
• A core calculus for scala type checking. preprint http
  V. Cremet, F. Garillot, S. Lenglet, and M. Odersky, MFCS'06.

Research reports:

• Simple proofs of termination of evaluation for System F with control operators. .pdf
  M. Biernacka, D. Biernacki, and S. Lenglet, 2011.
  
• Howe's method for early bisimilarities. .pdf http
  S. Lenglet, A. Schmitt, J.B. Stefani, INRIA, 2008.
• Normal bisimulations in process calculi with passivation. .pdf http
  S. Lenglet, A. Schmitt, J.B. Stefani, INRIA, 2008.

PhD Thesis:

• Bisimulations dans les calculs avec passivation. .pdf http
  S. Lenglet, Université de Grenoble, 2010.