I enroll as a joint PhD student at ENS Lyon and ECNU. Now, I am working in the team ROMA at the LIP laboratory, under the supervision of Yves Robert and Frédéric Vivien.
Recently, we are working on checkpointing strategies for real-time systems. My research interests are mainly in:
- scheduling problems
- and resilience for large-scale platforms.
If you have any questions or comments, please do not hesitate to contact me :)
Conferences and workshops
Checkpointing Workflows for Fail-Stop Errors.
L. Han, LC. Canon, H. Casanova, Y. Robert and F. Vivien.
CLUSTER, Hawaii, USA, September 5-8, 2017
Safety Requirements Specification and Verification for Railway Interlocking Systems.
L. Han, J. Liu, T. Zhou, J. Sun and X. Chen.
COMPSAC, Atlanta, USA, June 10-14, 2016
Using Safety Requirement Patterns to Elicit Requirements for Railway Interlocking Systems.
X. Chen, L. Han, J. Liu and H. Sun.
REW, Beijing, China, September 12-16, 2016
- Sailing Competition of 2008 Beijing Olympic Games, 2011 GDC China, 2015 CSC Volunteer.
- I served as League branch secretary for five years. Our branch was honored to “Advanced League Branch”.