Find Academic Supervisors

Zicheng ChiView profile

Assistant Professor

• Internet of Things (IoT)
• Cyber-Physical Systems
• Wireless Networks
• +5 more

Zicheng Chi is an Assistant Professor in the Department of Electrical Engineering and Computer Science at Cleveland State University. His research focuses on Internet of Things (IoT) and cyber-physical systems, with expertise in wireless networks, embedded systems, and RF sensing. Ph.D. in Computer Engineering, University of Maryland, Baltimore County (2020) M.E. in Microelectronics and Solid Electronics, South China University of Technology (2011) B.S. in Electronic Information Science and Technology, Lanzhou University (2007) Chi's work explores fundamental networking and energy challenges in IoT, including LTE backscatter systems, cross-technology communication protocols, and interference-negligible RF sensing. His research bridges communication efficiency and security in heterogeneous IoT environments. Recent publications demonstrate expertise in high-throughput backscatter (2024), secure asymmetric communication (2024), vehicle-to-vehicle perception (2023), and tactical IoT protocols (2022). His work spans wireless network optimization, security mechanisms, and energy-efficient system design. Best Paper Award Candidate, SenSys 2019 Best Paper Runner-up, SenSys 2018 Chi teaches graduate and undergraduate courses in computer networks, data communication, and system programming. His NSF-funded SWIFT project investigates spectrum coexistence in IoT systems.

Zeyu DingView profile

Assistant Professor

• Privacy
• Algorithmic Fairness
• Machine Learning
• +5 more

Zeyu Ding is an Assistant Professor in the School of Computing at Binghamton University, with a courtesy appointment in the Department of Mathematics and Statistics. He holds two PhDs: one in Computer Science from Penn State University and another in Mathematics from Binghamton University, along with a BS in Mathematics from Zhejiang University. Research Interests His work focuses on the intersection of privacy, security, machine learning, and algorithmic fairness. He investigates how to protect sensitive personal information through differential privacy mechanisms, formal verification, numerical optimization, and privacy-preserving statistical inference. Article Trends Ding's publications highlight advancements in differential privacy, including the Report Noisy Max with Gap Mechanism and the Permute-and-Flip approach. His research also addresses security challenges like reconstruction attacks and automated verification tools (e.g., Checkdp and DPGen), alongside mathematical explorations of automorphism group schemes and Barsotti-Tate groups. Scientific Awards CCS Outstanding Paper Award, 2018 Caper Bowden PET Award Runner-up, 2019 CCS Best Paper Award Runner-up, 2020 CCS Best Paper Award Runner-up, 2021 Research Award from Penn State University, 2019 Teaching Award from Penn State University, 2021 His research is supported by the NSF grant 2317233, underscoring his contributions to privacy-preserving computational methods.

• Trustworthy AI
• Software Testing & Verification
• Requirements Engineering
• +5 more

Prof. Lionel C. Briand is a leading academic in software engineering and trustworthy AI, holding appointments at the University of Ottawa (EECS Department, Nanda Laboratory) and the University of Limerick (Lero - National Software Research Centre). He serves as Director of Lero and Scientific Director of the SnT software verification lab in Luxembourg. His research focuses on software testing, model-driven engineering, AI-driven quality assurance, and regulatory compliance. He has held the Canada Research Chair (Tier 1) since 2003 and led major institutions like Simula Research Laboratory (Norway) and Fraunhofer Institute (Germany). Education & Career: Full Professor at Carleton University (2008–2012) Head of Software Quality Engineering at Fraunhofer IESE (2000–2008) Research Scientist at NASA Software Engineering Lab (1990s) Research Interests: His work spans secure AI systems, automated legal compliance (e.g., GDPR), metamorphic testing, search-based software engineering, and safety-critical systems. He emphasizes practical applications, collaborating with industry partners globally. Awards & Recognition: IEEE Fellow (2010), ACM Fellow (2020) Harlan Mills Award (2012), ERC Advanced Grant (2016) Fellowships from Royal Society of Canada (2023) and Academia Europaea (2025) Grants & Labs: PEARL grant from Luxembourg FNR for SnT lab ERC Advanced Grant for software testing research Leadership roles in Lero and Nanda Lab Publications: Over 500+ papers on testing methodologies, AI ethics, and regulatory compliance. Notable tools include CompAI (GDPR compliance) and Teasma (DNN test adequacy).

• Image Processing
• Pattern Recognition
• Machine Learning
• +6 more

