|
Year |
Award |
|
2025 |
Outstanding Service on the Organization Committee — ASE '25 |
|
2020, 2021, 2025 |
Gold Medal for Java-Ranger at SV-COMP |
|
2022 |
Bronze Medal for Java-Ranger at SV-COMP |
|
2021 |
Recognition for Dedication to Student Learning, University of Minnesota, USA |
|
2019 |
Recipient of Grace Hopper Scholarship, USA |
|
2017 |
PhD Scholarship Award, University of Minnesota, USA |
|
2007 |
USA/Egypt Joint Research Award, Ain Shams University, Egypt |
|
Year(s) |
Role |
|
ASE'26, ISSTA'26 |
ASE & ISSTA PC Member |
|
ISSTA'26 |
Demo/SRC/Poster Track Co-Chair |
|
ICST'26 |
Testing Tools and Data Showcase PC Member |
|
ASU'26 |
Examination Committee Chair |
|
ASE'25 |
ASE Proceedings Co-Chair |
|
ISSTA'25 |
ISSTA Tool Demonstration Track PC Member |
|
ICICIS'25 |
PC memeber and Session Co-Chair |
|
GSoC'23 – present |
Google Summer of Code Organization Admin and/or Mentor for the JPF community |
|
SV-COMP '21–'23, '25 |
PC Member for Software Verification Competition |
No Records Were Found
No Records Were Found
No Records Were Found
No Records Were Found