Information
I am a Ph.D. student in Computer Science at Uppsala University, Sweden (May 2015 - now). My supervisors are Dr. Mohamed Faouzi Atig
, Prf. Parosh Aziz Abdulla. I am a member of the Algorithmic Program Verification group.
Publications
- 2016
-
- Counter-Example Guided Program Verification
; Parosh Aziz Abdulla, Mohamed Faouzi Atig and Bui Phi Diep. In the Proceedings of 21st International Symposium on Formal Methods (FM16), Cyprus, November 2016.
- Counter-Example Guided Program Verification
Teaching
| Course | Code | Year | Period |
|---|---|---|---|
| Automata and Logic IT-system modeling | 1DL500 | 2015 | VT1 |
| Operating Systems and Process Oriented Programming | 1DT096 | 2016 | VT1, VT2 |
| Information Technology | 1DT051 | 2016 | HT1 |
| Introduction to STS | 5LH220 | 2016 | HT1 |