Jean-Christophe Burie is a Professor at the University of La Rochelle, serving as Vice-President for Digital Campus and Information Systems, Deputy Director of the L3i Laboratory (Informatics, Imaging, and Interaction), and Director of the joint research laboratory SAIL (Sequential Art Image Laboratory). His interdisciplinary work bridges computer science and humanities. His research focuses on image processing, pattern recognition, and artificial intelligence , with applications in historical manuscripts, comics indexing, and digital security. Key projects include enhancing palm-leaf manuscript analysis (AMADI/STIC ASIE), developing e-BDthèque for comics content extraction, and identity verification systems (MOBIDEM/IDECYS). He collaborates internationally with institutions like Leiden University and Vietnam's ICT Lab on medical imaging and cultural heritage preservation. He advises doctoral students in areas spanning ancient text analysis, document security, and manga character recognition. His recent publications demonstrate a strong emphasis on deep learning adaptations for document analysis, biometric security, and cross-modal recognition systems.

• Compilers
• Automatic Software Verification
• Compiler Optimization
• +7 more

Nuno Pereira Lopes is an Associate Professor at Instituto Superior Técnico , part of Universidade de Lisboa , and a researcher at INESC-ID . He also serves as an advisor at FuriosaAI , focusing on tensor contraction processors for AI workloads. Research Interests : Compilers, formal verification of LLVM optimizations, machine learning frameworks, undefined behavior exploitation, probabilistic model checking, blockchain security, and many-core code generation. Teaching : Compilers and Computer/Informatics Engineering projects. Funding : Supported by Google, Matter Labs, NLnet, Oracle, PRACE, RNCA, and Woven by Toyota. Recent Publications focus on LLVM backend validation , PyTorch pipeline parallelism , C++ dynamic cast optimization , undefined behavior in C/C++ , and AI tensor processors . His work bridges compiler design, formal methods, and AI hardware. Academic Service includes representing Portugal in ISO/IEC JTC 1/SC 22 (C++), organizing FLoC'26 , and serving on program committees for PLDI, EuroLLVM, and CGO.

• Software Engineering
• Cybersecurity
• Artificial Intelligence
• +5 more

Philipp Haindl is a lecturer at the Department of Computer Science and Security at St. Poelten University of Applied Sciences. His work focuses on software engineering, cybersecurity, and AI integration in education and manufacturing. Software Engineering Cybersecurity Artificial Intelligence DevOps Quality Assurance Research Interests: Dr. Haindl explores software metrics, inter-service security in microservices, and AI tools like ChatGPT in programming education. He investigates quality models and non-functional requirements in DevOps environments. Publications: Recent work includes studies on ChatGPT's impact in software engineering education, systematic reviews of microservice security, and frameworks for human-AI teaming in manufacturing.

Benjamin LubinView profile

Associate Clinical Professor

• Mechanism Design
• Combinatorial Auctions
• Spectral Graph Theory
• +4 more

Benjamin Lubin is a Clinical Associate Professor in the Information Systems Department at Boston University's Questrom School of Business. He holds office 621A in the Rafik B. Hariri Building at 595 Commonwealth Avenue, Boston, MA 02215. His academic journey began with a Bachelor's degree in Computer Science from Harvard University in 1999, followed by six years working at BBN Technologies, where he contributed to advanced multi-agent modeling, scheduling, and logistics systems. He later returned to Harvard to complete his Ph.D. at the intersection of computer science, game theory, and economics. Dr. Lubin's research spans three primary areas: (1) mechanism design, particularly combinatorial auctions and exchanges that support efficient reallocation of goods with complex participant preferences; (2) application of spectral graph theory to advance social network analysis; and (3) leveraging network science and machine learning to improve healthcare delivery systems. His work demonstrates a consistent pattern of bridging theoretical computer science with practical economic applications, with recent publications showing increasing focus on healthcare applications while maintaining strong contributions to auction theory and network analysis. His research has been supported by significant funding from NIHCM and the Veterans Administration, and he has received prestigious recognition including the Siebel Fellowship and Yahoo Key Technical Challenge award. Dr. Lubin has mentored numerous graduate students including PhD candidates Vatche Ishakian, Marisabel Guevara, and Sarah Zheng, as well as Master's students Benedikt Buenz and Michael Weiss. Siebel Fellowship Yahoo Key Technical Challenge award As an educator, Dr. Lubin teaches several courses including IS 710 (Core MBA Class on Information Systems), IS 716 (Accelerated Part-Time Evening MBA), IS 717 and IS 756 (MSMBA Intensives), and QD601x (Business Experimentation on edX). His teaching materials include innovative approaches like using adventure games to teach web development and creating practical exercises for understanding analytics in business contexts. He has developed several software tools including JOpt for MIP programming, the Iterative Combinatorial Exchange market software, InvEigen for inverse eigenvector problems, SpectralGOF for network model goodness-of-fit testing, and SATS for spectrum auction instance generation.

