Research Goal:

I envision a future where embodied human-centered computing systems, such as diagnostic devices, seamlessly integrate with human environments and biology, continuously evolving to meet individual needs and dynamically responding to changes in their surroundings. Driven by this vision, my goal is to enhance the capabilities of these systems by developing cognitive frameworks that are energy-efficient, robust, trustworthy, and explainable. Unlike existing solutions, my work focuses on creating sustainable sensory-motor cognitive capabilities that enable such systems to learn and adapt in real-time while optimizing energy use, ensuring long-term efficiency and reduced environmental impact. Furthermore, my research is inherently interdisciplinary, drawing inspiration from biological principles to design more adaptable and resilient systems. Central to this is the concept of algorithm-system-hardware co-design, where cognitive algorithms are developed in conjunction with customized system models and energy-efficient hardware architectures. This holistic design strategy fosters tight integration between computational processes and physical components, resulting in more scalable and robust systems than traditional siloed designs.

Current Research Projects

Coming soon...!

Past Research Projects

Hardwre-Software Codesign of Hybrid Microfluidic Biochips for Biomolecular Quantitative Analysis: System Modeling, Synthesis, and Optimization Methodologies

Considerable effort has been devoted in recent years to the design and implementation of microfluidic platforms for biomolecular quantitative analysis. However, today's platforms suffer from the drawback that they were optimized for sample limited analyses, thus they are inadequate for practical quantitative analysis and the processing of multiple samples through independent pathways. Design optimization techniques for microfluidics have been studied in recent years, but they overlook the myriad complexities of biomolecular protocols and are yet to make an impact in microbiology research. The realization of microfluidic platforms for real-life quantitative analysis requires a new optimization flow that is based on the realistic modeling of biomolecular protocols.

Motivated by the above needs, this project is focused on an optimized and trustworthy transfer of benchtop biomolecular analysis, particularly epigenetic studies, to programmable and cyber-physical microfluidic biochips. In collaboration with Duke Molecular Genetics and Microbiology, Mohamed has transferred gene-expression analysis and epigenetic protocols, e.g., chromatin immunoprecipitation, from bench-scale settings and has streamlined a generic optimization flow for various classes of biomolecular analysis protocols. Adopted optimization methods were based on cyber-physical system integration, real-time systems, CFD simulations, formal methods, modeling of stochastic processes, regression analysis, and more.

Selected Publications: [J4][J7][J10][J13]

Improving Trust in Emerging Microfluidic Biochips-based DNA Forensics

Microfluidics-driven biomolecular analysis can offer remarkable benefits, especially for mission-critical applications such as forensic DNA analysis. Several microfluidic commercial developers, including U.S.-based IntegenX, ANDE, and Lockheed Martin, have already started to roll out prototypes aiming to replace traditional benchtop procedures for DNA forensics, and it is anticipated that design automation and cyber-physical integration will play a significant role in advancing this technology. However, the pressure to drive down costs besides the proliferation of IoT-based connectedness will lead to cheap untrusted microfluidic devices and a multitude of unanticipated privacy violations if preventative measures are not taken. Trustworthy DNA forensic science are particularly relevant to defense applications and broader security needs.

Sensitive information in a microfluidic device can include data collected after processing of the fluids and personally identifying metadata. Irresponsible handling of patient data has led to the breakup of companies in the past, and current device makers would do well to learn from those mistakes. Other issues include trust in the sensor readings themselves; the rise and fall of Theranos, and the invalidation of two years worth of test results set a poor precedent for microuidics diagnostics. The nascent nature of microfluidics in biomolecular quantitative analysis presents an opportunity to incorporate security and trust in such critical applications before it becomes too late to rescue this rising industry from security threats.

