Cuong Kim Chau
In Vietnamese: Châu Kim Cường
PhD
Department of Computer Science
College of Natural Sciences
The University of Texas at Austin
Email: ckcuong 'at' cs.utexas.edu
Mail Address:
Department of Computer Science
The University of Texas at Austin
2317 Speedway, Stop D9500
Austin, Texas 78712
Supervisor:
Prof. Warren A. Hunt, Jr.
My CV: CV.pdf
Research Interests
- Formal Verification
- Mechanical Theorem Proving
- Computational Logic
Research Projects
Publications
- Cuong Chau (2019)
A Hierarchical Approach to Formal Modeling and Verification of Asynchronous Circuits
Ph.D. Dissertation, May 2019
- Cuong Chau, Warren A. Hunt Jr., Matt Kaufmann, Marly
Roncken, and Ivan Sutherland (2019)
A Hierarchical Approach to Self-Timed Circuit Verification
[Slides]
In the 25th IEEE International Symposium on Asynchronous Circuits and
Systems
ASYNC 2019, pp. 105-113, Hirosaki, Japan, May 2019
- Cuong Chau, Warren A. Hunt Jr., Matt Kaufmann, Marly
Roncken, and Ivan Sutherland (2018)
Data-Loop-Free Self-Timed Circuit Verification
[Slides]
In the 24th IEEE International Symposium on Asynchronous Circuits and
Systems
ASYNC 2018, pp. 51-58, Vienna, Austria, May 2018
- Cuong Chau, Warren A. Hunt Jr., Marly Roncken, and Ivan
Sutherland (2017)
A Framework for Asynchronous Circuit Modeling and Verification in ACL2
[Slides]
In the 13th Haifa Verification Conference
HVC 2017, pp. 3-18, Haifa, Israel, November 2017
- Cuong Chau and Marijn Heule (2016)
Computing Maximum Unavoidable Subgraphs Using SAT Solvers
[Slides]
In the 19th International Conference on Theory and Applications of
Satisfiability Testing
SAT 2016, pp. 196-211, Bordeaux, France, July 2016
- Cuong K. Chau, Matt Kaufmann, and Warren A. Hunt Jr. (2015)
Fourier Series Formalization in ACL2(r)
[Slides]
In the 13th International Workshop on the ACL2 Theorem Prover and Its
Applications
ACL2 2015, pp. 35-51, Austin, TX, USA, October 2015
- Islam Beltagy, Cuong Chau, Gemma Boleda, Dan Garrette, Katrin Erk,
and Raymond Mooney (2013)
Montague Meets Markov: Deep Semantics with Probabilistic Logical Form
In the 2nd Joint Conference on Lexical and Computational
Semantics
*SEM 2013, pp. 11-21, Atlanta, GA, USA, June 2013
- Tru H. Cao, Thao M. Tang, and Cuong K. Chau (2012)
Text Clustering with Named Entities: A Model,
Experimentation and Realization
Book Chapter in Intelligent Systems Reference Library, 1, Volume 23,
Data Mining: Foundations and Intelligent Paradigms
Springer, pp. 267-287
- Duong, V.T.T. & Cao, T.H. & Chau, C.K. & Quan, T.T. (2009)
Latent Ontological Feature Discovery for Text
Clustering
In the 7th IEEE-RIVF International Conference on Computing and
Communication Technologies
RIVF 2009, pp. 264-271, Da Nang, Vietnam, July 2009
Courses