CV Highlights
The full CV can be accessed here.
Education
- Ph.D in Computer Science, University of Illinois at Urbana-Champaign, 2011
- M.S. in Computer Science, University of Illinois at Urbana-Champaign, 2005
- B.S. in Computer Science, King Fahd University of Petroleum and Minerals, 2002
Work experience
- 2018–Present: Senior Research Engineer, Runtime Verification Inc., Urbana, IL, USA
- 2017-2018: Visiting Research Scholar, University of Pennsylvania, Philadelphia, PA, USA
- 2013–2017: Assistant Dean of Research, King Fahd University of Petroleum and Minerals, Dhahran, Saudi Arabia
- 2011–2019: Assistant Professor in Computer Science, King Fahd University of Petroleum and Minerals, Dhahran, Saudi Arabia
- Summer 2008: Research Engineer Intern, DOCOMO USA LABS, Palo Alto, CA, USA
- 2007-2011: Research Assistant, University of Illinois at Urbana-Champaign, Urbana, IL, USA
- 2006–2007: Graduate Research Assistant, National Center for Supercomputing Applications, Urbana, IL, USA
Honors and Awards
- 2014: Distinguished Service Award · College of Computer Science and Eng., KFUPM
- 2008: Scholarship Award · King Abdullah Scholar Award for Excellence in Research
- 2003: Scholarship Award · Higher Education Scholarship Award for Graduate Studies
- 2002: First Honors · First Honors Award in Computer Science
- 1997: First Place · Prince Muhammad bin Fahd’s Award for Scientific Excellence
Graduate Student Supervision
- Turki Alhazmi · A formal system for computable financial contracts (Spring 2018)
- Shadi Alhaj · A rewriting logic formalization of regular string transformations and formal analysis of transformation expressions (Spring 2017)
- Omar Alzuhaibi · A Formal Semantics of Orc using the K Framework and Formal Verification of Orc Programs (Fall 2016)
- Taher Ghaleb · Improved Reverse Engineering Technique for Program Comprehension with Effective Sequence Diagrams (Spring 2016)
Service
- FTSCS 2012–2015 · International Workshop on Formal Techniques for Safety-Critical Systems
- SCP 2017, 2019 · Science of Computer Programming Journal
- JLAMP 2017 · Journal of Logical and Algebraic Methods in Programming
- FAC 2011 · Formal Aspects of Computing Journal
- JCS 2010 · Journal of Computer Security
Selected Publications
See the Publications page or my CV for a complete list of publications.
Selected Talks
See the Talks page for some highlights or my CV for a complete list of talks.
Teaching
See Teaching.
Skills
- Programming: C/C++, Java, Python, OCaml, Haskell, Perl, Bash, LaTeX
- Web: Javascript, JQuery, PHP, HTML5, CSS
- Verification: Maude, K, Coq, Isabel/HOL, Java Modeling Language (JML), NuSMV, CVC4, Z3
- Languages: Fluent in both Arabic (native language) and in English