I am a fourth year Computer Science Ph.D. student at the National University of Singapore, where I am fortunate to be advised by Kuldeep S. Meel.

My research topics include Answer Set Programming, Logic Programming, Formal Method, Metaheuristic.

Here is my CV. You can reach me at mahibuet045@gmail.com.

I am on academic job market (Postdoc or Faculty position)


Education


Publications

Preprint


Research Group

I work in the Meel Research Group. We are situated in NUS and the University of Toronto.


Theme