Naipeng Dong
Research Interests
Process algebra, verification, model checking, formal methods, security and privacyContact Information
| Naipeng DONG | |
| Address: |
Université du Luxembourg Faculté des Sciences, de la Technologie et de la Communication Computer Science and Communications 6, rue Richard Coudenhove-Kalergi L-1359 Luxembourg |
| Telephone: | (+352) 46 66 44 5759 |
| Fax: | (+352) 46 66 44 5500 |
| Office: | Campus Kirchberg, E110 |
| Email: | naipeng.dong at uni.lu |
| WWW: | http://satoss.uni.lu/naipeng/ |