Matthew CollinsonView profile

Senior Lecturer

• Logic
• Theoretical Computer Science
• Information Security
• +12 more

Matthew Collinson is a Senior Lecturer in Computing Science at the University of Aberdeen, where he also serves as Head of Computing Science and Academic Line Manager. He holds an affiliation with the Scottish Informatics and Computer Science Alliance (SICSA) and leads the EPSRC-funded project SSPEDI (Supporting Security Policy with Effective Digital Intervention). Education: BSc Mathematics, University of Edinburgh (1997) MSc Mathematical Logic, University of Manchester (1998) PhD Computer Science, University of Manchester (2003) Research Interests: His research spans theoretical computer science and cybersecurity , focusing on non-classical logics (intuitionistic, modal, substructural), semantics of computation , concurrency theory , and type theory . He applies these foundations to information security , particularly in modelling security policies, access control, and the economics of cybersecurity decisions. His work integrates formal verification , simulation tools (e.g., Gnosis), and game-theoretic models . Publications Trends: Recent publications (2016–2022) emphasize human-centred security , exploring how persuasion and behavioural interventions can reduce cybersecurity vulnerabilities. Earlier works (2008–2015) concentrate on mathematical systems modelling , layered graph logics , and trust domains , bridging high-level policy and low-level system configurations. Projects & Grants: SSPEDI (2017–2020, EPSRC): Human dimensions of cybersecurity policy compliance. ALPUIS (EPSRC consortium): Algebra and logic for security policy and utility. Trust Domains (RCUK/TSB, 2011–2014): Framework for modelling secure information sharing. Seconomics (EU FP7, 2012–2015): Socio-economic impacts of cybersecurity regulation. PhD Supervision: He has successfully supervised PhD students including Kevin McDonald (2014), Barry Taylor (2015), and Robert (Bob) Duncan (2016), whose theses addressed logic-based security architectures, vulnerability analysis, and cloud stewardship respectively. Labs & Teams: His research is conducted within the Computing Science section of the School of Natural and Computing Sciences, leveraging collaborations with National Grid, HP Labs, and other academic partners.

• Software Engineering
• Model-Based Software Engineering
• Automated Reasoning
• +5 more

Sebastián Uchitel is a Professor at the Department of Computing, Imperial College London, UK. His research focuses on foundational aspects of Software Engineering, particularly in modeling and analysis for automated reasoning, verification of probabilistic systems, controller synthesis, and adaptive systems. He has led major research projects, including the ERC-funded IDEAS StG project on Partial Behaviour Modelling and the European FP6 SENSORIA project. Research Interests: Model-Based Software Engineering, Controller Synthesis, Probabilistic Systems, Adaptive Systems, Requirements Engineering External Roles: General Chair, International Conference on Software Engineering (2017); Associate Editor, Elsevier Science of Computer Programming; Steering Committee, International Conference on Software Engineering His recent work explores intersections between Software Engineering and AI, including assured adaptive systems and logic-based learning. A Senior Member of IEEE and Distinguished Scientist of ACM , he has received awards like the Houssay Prize (2015) and Philip Leverhulme Prize (2005). Collaborators include institutions in Argentina, Canada, and the UK. Selected Publications: 150+ peer-reviewed works spanning controller synthesis, requirements engineering, and formal methods Students: Supervised 12 PhD students since 2003 Grants: Principal Investigator for 3 major grants (2005-2016) totaling over $3.7M USD, including: 2013-2016: Technology Platform in Software Engineering (ANPCYT, $1.6M) 2009-2014: ERC IDEAS StG on Partial Behaviour Modelling (€1.4M) 2005-2008: FP6 SENSORIA Project (€0.7M)

Alan MantoothView profile

Professor

• Analog and Mixed-Signal IC Design
• Power Electronics
• Semiconductor Device Modeling
• +3 more

