Research Interests
Formal Methods, Verification, Applied Automated Reasoning, Applied Machine Learning,
Experimental Mathematics
Security
Talks
Summer School, Computer Science Summer in Russia, 2019
|
Research
|
PhD students
Haneen Alharbi, Hadeel Alghamdi, Najwa Muslih S Alharbi,
Nouf Aljuaid, Safa Fallatah, Emmanouil Pitsikalis
PhD students successfully completed their studies
Rafiq Saleh (2011), Abdulbasit M. Ahmed (2013), Abdelmageed Algamdi (2018), Iman Sedeeq (2018),
Farah Al-Shareefi (2019), Nahla Aburawi (2019), Ge Chu (2021), Said Alriyami (2021), Mahmood Alsaadi (2021), Faisal Alotaibi (2022), Maryam Almarwani (2023), Yinzheng Zhong (2023)
|