Cuong Kim Chau
In Vietnamese: Châu Kim Cường
PhD Student

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

Supervisors: Dr. Warren A. Hunt, Jr. & Dr. Matt Kaufmann

My CV: CV.pdf

Research Interests

• Formal Verification
• Mechanical Theorem Proving
• Computational Logic
• Machine Learning

Research Projects

• 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)

Publications

• 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 International Conference on Research, Innovation and Vision for the Future - in Computing and Communication Technologies
  RIVF 2009, pp. 264-271, Da Nang, Vietnam, July 2009

Courses

• 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)