Alan Mantooth is a Distinguished Professor holding the Twenty-First Century Research Leadership Chair in Engineering within the Department of Electrical Engineering at the University of Arkansas, Fayetteville. He serves as Director of the National Center for Reliable Electric Power Transmission (NCREPT), Executive Director for GRAPES (NSF I/UCRC) and SEEDS (DoE Center), and Deputy Director of the NSF Engineering Research Center for Power Optimization of Electro-Thermal Systems (POETS). His educational background includes: B.S. in Electrical Engineering, University of Arkansas M.S. in Electrical Engineering, University of Arkansas Ph.D. in Electrical Engineering, Georgia Institute of Technology Dr. Mantooth's research centers on analog/mixed-signal IC design, power electronics CAD, and semiconductor device modeling with emphasis on harsh-environment applications. His pioneering work in silicon carbide (SiC) and gallium nitride (GaN) power systems has enabled high-temperature operation for electric vehicles and renewable energy infrastructure, significantly advancing reliability in extreme conditions. His 2025 publications reveal strong trends toward AI-driven power electronics (e.g., SolarFormer++ for PV profiling), wide-bandgap device modeling (β-Ga2O3, SiC), and innovative packaging solutions. Key themes include reliability engineering for extreme environments, multi-physics optimization, and explainable AI for safety-critical power systems. Major scientific recognition includes: IEEE Fellow (2009) for power electronic device modeling Three R&D 100 Awards (2009, 2014, 2016) for SiC power modules IEEE Power Electronics Society Technical Achievement Award (2019) Multiple university teaching/research awards including SEC Faculty Achievement Award (2015) As an exceptional mentor (UA Outstanding Mentor 2006-2008), he co-founded Lynguent and Ozark Integrated Circuits. His centers NCREPT, GRAPES, and SEEDS have secured major funding from NSF, DoE, and industry partners, supporting over 350 refereed publications and numerous patents. Current research focuses on AI-enhanced power electronics, recyclable packaging, and next-generation wide-bandgap device characterization. He leads the NCREPT test facility and multi-institutional teams developing grid-connected power electronic systems, secure energy delivery architectures, and thermal management solutions for high-power-density applications, with direct impact on electric transportation and renewable energy integration.

• Program Verification
• Proof Engineering
• Formal Methods
• +4 more

Karl Palmskog is a Lecturer at KTH Royal Institute of Technology in the Division of Theoretical Computer Science and the STEP research group. His work focuses on program verification and proof engineering, with particular emphasis on developing techniques and tools based on proof assistants for constructing functionally correct and secure software systems. Palmskog received his Ph.D. in Computer Science in 2014 from KTH, advised by Mads Dam, and his M.Sc. in Computer Science and Engineering from KTH in 2007. Prior to his current position, he was a postdoc at The University of Texas at Austin and University of Illinois at Urbana-Champaign. His research interests span programming languages, software engineering, and formal verification, with a particular focus on developing techniques and tools based on proof assistants. He is an avid user of the Coq proof assistant for both proving and programming, often complemented by OCaml, and also utilizes HOL4 and other ML family dialects. His work bridges theoretical foundations with practical applications, particularly in the domains of blockchain systems, distributed systems, and automotive software verification. Analysis of his recent publications reveals a strong focus on Coq-based verification, with significant contributions to proof engineering tools and methodologies. His work includes developing tools for regression proving, change impact analysis, mutation testing for Coq projects, and lemma name suggestion using deep learning. There's also a growing trend toward applying formal methods to real-world systems like blockchain protocols and automotive software. Palmskog has been involved in several research projects, including Coq-community Proof Engineering and Distributed Components. His past projects include Trustfull (SSF), Model-based Event Driven Scalable Programming for the Mobile Cloud (NSF), Highly Adaptable and Trustworthy Software (EU FP7), and 4WARD Future Internet (EU FP7). As an educator, Palmskog has served as examiner, course responsible, teacher, and assistant for various courses including Algorithms, Data Structures and Complexity; Degree Projects; Game Theory; Parallel and Distributed Computing; and Programming Paradigms. His work on Chip, a Coq formalization of change impact analysis, demonstrates his commitment to creating practical, certified tools that bridge formal methods with software engineering practice.

Anna EricksonView profile

Professor

• Nuclear Nonproliferation
• Nuclear Security
• Radiation Detection
• +3 more

