SEAMS 2024 Keynote 2
- Resource Type
- Conference
- Authors
- Jun, Sun
- Source
- 2024 IEEE/ACM 19th Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS) SEAMS Software Engineering for Adaptive and Self-Managing Systems (SEAMS), 2024 IEEE/ACM 19th Symposium on. :109-109 Apr, 2024
- Subject
- Computing and Processing
Adaptation models
Adaptive systems
Autonomous systems
Computational modeling
Companies
Safety
Sun
- Language
- ISSN
- 2157-2321
Sun Jun is currently a professor at Singapore Management University (SMU). He received Bachelor and PhD degrees in computing science from National University of Singapore (NUS) in 2002 and 2006. He has been a faculty member since 2010. He was a visiting scholar at MIT from 2011–2012. Jun's research interests include AI safety, formal methods, program analysis and cyber-security. He is the co-founder of the PAT model checker. He has published many journal articles or peer-reviewed conference papers, many of which are published at top-tier venues. He serves as the technical consultant for multiple companies.