Visit UAB Apply to UAB Request Info

Advising Undergraduate Catalog Request Info Research and Service Learning

Graduate School Graduate Catalog Online Degrees

Services Resources Family Visits

Get Involved Benefits Events

Office of Provost Human Resources Faculty Resources Staff Council

Office of Research Harbert Institute CCTS

UAB Medicine UAB Dentistry UAB Optometry

Colleges & Schools

Blaze a Brighter Future

Department of Computer Science College of Arts and Sciences

LessMore in this section

Cheng-En Chuang

Assistant Professor
This email address is being protected from spambots. You need JavaScript enabled to view it.
UH 4131

Education:

Ph.D. in Computer Science and Engineering, University at Buffalo, Buffalo, NY

Dr. Chuang's research focuses on programming languages (PL) and formal verification for concurrent and distributed systems. His work closes the gap between design documents and practical implementations in these systems, guaranteeing that communication protocols preserve important invariants.

His research has been published in premier venues including Principles of Programming Languages (POPL), Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA), Transactions on Programming Languages and Systems (TOPLAS), and the Journal of Functional Programming (JFP). Notably, his work on validating rate compatibility for embedded devices, demonstrating rigorous, formally correct software, received the Distinguished Artifact Award at OOPSLA 2023.