Anna Erickson serves as Woodruff Professor and Associate Chair for Research at Georgia Institute of Technology's George W. Woodruff School of Mechanical Engineering, where she bridges reactor engineering and nuclear nonproliferation through integrated theoretical and experimental approaches. Director of the $25M DOE NNSA-funded Consortium for Enabling Technologies and Innovation (12 universities, 12 national labs), she has authored over 100 publications including the seminal text Active Interrogation in Nuclear Security (Springer, 2018) and advises federal agencies on nuclear security policy. Education: Ph.D. in Nuclear Science and Engineering, Massachusetts Institute of Technology (2011) M.S. in Nuclear Science and Engineering, Massachusetts Institute of Technology (2008) B.S., Oregon State University (2006) Research Focus: Dr. Erickson pioneers nonproliferation-by-design methodologies through two integrated thrusts: advanced reactor analysis for proliferation-resistant nuclear energy systems and radiation detection for border security applications. Her work uniquely combines machine learning with nuclear engineering to develop safeguards for next-generation reactors, with significant contributions to antineutrino detection systems and medical physics applications like proton radiography. Current projects emphasize small modular reactor safety and spectral imaging techniques. Publication Trends: Analysis of her 15 most recent publications (2018-2020) reveals dominant themes in antineutrino-based reactor monitoring (60% of works), advanced radiation detection systems (30%), and small modular reactor design (10%). Key innovations include lithium-loaded scintillators for neutron detection, spectral X-ray correction algorithms, and high-temperature reactor concepts with inherent proliferation resistance, demonstrating consistent DOE funding focus on nuclear security infrastructure. Awards: Woodruff Professorship (2019) Lockheed Dean's Excellence in Teaching Award (2016) US Frontiers of Engineering Symposium (National Academy of Engineering, 2015) American Nuclear Society Graduate Scholarships (2006, 2009) Stewardship Science Graduate Fellowship (DOE, 2008-2011) Leadership & Funding: As director of the $25M Consortium for Enabling Technologies and Innovation, she manages cross-institutional R&D in machine learning, advanced manufacturing, and nuclear detection. Her Laboratory for Advanced Nuclear Nonproliferation and Safety (LANNS) coordinates with Aerospace Engineering, Chemistry, and International Affairs departments on nonproliferation projects, while her ELATES leadership program participation (2022) enhances STEM management capabilities. Recent media engagements with CBS News (nuclear fusion breakthrough) and CNN (radiation safety) demonstrate policy impact. Research Infrastructure: The multidisciplinary LANNS lab develops experimental detection systems alongside reactor modeling tools, supporting the Consortium's mission to create deployable nuclear security technologies. Collaborations with 12 national laboratories enable access to unique facilities for radiation source characterization and reactor simulation, with current efforts focused on AI-enhanced safeguards for commercial reactor fleets.

Garth GibsonView profile

Professor

• Data-Intensive and Cloud Computing
• Distributed Systems
• Large Scale Parallelism
• +5 more

Garth Gibson is a Professor in the Computer Science Department and Department of Electrical and Computer Engineering at Carnegie Mellon University's School of Computer Science. He serves as Co-Director of the Master of Computational Data Science program and as Associate Dean for Master's Programs. Gibson has been a faculty member at CMU since 1991, after receiving his Ph.D. and M.Sc. in Computer Science from the University of California at Berkeley and a Bachelor of Mathematics in Computer Science and Applied Mathematics from the University of Waterloo. Gibson's research focuses on large-scale parallelism in computer systems, secondary memory system technologies and optimization, scalable file and key-value storage systems, scalable machine learning, and systematic testing for large scale systems. His work bridges theoretical concepts with practical implementations, with a strong emphasis on shepherding technological advances from academic research to commercial reality. He has made significant contributions to RAID technology, network-attached secure disks (NASD), and parallel file systems that have shaped industry standards and products. Gibson's recent publications reveal a strong trend toward data-intensive scalable computing, with increasing focus on machine learning systems, distributed storage solutions, and high-performance computing infrastructure. His research has evolved from foundational storage technologies to address the challenges of petascale and exascale computing environments, with particular attention to the intersection of storage systems and machine learning workloads. The papers demonstrate a consistent theme of addressing system scalability challenges through innovative architectural approaches. Scientific Awards: 2014 Fellow of the IEEE for contributions to the performance and reliability of transformative storage systems 2012 Fellow of the ACM for contributions to the performance and reliability of storage systems 2012 Jean-Claude Laprie Award in Dependable Computing Industrial/Commercial Product Impact Category 2011 SIGOPS Hall of Fame for the SIGMOD88 RAID paper 1999 Reynold B. Johnson Information Storage Award 1999 Allan Newell Award for Research Excellence 1998 Test of Time Award 1991 A.C.M. Doctoral Dissertation Award (tied for second) Gibson has advised numerous graduate students who have gone on to influential positions in both academia and industry, including Swapnil Patil who won first place in the 2010 ACM Graduate Student Research Competition. He has secured significant research funding through initiatives like the DOE Petascale Data Storage Institute and the Intel Science and Technology Center for Cloud Computing. His research has been supported by collaborations with national laboratories including Los Alamos, Sandia, Oak Ridge, Pacific Northwest, and Lawrence Berkeley. Gibson founded CMU's Parallel Data Laboratory (PDL) in 1993, which has grown into a vibrant research community comprising 6-9 faculty members, 2-3 dozen students, and 4-10 staff. The PDL operates with guidance from the Parallel Data Consortium, which includes 15-25 companies interested in parallel data systems. He also founded Panasas Inc. in 1999, a scalable storage cluster company that has deployed technology in national laboratories, energy sectors, and other high-performance computing environments. More recently, Gibson established the Big Learning research group and created the Systems Major curriculum within CMU's Master of Computational Data Science program.

