Educations

My research focuses on formal modeling of the impact of cyber attacks on system safety. Particularly, we utilize formal modeling in Event-B and modeling in SysML to provide a framework for safety verification in the presence of cyberattacks. The framework supports a graphical front-end model that facilitates the understanding and a formal back-end model for verification. During the program, I have completed several courses in formal methods and safety-security co-engineering.

I did my master’s thesis on the Online Matching and AdWords problems in graph algorithms. The Online matching problem asks for an optimal matching while the graph appears over time. A variant of the Online Matching over weighted graphs called AdWords which is used in search engines to assign ADs to search queries. In the thesis, I write a survey on the state of the art and provide proof on an optical algorithm for online mathcing over random arrival inputs.

During the program, as well as some courses in applied and pure mathematics, I have completed several courses in Computer Engineering such as Database, Data Structure, Advanced Programming, and Machine and Assembly Languages. I have graduated as the first rank by GPA.

ARTISAN Summer School tackles the issues related to artificial intelligence and machine learning with regard to security and safety applications.

CySep is an event dedicated to solving real-world security and privacy (S&P) problems. It brings together S&P enthusiasts, students, Ph.D. students, researchers, teachers, and professionals. A set of top-notch seminars, delivered in person, cover a gamut of topics.