|
Mahmoud Elfar
I am a postdoctoral scholar at the University of California, Irvine,
where I work with Prof. Yasser Shoukry in the Resilient
Cyber-Physical Systems Lab (RCPSL).
I earned my PhD degree in computer engineering from Duke University, where I was a PhD student
at
the Cyber-Physical Systems Lab (CPSL).
My research interests include human-robot interaction (HRI), human-on-the-loop, cyber-physical
systems, formal methods, artificial intelligence, reinforcement learning, and product design.
Before joining academia, I had extensive experience in industry. I worked at Valeo as an
embedded
software engineer on projects involving Renault, Peugeot, Citroen, and BMW. Beside software
development and testing activities, I also carried out R&D activities, where I invented Medusa:
a
tool that facilitated software-hardware integration activities. The tool was deployed in all
Valeo's
software branches around the world. Prior to Valeo, I was an R&D engineer at Schneider Electric,
during which I designed subsystems for medium-voltage RoNEX switchboard, and I also successfully
planned and supervised for the product official testing and certification.
Outside research, I like crafting, volunteering, and listening to podcasts. From time to time, I
help reddit users with troubleshooting computer-related problems.
|
|
|
Email /
Curriculum Vitae /
Google Scholar
/
LinkedIn /
ResearchGate /
Github /
Twitter /
ORCID
|
|
|
Deep reinforcement learning-based approach for efficient and reliable droplet
routing on
MEDA biochips
Mahmoud Elfar, Yi-Chen Chang, Harrison Hao-Yu Ku, Tung-Che Liang, Krishnendu Chakrabarty,
and
Miroslav Pajic
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 2022.
|
Adaptive droplet routing for MEDA biochips via deep reinforcement learning
Mahmoud Elfar, Tung-Che Liang, Krishnendu Chakrabarty, and Miroslav Pajic
In 2022 Design, Automation & Test in Europe Conference & Exhibition (DATE), pages 640–645
IEEE, 2022 (Best Paper Award Finalist).
|
Formal synthesis of adaptive droplet routing for MEDA biochips
Mahmoud Elfar, Tung-Che Liang, Krishnendu Chakrabarty, and Miroslav Pajic
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 2021.
|
Formal synthesis of adaptive droplet routing for MEDA biochips
Mahmoud Elfar, Tung-Che Liang, Krishnendu Chakrabarty, and Miroslav Pajic
In 2021 Design, Automation & Test in Europe Conference & Exhibition (DATE), pages 324–329
IEEE, 2021.
|
Context-aware temporal logic for probabilistic systems
Mahmoud Elfar, Yu Wang, and Miroslav Pajic
In International Symposium on Automated Technology for Verification and Analysis, pages
215–232
Springer, 2020.
|
Security-aware synthesis using delayed-action games
Mahmoud Elfar, Yu Wang, and Miroslav Pajic
In International Conference on Computer Aided Verification, pages 180–199
Springer, 2019.
|
Security-aware synthesis of human-UAV protocols
Mahmoud Elfar, Haibei Zhu, Mary L Cummings, and Miroslav Pajic
In 2019 International Conference on Robotics and Automation (ICRA), pages 8011–8017
IEEE, 2019.
|
Operator strategy model development in UAV hacking detection
Haibei Zhu, Mary L Cummings, Mahmoud Elfar, Ziyao Wang, and Miroslav Pajic
IEEE Transactions on Human-Machine Systems, 49(6):540–549, 2019.
|
Human augmentation of UAV cyber-attack detection
Haibei Zhu, Mahmoud Elfar, Miroslav Pajic, Ziyao Wang, and Mary L Cummings
In International Conference on Augmented Cognition, pages 154–167
Springer, 2018.
|
Synthesis of error-recovery protocols for micro-electrode-dot-array digital
microfluidic
biochips
Mahmoud Elfar, Zhanwei Zhong, Zipeng Li, Krishnendu Chakrabarty, and Miroslav Pajic
ACM Transactions on Embedded Computing Systems (TECS), 16(5s):1–22, 2017.
|
Platform for security-aware design of human-on-the-loop cyber-physical systems
Mahmoud Elfar, Haibei Zhu, Adithya Raghunathan, Yi Y Tay, Jeffrey Wubbenhorst, ML
Cummings,
and Miroslav Pajic
In Proceedings of the 8th International Conference on Cyber-Physical Systems, pages 93–93
ACM, 2017.
|
Targeted penetration of mcf-7 cells using iron-oxide nanoparticles in vitro
Mahmoud Elfar, Mariam Ayoub, Aya Sameh, Hazem Abass, Reham M Abdel-Kader, Iman Gomaa, and
Islam SM Khalil
In 2016 6th IEEE International Conference on Biomedical Robotics and Biomechatronics
(BioRob),
pages 260–265
IEEE, 2016.
|
|