Motivated by the above needs, this project is focused on creating the science of secure DNA forensics with the help of microfluidics technology. In collaboration with NYU Center for Cybersecurity (Professor Ramesh Karri's group) and Duke Molecular Genetics and Microbiology, Mohamed has worked on the assessment of the security implications of emerging forensic flows and has also provided appropriate countermeasures to secure such flows.

Selected Publications: [J2][J3][J19]

The Internet of Microfluidic Things: An Integrative Cyber-Physical System for Large-Scale Microfluidics-Driven Diagnostics

The integration of microfluidics and biosensor technology is transforming microbiology research by providing new capabilities for clinical diagnostics, cancer research, and pharmacology studies. This integration enables new approaches for biochemistry automation and cyber-physical adaptation. Similarly, recent years have witnessed the rapid growth of the Internet of Things (IoT) paradigm, where different types of real-world elements such as wearable sensors are connected and allowed to autonomously interact with each other. Combining the advances of both cyber-physical microfluidics and IoT domains can generate new opportunities for knowledge fusion by transforming distributed local microfluidic elements into a global network of coordinated microfluidic systems.

This research aims to streamline this transformation and it presents a research vision for enabling the Internet of Microfluidic Things (IoMT). To leverage advances in connected Microfluidic Things, the research introduces new perspectives on system architecture, and describe technical challenges related to design automation, temporal flexibility, security, and service assignment. This vision can play a critical role in advancing the responses of clinical healthcare to global pandemics such as COVID-19. It can also be used to support complex cancer research and pharmacology studies.

Selected Publications: [J5][J8][C19]

Hardware-Software Codesign for Real-Time Error Recovery in Cyber-Physical Digital Microfluidic Biochips

Digital microfluidics is a reconfigurable lab-on-chip technology that has achieved remarkable success in miniaturizing point-of-care (POC) quantitative-analysis testing. However, a major stumbling block in the monitoring and controlling of diseases via such POC systems is the lack of reliable diagnostic tests that can recover from unexpected errors. In addition, diagnostic tests, similar to all other quantitative-analysis procedures, are inherently stochastic systems that exhibit complex interactions among their constituent biochemical components. Such characteristics signify the need for real-time error-recovery methods that verify the correctness of on-chip fluidic interactions on-the-fly during bioassay execution.

To add resilience to digital-microfluidic control, Mohamed first introduced an efficient design method for digital microfluidic platforms to support error detection and recovery. The proposed design is based on cyber-physical system integration and it enables real-time monitoring of biochemical reactors (droplets) using capacitive sensors. Mohamed and his colleagues from Duke Microfluidics Lab designed and tested an all-hardware implementation of a cyber-physical microfluidic platform, thus enabling a portable POC setting that is resilient against faults.

Sample Publications: [J1][C1][C2]

Books

1. Optimization of Trustworthy Biomolecular Quantitative Analysis Using Cyber-Physical Microfluidic Platforms, Mohamed Ibrahim and Krishnendu Chakrabarty, CRC Press, 2020.
2. Secure and Trustworthy Cyberphysical Microfluidic Biochips, Jack Tang, Mohamed Ibrahim, Krishnendu Chakrabarty, and Ramesh Karri, Springer, 2020.

Book Chapters

1. Digital Microfluidic Biochip Security, Jack Tang, Mohamed Ibrahim, Krishnendu Chakrabarty, and Ramesh Karri -- in Mark Tehranipoor, Domenic Forte, Garrett Rose, and Swarup Bhunia, ed., Security Opportunities by Nano Devices and Emerging Technologies, CRC Press, December 2017.
2. Advances in Design Automation Techniques for Digital-Microfluidic Biochips, Mohamed Ibrahim, Zipeng Li, and Krishnendu Chakrabarty -- in Rolf Drechsler and Ulrich Kühne, ed., Formal Modeling and Verification of Cyber Physical Systems, pp. 190-223, Springer Fachmedien Wiesbaden, September 2015.
3. Pin-Count and Wire Length Optimization for Electrowetting-on-Dielectric Chips: A Metaheuristics-Based Routing Algorithm, Mohamed Ibrahim, Cherif Salama, Mohamed Watheq El-Kharashi, and Ayman Wahba -- in Mourad Fakhfakh, Esteban Tlelo-Cuautle and Patrick Siarry, ed., Computational Intelligence in Digital and Network Designs and Applications, pp. 271-294, Springer International Publishing, 2015.

Journals

1. Towards Efficient Neuro-Symbolic AI: From Workload Characterization to Hardware Architecture, Zishen Wan, Che-Kai Liu, Hanchen Yang, Ritik Raj, Chaojian Li, Haoran You, Yonggan Fu, Cheng Wan, Sixu Li, Youbin Kim, Ananda Samajdar, Yingyan (Celine) Lin, Mohamed Ibrahim, Jan M. Rabaey, Tushar Krishna, and Arijit Raychowdhury, IEEE Transactions on Circuits and Systems for Artificial Intelligence (TCASAI), 2024. [ Press: Fotune ]
2. Efficient Regulation of Synthetic Biocircuits Using Droplet-Aliquot Operations on MEDA Biochips, Mohamed Ibrahim, Zhanwei Zhong, Bhargab B. Bhattacharya, and Krishnendu Chakrabarty, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems (TCAD), 2021.
3. Molecular Barcoding as a Defense against Benchtop Biochemical Attacks on DNA Fingerprinting and Information Forensics, Mohamed Ibrahim, Tung-Che Liang, Kristin Scott, Ramesh Karri, and Krishnendu Chakrabarty, IEEE Transactions on Information Forensics & Security (TIFS), 2020. [ Press: Pratt School of Engineering - WRAL TechWire - Phys.org ]
4. Bio-chemical Assay Locking to Thwart Bio-IP Theft, Sukanta Bhattacharjee, Jack Tang, Sudip Poddar, Mohamed Ibrahim, Ramesh Karri, and Krishnendu Chakrabarty, ACM Transactions on Design Automation of Electronic Systems (TODAES), 2019.
5. Synterface: Efficient Chip-to-World Interfacing for Flow-Based Microfluidic Biochips Using Control-Pin Minimization, Aditya Sridhar, Mohamed Ibrahim, and Krishnendu Chakrabarty, ACM Transactions on Embedded Computing Systems (TECS), 2019.
6. Analysis and Design of Tamper-Mitigating Microfluidic Routing Fabrics, Jack Tang, Mohamed Ibrahim, Krishnendu Chakrabarty, and Ramesh Karri, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems (TCAD), 2019.
7. An Efficient Fault-Tolerant Valve-Based Microfluidic Routing Fabric for Droplet Barcoding in Single-Cell Analysis, Yasamin Moradi, Mohamed Ibrahim, Krishnendu Chakrabarty, and Ulf Schlichtmann, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems (TCAD), 2018.
8. Synthesis of Tamper-Resistant Pin-Constrained Digital Microfluidic Biochips, Jack Tang, Mohamed Ibrahim, Krishnendu Chakrabarty, and Ramesh Karri, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems (TCAD), 2018.
9. Synthesis of Reconfigurable Flow-Based Biochips for Scalable Single-Cell Screening, Mohamed Ibrahim, Aditya Sridhar, Krishnendu Chakrabarty, and Ulf Schlichtmann, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems (TCAD), 2018. [ Technical Report ]
10. Towards Secure and Trustworthy Cyberphysical Microfluidic Biochips, Jack Tang, Mohamed Ibrahim, Krishnendu Chakrabarty, and Ramesh Karri, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems (TCAD), 2018. [ Keynote Paper ]
11. Randomized Checkpoints: A Practical Defense for Cyberphysical Microfluidic Systems, Jack Tang, Mohamed Ibrahim, and Krishnendu Chakrabarty, IEEE Design & Test (D&T), 2018.
12. Synthesis of a Cyberphysical Hybrid Microfluidic Platform for Single-Cell Analysis, Mohamed Ibrahim, Krishnendu Chakrabarty, and Ulf Schlichtmann, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems (TCAD), 2018. [ Technical Report ]
13. Randomized Checkpoints: A Practical Defense for Cyberphysical Microfluidic Systems, Jack Tang, Mohamed Ibrahim, and Krishnendu Chakrabarty, IEEE Design & Test (D&T), 2018.
14. From EDA to IoT eHealth: Promises, Challenges, and Solutions, Farshad Firouzi, Bahar Farahani, Mohamed Ibrahim, and Krishnendu Chakrabarty, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems (TCAD), 2018. [ Keynote Paper ]
15. Cyber-physical Digital-Microfluidic Biochips: Bridging the Gap between Microfluidics and Microbiology, Mohamed Ibrahim and Krishnendu Chakrabarty, Proceedings of the IEEE, 2018. [ 2016 Impact Factor = 9.237 ]
16. Secure Randomized Checkpointing for Digital Microfluidic Biochips, Jack Tang, Mohamed Ibrahim, Krishnendu Chakrabarty, and Ramesh Karri, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems (TCAD), 2017.
17. BioCyBig: A Cyberphysical System for Microfluidics-Driven Analysis of Integrative Genomic Association Studies, Mohamed Ibrahim, Krishnendu Chakrabarty, and Jun Zeng, IEEE Transactions on Big Data (TBD), 2017.
18. Synthesis of Cyberphysical Digital-Microfluidic Biochips for Real-Time Quantitative Analysis, Mohamed Ibrahim, Krishnendu Chakrabarty, and Kristin Scott, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems (TCAD), 2016.
19. Supply-Chain Security of Digital-Microfluidic Biochips, Sk Subidh Ali, Mohamed Ibrahim, Jeyavijayan Rajendran, Ozgur Sinanoglu, and Krishnendu Chakrabarty, IEEE Computer, 2016. [ "Cover Feature" in the August 2016 issue of IEEE Computer ]
20. Security Assessment of Cyberphysical Digital-Microfluidic Biochips, Sk Subidh Ali, Mohamed Ibrahim, Ozgur Sinanoglu, Krishnendu Chakrabarty, and Ramesh Karri, IEEE/ACM Transactions on Computational Biology and Bioinformatics (TCBB), 2015.
21. Efficient Error Recovery in Cyberphysical Digital-Microfluidic Biochips, Mohamed Ibrahim and Krishnendu Chakrabarty, IEEE Transactions on Multiscale Computing Systems (TMSCS), 2015.

Conference Papers

1. ReCA: Integrated Acceleration for Real-Time and Efficient Cooperative Embodied Autonomous Agents, Zishen Wan, Yuhang Du, Mohamed Ibrahim, Jiayi Qian, Jason Jabbour, Yang (Katie) Zhao, Vijay Janapa Reddi, Tushar Krishna, and Arijit Raychowdhury, Proceedings of ACM International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS), 2025.
2. Thinking and Moving: An Efficient Computing Approach for Integrated Task and Motion Planning in Cooperative Embodied AI Systems, Zishen Wan, Yuhang Du, Mohamed Ibrahim, Yang (Katie) Zhao, Tushar Krishna, Arijit Raychowdhury, Proceedings of the IEEE/ACM International Conference on Computer-Aided Design (ICCAD), 2024.
3. Neuro-Symbolic Architecture Meets Large Language Models: A Memory-Centric Perspective, Mohamed Ibrahim, Zishen Wan, Haitong Li, Priyadarshini Panda, Tushar Krishna, Pentti Kanerva, Yiran Chen, and Arijit Raychowdhury, Proceedings of IEEE/ACM International Conference on Hardware/Software Codesign and System Synthesis (CODES+ISSS), 2024.
4. H3DFact: Heterogeneous 3D Integrated CIM for Factorization with Holographic Perceptual Representations, Zishen Wan, Che-Kai Liu, Mohamed Ibrahim, Hanchen Yang, Samuel Spetalnick, Tushar Krishna, and Arijit Raychowdhury, Proceedings of the IEEE/ACM Design, Automation and Test in Europe Conference (DATE), 2024.
5. Efficient Design of a Hyperdimensional Processing Unit for Multi-Layer Cognition, Mohamed Ibrahim, Youbin Kim, and Jan M. Rabaey, Proceedings of the IEEE/ACM Design, Automation and Test in Europe Conference (DATE), 2024.
6. A Brain-Inspired Hierarchical Reasoning Framework for Cognition-Augmented Prosthetic Grasping, Laura I. Galindez Olascoaga, Alisha Menon, Mohamed Ibrahim, and Jan M. Rabaey, International Workshop on Combining Learning and Reasoning: Programming Languages, Formalisms, and Representations (CLeaR), 2022.
7. AdaPool: Multi-Armed Bandits for Adaptive Virology Screening on Cyber-Physical Digital-Microfluidic Biochips, Mohamed Ibrahim, Proceedings of the ACM/IEEE Workshop on Machine Learning for CAD (MLCAD), 2020.
8. Internet of Microfluidic Things: Perspectives on System Architecture and Design Challenges, Mohamed Ibrahim, Maria Gorlatova, and Krishnendu Chakrabarty, Proceedings of the IEEE/ACM International Conference on Computer-Aided Design (ICCAD), 2019.
9. BioScan: Parameter-Space Exploration of Synthetic Biocircuits Using MEDA Biochips, Mohamed Ibrahim, Bhargab Bhattacharya, and Krishnendu Chakrabarty, Proceedings of the IEEE/ACM Design, Automation and Test in Europe Conference (DATE), 2019.
10. Tamper-Resistant Pin-Constrained Digital Microfluidic Biochips, Jack Tang, Mohamed Ibrahim, Krishnendu Chakrabarty, and Ramesh Karri, Proceedings of the IEEE/ACM Design Automation Conference (DAC), 2018.
11. Locking of Biochemical Assays for Digital Microfluidic Biochips, Sukanta Bhattacharjee, Jack Tang, Mohamed Ibrahim, Krishnendu Chakrabarty, and Ramesh Karri, Proceedings of the IEEE European Test Symposium (ETS), 2018.
12. Fault-Tolerant Valve-Based Microfluidic Routing Fabric for Droplet Barcoding in Single-Cell Analysis, Yasamin Moradi, Mohamed Ibrahim, Krishnendu Chakrabarty, and Ulf Schlichtmann, Proceedings of the IEEE/ACM Design, Automation and Test in Europe Conference (DATE), 2018.
13. Exact Synthesis of Biomolecular Protocols for Multiple Sample Pathways on Digital Microfluidic Biochips, Oliver Keszocze, Mohamed Ibrahim, Robert Wille, Krishnendu Chakrabarty, and Rolf Drechsler, Proceedings of the IEEE International Conference on VLSI Design (VLSID), pp. 121-126, 2018.
14. Security Trade-offs in Microfluidic Routing Fabrics, Jack Tang, Mohamed Ibrahim, Krishnendu Chakrabarty, and Ramesh Karri, Proceedings of the IEEE International Conference on Computer Design (ICCD), 2017.
15. Security Implications of Cyberphysical Flow-Based Microfluidic Biochips, Jack Tang, Mohamed Ibrahim, Krishnendu Chakrabarty, and Ramesh Karri, Proceedings of the IEEE Asian Test Symposium (ATS), 2017.
16. Sortex: Efficient Timing-Driven Synthesis of Reconfigurable Flow-Based Biochips for Scalable Single-Cell Screening, Mohamed Ibrahim, Aditya Sridhar, Krishnendu Chakrabarty, and Ulf Schlichtmann, Proceedings of the IEEE/ACM International Conference on Computer-Aided Design (ICCAD), 2017.
17. Digital-Microfluidic Biochips for Quantitative Analysis: Bridging the Gap between Microfluidics and Microbiology, Mohamed Ibrahim and Krishnendu Chakrabarty, Proceedings of the IEEE/ACM Design, Automation and Test in Europe Conference (DATE), 2017.
18. CoSyn: Efficient Single-Cell Analysis Using a Hybrid Microfluidic Platform, Mohamed Ibrahim, Krishnendu Chakrabarty, and Ulf Schlichtmann, Proceedings of the IEEE/ACM Design, Automation and Test in Europe Conference (DATE), 2017. [ Received Best Paper Award! ][ Extended Technical Report ]
19. Cyberphysical Adaptation in Digital-Microfluidic Biochips, Mohamed Ibrahim and Krishnendu Chakrabarty, Proceedings of the IEEE Biomedical Circuits & Systems Conference (BioCAS), 2016.
20. Microfluidic Encryption of On-Chip Biochemical Assays, Sk Subidh Ali, Mohamed Ibrahim, Ozgur Sinanoglu, Krishnendu Chakrabarty, and Ramesh Karri, Proceedings of the IEEE Biomedical Circuits & Systems Conference (BioCAS), 2016.
21. Securing Digital-Microfluidic Biochips by Randomizing Checkpoints, Jack Tang, Mohamed Ibrahim, Krishnendu Chakrabarty, and Ramesh Karri, Proceedings of the IEEE International Test Conference (ITC), 2016.
22. A Real-Time Digital-Microfluidic Platform for Epigenetics, Mohamed Ibrahim, Craig Boswell, Krishnendu Chakrabarty, Kristin Scott, and Miroslav Pajic, Proceedings of the IEEE/ACM International Conference on Compilers, Architectures and Synthesis For Embedded Systems (CASES), 2016.
23. Integrated and Real-Time Quantitative Analysis Using Cyberphysical Digital-Microfluidic Biochips, Mohamed Ibrahim, Krishnendu Chakrabarty, and Kristin Scott, Proceedings of the IEEE/ACM Design, Automation and Test in Europe Conference (DATE), 2016.
24. Security Implications of Cyber-Physical Digital-Microfluidic Biochips, Sk Subidh Ali, Mohamed Ibrahim, Ozgur Sinanoglu, Krishnendu Chakrabarty, and Ramesh Karri, Proceedings of the IEEE International Conference on Computer Design (ICCD), 2015.
25. Experimental Demonstration of Error Recovery in an Integrated Cyberphysical Digital-Microfluidic Platform, Kai Hu, Mohamed Ibrahim, Liji Chen, Zipeng Li, Krishnendu Chakrabarty, and Richard Fair, Proceedings of the IEEE Biomedical Circuits & Systems Conference (BioCAS), 2015.
26. Error Recovery in Digital Microfluidics for Personalized Medicine, Mohamed Ibrahim and Krishnendu Chakrabarty, Proceedings of the IEEE/ACM Design, Automation and Test in Europe Conference (DATE), 2015.

