Jun Pang
Research Interests
- Concurrency theory, process algebra, formal verification, model checking, distributed algorithms, security and privacy, formal models of biological systems
- I maintain a collection of call for papers on security and privacy with Xihui Chen.
Contact Information
| Jun PANG | |
| 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 5625 |
| Fax: | (+352) 46 66 44 5620 (with a cover page) |
| Office: | Campus Kirchberg, E204 |
| Email: |  |
| WWW: | http://satoss.uni.lu/jun/ |
(Join us through the FNR/AFR grant schemes as a PhD student or a postdoc. Please don't hesitate to contact me!)
Research summary as a Wordle cloud
