Cuong Kim Chau
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

• Code Verification for Practical Machine Architectures (09/2013 - present)
• 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

• Islam Beltagy, Cuong Chau, Gemma Boleda, Dan Garrette, Katrin Erk and Raymond Mooney (2013)
  Montague Meets Markov: Deep Semantics with Probabilistic Logical Form
  In Proceedings of the Second Joint Conference on Lexical and Computational Semantics
  *SEM 2013, 11-21, Atlanta, GA, 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, 267-287
• Duong, V.T.T. & Cao, T.H. & Chau, C.K. & Quan, T.T. (2009)
  Latent Ontological Feature Discovery for Text Clustering
  In Proceedings of the 7th IEEE International Conference on Research, Innovation and Vision for the Future - in Computing and Communication Technologies
  (RIVF'2009, July 13-17, Da Nang, Vietnam), 264-271

Courses

• Spring 2015

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