Posters & Talks

1. Biologically Inspired Neuro-Symbolic Computing for Human-Centered AI, Talk at UT Dallas, Dallas, Texas, January 2025.
2. Efficient Design of a Hyperdimensional Processing Unit for Multi-Layer Cognition, Talk and Poster at the IEEE/ACM Design, Automation and Test in Europe Conference (DATE), Valencia, Spain, March 2024.
3. The Hyperdimensional Processing Unit, Poster at IBM IEEE CAS/EDS AI Compute Symposium, Yorktown Heights, New York, USA, October 2022. [ Presented by Youbin Kim ]
4. AdaPool: Multi-Armed Bandits for Adaptive Virology Screening on Cyber-Physical Digital-Microfluidic Biochips, Talk at the ACM/IEEE Workshop on Machine Learning for CAD (MLCAD), Virtual, November 2020.
5. Internet of Microfluidic Things: Perspectives on System Architecture and Design Challenges, Talk at the IEEE/ACM International Conference on Computer-Aided Design (ICCAD), Colorado, USA, November 2019.
6. BioScan: Parameter-Space Exploration of Synthetic Biocircuits Using MEDA Biochips, Talk at the IEEE/ACM Design, Automation and Test in Europe Conference (DATE), Florence, Italy, March 2019.
7. Sortex: Efficient Timing-Driven Synthesis of Reconfigurable Flow-Based Biochips for Scalable Single-Cell Screening, Talk at the IEEE/ACM International Conference on Computer-Aided Design (ICCAD), Irvine, California, USA, November 2017.
8. Design and Optimization of Microfluidic Platforms for Scalable Biomolecular Quantitative Analysis, Poster at the SIGDA PhD Forum, IEEE/ACM Design Automation Conference (DAC), Austin, Texas, USA, June 2017.
9. Hacking Digital Microfluidic High-Level Synthesis, Poster at Hack@DAC contest, IEEE/ACM Design Automation Conference (DAC), Austin, Texas, USA, June 2017. [Presented by Jack Tang ]
10. CoSyn: Efficient Single-Cell Analysis Using a Hybrid Microfluidic Platform, Invited Talk at the Technical University of Munich, Munich, Germany, April 2017.
11. CoSyn: Efficient Single-Cell Analysis Using a Hybrid Microfluidic Platform, Talk at the IEEE/ACM Design, Automation and Test in Europe Conference (DATE), Lausanne, Switzerland, March 2017.
12. Cyberphysical Integration for Digital Microfluidic Biochips, Poster at the NSF CPS PI Meeting, Arlington, Virginia, USA, November 2016.
13. A Real-Time Digital-Microfluidic Platform for Epigenetics, Talk and poster at the Embedded Systems Week (ESWeek), Pittsburgh, Pennsylvania, USA, October 2016.
14. A Real-Time Digital-Microfluidic Platform for Epigenetics, Talk at Duke ECE Graduate Student Workshop, Durham, North Carolina, USA, September 2016.
15. Design and Automated Control of Cyberphysical Digital-Microfluidic Biochips: From Error Recovery Towards Quantitative Analysis, Invited Talk at the University of Bremen, Bremen, Germany, May 2016.
16. Integrated and Real-Time Quantitative Analysis Using Cyberphysical Digital-Microfluidic Biochips, Talk at the IEEE/ACM Design, Automation and Test in Europe Conference (DATE), Dresden, Germany, March 2016.
17. Integrated and Real-Time Quantitative Analysis Using Cyberphysical Digital-Microfluidic Biochips, Poster at Duke ECE Graduate Student Workshop, Durham, North Carolina, USA, September 2015.
18. Experimental Demonstration of Error Recovery in an Integrated Cyberphysical Digital-Microfluidic Platform, Talk at IEEE Biomedical Circuits & Systems Conference (BioCAS), Atlanta, Georgia, USA, October 2015.
19. Cyberphysical Integration for Digital Microfluidic Biochips, Poster at the NSF CPS PI Meeting, Arlington, Virginia, USA, November 2014.

