← Back to directory
Jun Sun
Researcher Next ID · RN-036819
Researcher · Computer Science
Xi'an, Singapore
Accepting doctoral researchersFunding unknown
- Works count
- 888
- Citation count
- 11,000
- H-index
- 47
- i10-index
- 248
Research interests
Computer Science
Formal Methods in Verification
Software Testing and Debugging Techniques
Adversarial Robustness in Machine Learning
Software Reliability and Analysis Research
Software Engineering Research
Publications
PAT: Towards Flexible Verification under Fairness
Lecture notes in computer science · 2009 · https://doi.org/10.1007/978-3-642-02658-4_59
Current projects
No projects listed.