• Dependable computing
• Networking algorithms
• Cloud computing
• +3 more

Alex X. Liu is a Professor in the Department of Computer Science & Engineering at Michigan State University (2016-2022), currently serving as Chief Information Security Officer and President of Midea Software Engineering Institute. His academic career includes roles as Associate Professor (2012-2016) and Assistant Professor (2006-2012) at the same institution. He holds a Ph.D. and M.S. in Computer Science from The University of Texas at Austin, and a B.S. in Computer Science from Jilin University, China. Education Ph.D. in Computer Science (UT Austin, 2006) M.S. in Computer Science (UT Austin, 2002) B.S. in Computer Science (Jilin University, 1996) Liu's research focuses on Dependable computing , Networking algorithms , Cloud computing , Mobile computing , Privacy computing , and Computer/network security . His work spans secure systems, network protocols, and resource optimization in distributed environments. Recent publications address quantum neural networks , microservices autoscaling , RFID tag recognition , network traffic classification , and hybrid physical-layer authentication , demonstrating expertise at the intersection of AI and network security. Key trends include deep learning applications for cloud systems and robust security protocols. Scientific Awards IET Fellow (2021) IEEE Fellow (2019) ACM Distinguished Scientist (2019) Withrow Distinguished Scholar Awards (Senior 2019, Junior 2011) NSF CAREER Award (2009) IEEE & IFIP William C. Carter Award (2004)

• VLSI CAD
• Low-power IC Design
• Mixed-signal IC Design
• +5 more

Riadul Islam serves as an Assistant Professor in the Department of Computer Science and Electrical Engineering at the University of Maryland, Baltimore County (UMBC), maintaining his primary office in room 316 of the Information Technology and Engineering (ITE) Building. His academic appointment focuses on hardware design and verification within the institution's engineering framework. His educational qualifications include: Ph.D. in Computer Engineering from UCSC (2017) M.A.Sc. in Electrical and Computer Engineering from Concordia University, Montreal (2011) B.Sc. in Electrical and Electronic Engineering from Bangladesh University of Engineering and Technology (2007) Professor Islam's research centers on VLSI CAD tools and low-power digital/mixed-signal IC design , with significant contributions to current-mode clock networks, vehicular security systems, and error-robust circuit architectures. His work increasingly integrates machine learning for design automation while exploring neuromorphic computing applications and secure hardware implementations. This multidisciplinary approach bridges traditional IC design with modern AI-driven optimization techniques. Analysis of his 2023-2025 publications reveals three dominant research thrusts: (1) Machine learning applications in early-stage Design Rule Checking (DRC) prediction and clock network optimization, (2) Graph-based intrusion detection systems for automotive networks (particularly CAN bus security), and (3) Event-based vision systems and neuromorphic computing architectures. These areas demonstrate consistent innovation in merging hardware design with AI/ML methodologies for enhanced system reliability and efficiency. He directs the UMBC VLSI and SoC Research Group , which develops energy-efficient clocking networks, secure vehicular communication protocols, and compute-in-memory architectures. The lab maintains active collaboration with industry partners on hardware security and neuromorphic computing initiatives while supporting graduate student research in cutting-edge IC design methodologies.