Teaching

UC Berkeley:

• 2021: Computing with High-Dimensional Vectors (Neuroscience 299): Guest Lecturer

Duke University:

• 2018: VLSI System Testing (ECE-538): Graduate Teaching Assistant
• 2016: CMOS VLSI Design Methodologies (ECE-539): Guest Lecturer
• 2015: Programming, Data Structure, and Algorithms in C++ (ECE-551): Graduate Teaching Assistant
• 2014: Computer Architecture (ECE-250): Graduate Teaching Assistant

Ain Shams University:

• 2011-2013: Computer Organization I (CSE-211): Teaching Assistant
• 2012-2013: Computer Organization II (CSE-311): Teaching Assistant
• 2011-2012: System Dynamics and Control Components (CSE-271): Teaching Assistant
• 2011-2012: System Modeling and Simulation (CSE-467): Teaching Assistant

Proposal Writing

During my Ph.D. studies, I worked with my advisor, Professor Chakrabarty, on four grant proposals. I made major contributions to the following funded grants:

• 2017: National Science Foundation "CCF-1702596": Microbiology on a Programmable Biochip: An Integrated Hardware/Software Digital Microfluidics Platform.
• 2017: U.S. Department of Defense, Army Research Office (ARO) "W911NF-17-1-0320": Improving Trust in Emerging Digital Microfluidic Biochips-based DNA Forensics.

