Research Interests
Formal Methods, Verification, Applied Automated Reasoning, Applied Machine Learning,
Security
Talks
Summer School, Computer Science Summer in Russia, 2019
|
Research
|
PhD students
Maryam Almarwani, Haneen Alharbi, Najwa Muslih S Alharbi, Mahmood Alsaadi,
Faisal Alotaibi, Said Alriyami, Nahla Aburawi, Farah Al-Shareefi,
Ge Chu
PhD students completed their studies
Rafiq Saleh (2011), Abdulbasit M. Ahmed (2013), Abdelmageed Algamdi (2018), Iman Sedeeq (2018),
Farah Al-Shareefi (2019)
|