CONVECS (
INRIA,
LIG )
Lina YE
| Email |
Lina.Ye@inria.fr
|
|---|
| Address | Inria Grenoble - Rhône-Alpes
|
|---|
| 655, avenue de l'Europe |
|---|
| F-38330 Montbonnot Saint Martin
|
|---|
|
|
My research interests include formal methods, automated verification, model-based design, specification languages, automata theory, petri nets, process algebra, concurrent and distributed systems, communicating systems, component and service-based systems.
I defended my PHD thesis in 2011 and during my thesis study, I developped several algorithms for diagnosability and predictability analysis of distributed discrete event systems in different frameworks.
I was a teaching assistant in the team IASI of LRI, Université Paris-Sud in 2011-2012.
Now I am a postdoctoral fellow in the CONVECS project-team of Inria Grenoble, where I work on verification of communicating systems using model checking.
Top
|
