Chih-Duo Hong (Preferred)
Chih-Duo Hong
Assistant Professor, National Chengchi University
Joined
August 2023
Names
Emails
****@gmail.com (Confirmed)
Personal Links
Career & Education History
Assistant Professor
National Chengchi University (nccu.edu.tw)
2023 – Present
PhD student
Department of Computer Science, University of Oxford (cs.ox.ac.uk)
2017 – 2022
Advisors, Relations & Conflicts
Expertise
Neurosymbolic AI through logic and automata
Present
Computational learning
Present
Parameterized verification
Present
Publications
Co-Authors
- Ahmed Rezine
- Anthony W. Lin
- Bow-Yaw Wang
- Daniel Neider
- Fang Yu
- Frédéric Haziza
- Giorgio Delzanno
- Hongjian Jiang
- Julian Parsert
- Lijun Zhang
- Lorenzo Clemente
- Lukás Holík
- Matthew Hague
- Ming-I Huang
- Muhammad Najib
- Nishant Sinha
- Oliver Markgraf
- Ondrej Lengál
- Pablo Barceló
- Parosh Aziz Abdulla
- Philipp Rümmer
- Reino Niskanen
- Richard Mayr
- Rupak Majumdar
- Shin-Cheng Mu