**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: **
Dr. Warren A. Hunt, Jr.

**My CV: ****CV.pdf**

- Formal Verification
- Mechanical Theorem Proving
- Computational Logic

- Analyzing Asynchronous Circuits Using ACL2 (09/2015 - present)
- IsoLator: Avoiding Isomorphic Graphs Effectively (09/2015 - 01/2016)
- Non-Standard Analysis in ACL2(r) (11/2014 - 09/2015)
- Code Verification for Practical Machine Architectures (09/2013 - 05/2015)
- Statistical Relational Learning and Script Induction for Textual Inference (01/2013 - 08/2013)
- Information Processing on Semantic Web and Applications (2010 - 2011)
- Information Extraction and Integration on Vietnamese Semantic Web (2007 - 2009)

**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

**Fall 2015**Verification and Synthesis for Cyberphysical Systems (Prof. Ufuk Topcu) - Audit

**Spring 2015**Automated Logical Reasoning (Prof. Isil Dillig) - Audit

**Fall 2014**Numerical Analysis: Linear Algebra (Prof. Robert A. van de Geijn) - Audit

**Fall 2013**Dependable Computing Systems (Prof. Aloysius K. Mok)

**Spring 2013**Applied Natural Language Processing (Prof. Jason M Baldridge)

Computer Organization & Architecture (Prof. James Peterson) - Undergraduate Course

Conference Course (Prof. Raymond J. Mooney)

**Fall 2012**Graphical Models (Prof. Pradeep Ravikumar)

Linear Programming (Prof. David Morton)

Programming Languages (Prof. William R. Cook)

**Spring 2012**Combinatorics and Graph Theory (Prof. Anna Gal)

Machine Learning (Prof. Dana H. Ballard)

Natural Language Processing (Prof. Raymond J. Mooney)

**Fall 2011**Data Mining: A Mathematical Perspective (Prof. Inderjit S. Dhillon)

Recursion and Induction I (Prof. J Strother Moore)