Academic Services

Technical Program Committee Member:

• IEEE/ACM Design, Automation and Test in Europe Conference (DATE): 2019 - Present.
• IEEE/ACM International Conference on Computer-Aided Design (ICCAD): 2021 - Present.
• IEEE International Conference on Application-specific Systems, Architectures and Processors (ASAP): 2025 - Present.
• IEEE/ACM Asia and South Pacific Design Automation Conference (ASP-DAC): 2025 - Present.
• IEEE Computer Society Annual Symposium on VLSI (ISVLSI): 2019 - 2022.
• IEEE International Conference on VLSI Design (VLSID): 2019.
• IFIP/IEEE International Conference on Very Large Scale Integration (VLSI-SoC): 2019.

Journal Reviewer:

• IEEE Transactions on Circuits and Systems for Artificial Intelligence (TCASAI)
• IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems (TCAD)
• IEEE Transactions on Very Large Scale Integration Systems (TVLSI)
• IEEE Transactions on Biomedical Circuits and Systems (TBioCAS)
• ACM Transactions on Design Automation of Electronic Systems (ACM TODAES)
• ACM Journal on Emerging Technologies in Computing Systems (ACM JETC)
• Integration, the VLSI Journal (Elsevier)
• Microelectronics Journal

Conference Reviewer:

