Xiaohong Chen 陈霄泓
Welcome to my homepage. I'm a PhD student in Computer Science at the University of Illinois Urbana-Champaign. My research interests are in logic and formal methods, with a focus on improving the trustworthiness of programs, programming language implementations, and formal analysis tools.
I’m applying for a tenure-track faculty position.
Find my application below:
My currenct research topics include:
- matching logic [link]: a unifying logic foundation for programming languages, program properties, and program analysis, with a powerful proof system and a small proof checker. I study matching logic’s expressive power, soundness and completeness properties, decision procedures, and tool support for both interactive and automated reasoning.
- K framework [link]: a unifying semantics-based language framework, with a set of high-performance semantics-based language tools.
- proof generation: a practical technique to provide formal correctness guarantees to semantics-based language implementations and formal analysis tools. Computation and formal verification are certified by complete, rigorous, transparent, human-accessible, and machine-checkable proof objects as formal correctness certificates.
- 2016 to present (expected May 2023). PhD student. University of Illinois Urbana-Champaign, USA
- 2015 to 2016. Research assistant. Singapore University of Technology and Design, Singapore
- 2014 to 2015. Assistant lecturer. Birmingham City University, UK
- 2010 to 2014. B.S., Peking University, China
- Graduate College’s Dissertation Completion Fellowship (2022)
- Mavis Future Faculty Fellow (2020)
- Yunni & Maxine Pao Memorial Fellowship (2018-2019)
- China National Scholarship (2012-2013)