I am Muath Alkhalaf a PhD student at UCSB in Computer Science Department. I am interested in Software Verification and testing and I am doing my research in this areas. I am a member of Software Verification Lab supervised by Prof. Tevfik Bultan. I am also interested in Computer Security and a member of UCSB hackers group. Thank you for visiting.

Here is my CV

Here is my GPG public key