• IEEE/ACM Design, Automation and Test in Europe Conference (DATE)
• IEEE/ACM Design Automation Conference (DAC)
• IEEE/ACM International Conference on Computer-Aided Design (ICCAD)
• IEEE International Symposium on Circuits and Systems (ISCAS)
• IEEE European Test Symposium (ETS)
• ACM International Conference on Nanoscale Computing and Communication (NanoCom)
• IEEE International Conference on Artificial Intelligence Circuits and Systems (AICAS)

Mentorship

Georgia Tech:

1. Zishen Wan: Ph.D. student (2023 - 2025).

UC Berkeley:

1. E. Lin, J. Qiao, L. Zhang: MEng Students -- through Berkeley's Fung Institute Leadership Program (2023 - 2024).
2. S. Desai, Y. He, A. Pan, N. Santoso, W. Sun, C. Symes, and Y. Wang: MEng Students -- through Berkeley's Fung Institute Leadership Program (2022 - 2023).

Duke University:

1. Emily Zhao: Undergraduate CS/ECE Student -- through Pratt Alumni Mentorship Program (2024 - 2025).
2. Aditya Sridhar: Undergraduate CS Student (2016 - 2018).
3. Craig Boswell: Pratt Undergraduate Fellow (2015 - 2016).

Technical University of Munich:

1. Yasamin Moradi: Ph.D. student (2016 - 2017).

Industry

• 2019 - 2021: SoC Design Engineer (Full Time), Intel Santa Clara, CA, USA.
• 2017: DFT Engineer (Internship), Intel Santa Clara, CA, USA.
• 2015, 2016: SoC DFX Design Engineer (Internship), Intel Austin, TX, USA.
• 2011 - 2013: VLSI Design and Verification Engineer (Part Time), Newport Media Inc., Cairo, Egypt.
• 2010 - 2011: VLSI Design Engineer (Full Time), Mentor Graphics, Cairo, Egypt.
• 2009: Embedded Systems Engineer (Internship), Mentor Graphics, Cairo, Egypt.