LEI SONG

Lei Song's Homepage

About Me

I am a Post-Doc researcher associated with groups Automation of Logic of MPI Saarbrücken and Dependable Systems and Software of Saarland University, under direction of Professor Holger Hermanns, since Nov. 2012.

Research Interests

Concurrency, Probabilistic Process Algebra, Verification and Model Checking.

Publications