Yadi Zhong is an Assistant Professor in the Department of Electrical and Computer Engineering at Auburn University, part of the College of Engineering. He holds both a Ph.D. and a Bachelor of Engineering from the same institution, reflecting a strong academic foundation in electrical and computer engineering disciplines. His research focuses on critical areas in modern cybersecurity and computational logic, including: Applied Cryptography and Cryptology Algebraic Cryptanalysis Privacy-Enhancing Cryptography Boolean Satisfiability (SAT) Solving VLSI Testing and Design for Testability These interests position his work at the intersection of hardware security, formal methods, and cryptographic protocol analysis, contributing to secure and reliable computing systems. While no recent publications are listed in the provided text, the research areas suggest a focus on both theoretical underpinnings and practical applications in secure integrated circuits and privacy-preserving technologies. There are no scientific awards mentioned in the available information. Dr. Zhong advises students within the Electrical and Computer Engineering graduate program, though specific advisees are not listed. There is no mention of externally funded grants or sponsored research projects in the current profile. He is likely involved in research labs related to cybersecurity, hardware security, or VLSI design, though specific lab affiliations are not stated.
Haluk Konuk is a Visiting Professor at the Faculty of Engineering, Özyeğin University. With a PhD in Electrical Engineering from the University of California, Santa Cruz (1996), he specializes in VLSI testing, Design for Testability, and Electronic Design Automation. He worked at Hewlett-Packard/Agilent Technologies and Broadcom Corporation for over 25 years, contributing to the development of critical internet infrastructure ASICs and processors. Since 2021, he has founded Palo Alto Test Technologies, focusing on advanced testing solutions. PhD in Electrical Engineering, University of California, Santa Cruz (1996) MS in Electrical Engineering, Case Western Reserve University (1989) BS in Electrical & Electronics Engineering, Boğaziçi University (1986) His research focuses on Design for Testability (DFT), Automatic Test Pattern Generation (ATPG), and Electronic Design Automation (EDA), addressing challenges in VLSI and CMOS circuit testing. His work includes modeling open-defects, fault simulation, and optimizing test efficiency for digital circuits. Haluk Konuk's publications span test compression, delay fault testing, and fault modeling, reflecting his long-term contributions to VLSI test methodologies. He holds 9 U.S. patents and has served on IEEE conference program committees. Fulbright Scholarship 9 U.S. Patents in VLSI Test Technology
Ahmet Feyzi Ateş is an Assistant Professor at FMV Işık University 's Faculty of Engineering and Natural Sciences, Department of Computer Science and Engineering. He previously served as an Assistant Professor at İstinye University, where he founded the Department of Software Engineering. His research focuses on Semantic Web technologies, Multi-Agent Systems, Data Mining, and Telecommunications protocols. PhD, Ege University (2008): Thesis on Semantic Web and Multi-Agent technologies for telecommunications services. MSc, University of Southern California (1994): Specialization in Data Communications and Computer Networks. MSc, Bilkent University (1993): Thesis on Formal Protocol Specifications and Conformance Testing. BSc, Yıldız Technical University (1990): First in class, Department of Computer Science and Engineering. Dr. Ateş's research integrates Semantic Technologies with Agentic AI to develop autonomous systems. His work in Data Mining applies to Call Center Text Analysis and Network Problem Detection. He explores Formal Methods for Protocol Verification and has contributed to Mobile Network Integration through Crowdsourcing. Recent publications highlight trends in Telecommunications , Software Engineering , and AI , with sub-fields like Agent-Based Services, Multimedia Synchronization, and Entitlement Management. His Semantic Technologies Lab drives innovation in Agentic AI systems. 2017 : Eşik Üstü Teşvik Ödülü (TÜBİTAK) for H2020 privacy-preserving big data projects. 2017 : Eşik Üstü Teşvik Ödülü (TÜBİTAK) for H2020 critical technology research. Dr. Ateş has held leadership roles in industry, including Project Manager at Turk Telekom and R&D Group Manager at Defne Communications. He holds a national patent for a data privacy query system and advises startups in algorithmic trading and influencer marketing.
Phil McMinn is a Professor of Software Engineering at the University of Sheffield, UK, where he leads the Testing Research Group, one of the largest software testing groups in the UK. His research focuses on developing automated techniques for software testing to help developers maintain robust test suites that effectively find bugs. His primary research interests include Software Testing , Search-Based Software Engineering , Flaky Tests , Mutation Analysis , and Pseudo-Tested Code . Recently, his work has centered on helping developers detect and mitigate flaky software tests, as well as developing mutation analysis approaches to assess test suite quality. His research has been funded by the EPSRC and Meta. Analysis of his recent publications (2023-2025) reveals a strong focus on addressing critical challenges in software testing, particularly around test flakiness, pseudo-tested code detection, and test suite optimization. His work spans both theoretical foundations and practical tool development, with significant contributions to understanding the limitations of current testing practices and developing novel approaches to improve test reliability and effectiveness. Professor McMinn serves as an associate editor for the Software Testing, Verification and Reliability journal and has supervised ten PhD students to completion as first supervisor. He currently mentors five PhD students and a post-doctoral researcher on projects related to test flakiness, mutation analysis, and testing for autonomous systems. He teaches the first-year COM1001 Introduction to Software Engineering module and the third-year COM3529 Software Testing and Analysis module at the University of Sheffield, emphasizing team-based development, automated testing, and code quality improvement through refactoring.
Pinaki Mazumder is Professor of Electrical Engineering and Computer Science at the University of Michigan College of Engineering. He earned his PhD from University of Illinois at Urbana-Champaign and has 25+ years of teaching experience. His research develops CMOS VLSI systems, semiconductor memories, CAD tools for quantum devices, and bio-inspired computing architectures. Innovations include testable DRAM circuits and self-healing memory compilers used industrially. He has authored books on VLSI routing, neuromorphic computing, and genetic algorithms in circuit design. His work spans quantum MOS, spintronics, and plasmonic devices. Recognition: Fellow of IEEE Fellow of American Association for Advancement of Science Dr. Mazumder has secured research funding from NSF, DARPA, DoD, and industry partners. He developed the Quantum SPICE simulator for quantum tunneling circuits and teaches courses on VLSI design, parallel architectures, and nanoelectronics.
Ivan Ruchkin is an Assistant Professor in the Department of Electrical & Computer Engineering at the University of Florida. He leads the Trustworthy Engineered Autonomy (TEA) Lab, focusing on making autonomous systems safer through formal methods, cyber-physical systems analysis, and neuro-symbolic approaches. His research integrates diverse models and methodologies to ensure safety guarantees for systems like autonomous vehicles and medical devices. Ruchkin is affiliated with the Nelms Institute for the Connected World, the Artificial Intelligence Academic Initiative (AI2), and the IC3 Center for Intelligent Critical Care. Education: PhD in Software Engineering from Carnegie Mellon University (2019), MS from CMU (2014), and Specialist degree in Applied Mathematics & Computer Science from Lomonosov Moscow State University (2011). Research interests span safe autonomy, formal verification, robotics, and trustworthy AI. He has received awards including the ACM SIGSOFT Distinguished Paper Award (2015) and the Frank Anger Memorial Award (2017). Key projects include developing world models for safety prediction and confidence composition frameworks for dynamic assurance. His work addresses challenges in high-dimensional control systems, causal policy repair, and safety calibration for image-driven autonomy. Ongoing efforts focus on neuro-symbolic bridges between perception and control, and physically interpretable representations in robotics.
Rob Hierons is Professor and Chair in Testing at the University of Sheffield's School of Computer Science. His research develops automated testing techniques for software systems, focusing on model-based testing, distributed systems, and recently autonomous robotics. He aims to enhance software quality through efficient test generation from specifications and code. His work spans theoretical foundations and practical applications, including CSP-based testing models and diversity-based test optimization. Current interests include verification of robotic systems and causal testing frameworks. He has published extensively in software engineering venues and serves in editorial roles for major testing journals.
Professor Scott Brown is a distinguished cognitive scientist at the University of Newcastle, where he serves as Professor in the School of Psychological Sciences within the Psychology department. With a unique interdisciplinary background combining psychology and mathematics, Brown has established himself as a leading researcher in mathematical psychology, focusing on how humans process information, make decisions, and solve complex problems. His academic journey began at the University of Newcastle, where he earned multiple degrees: Bachelor of Science (Psychology) Bachelor of Mathematics Bachelor of Science PhD in Psychology After completing his doctorate in 2002, he spent four years as an Assistant Professor at UC Irvine before returning to Australia to join the University of Newcastle. His research has been consistently supported by prestigious fellowships, including an Australian Research Council (ARC) Fellowship from 2008-2013 and a Queen Elizabeth II Fellowship from 2006-2010. Professor Brown's research program uniquely bridges theoretical cognitive science with real-world applications. His primary focus is on mathematical modeling of higher-order cognitive processes, particularly memory and decision-making. What sets his work apart is the application of these models to critical real-world scenarios where human cognition directly impacts outcomes. His team employs a combination of laboratory experiments and analysis of real-world data to develop precise mathematical theories that can make exact predictions about human behavior and thinking. He frequently emphasizes that mathematical theories in psychology allow for precision impossible to achieve with intuition alone. Brown's recent publications reveal a researcher at the forefront of several exciting interdisciplinary frontiers. His work spans from understanding medical decision-making in cancer patients to developing countermeasures against cyber hackers by exploiting their cognitive biases. He has also applied psychological theory to citizen science efforts for endangered species conservation and to improving public transportation systems. The mathematical rigor of his approach is evident across all these domains, with consistent emphasis on developing models that can make precise, testable predictions about human behavior in critical situations. Among his notable scientific achievements are being named a Fellow of the Society for Mathematical Psychology (2015) and a Fellow of the Psychonomic Association (2012). He has also received prestigious New Investigator Awards from both the Society for Mathematical Psychology (2008) and the American Psychological Association (2006). These awards recognize his significant contributions to advancing mathematical approaches in psychological science. Professor Brown has successfully secured substantial research funding, particularly through competitive Australian Research Council grants. His work often involves interdisciplinary collaboration across psychology, mathematics, computer science, medicine, and ecology. He has mentored numerous PhD students and early-career researchers, taking particular pride in how his former students have 'gone on to think much bigger, brighter and deeper thoughts than me!' His approach to research emphasizes the importance of mathematical precision in understanding human cognition, challenging common misconceptions about psychological research, particularly the notion that 'everyone understands what it is to be human' therefore psychological research is unnecessary. Currently, Brown leads a strong research group focused on mathematical psychology, collaborating with researchers across multiple disciplines. His lab investigates how cognitive models can be applied to improve outcomes in critical domains including healthcare decision-making and cybersecurity. One particularly innovative project involves studying state-sponsored hackers to develop cognitive countermeasures that can impede their effectiveness by exploiting psychological biases. This work, funded by a US intelligence agency, represents the cutting-edge application of cognitive science to national security challenges.
Dariusz Badura is a Professor at WSB University, specializing in digital circuit design and testing methodologies. His work focuses on optimizing test structures, fault detection, and cost-effective testing solutions for electronic systems. Key research areas: Self-testing circuits, BIST (Built-In Self-Test), EDAC circuits, and hazard detection Contributions: Over 30 years of research in digital circuit verification and diagnostics Published 3 in the Repository, with 41 promoted theses
Brendan Mullane is a Senior Research Fellow at the University of Limerick , affiliated with the Faculty of Science and Engineering and the Department of Electronic and Computer Engineering . Research Focus: Advanced analog/digital converter design, dynamic element matching, and biomedical signal processing. Key Contributions: Development of high-order noise shaping techniques for DACs, hardware implementations for brain injury detection, and optimization of ADC/DAC architectures. Contact: brendan.mullane@ul.ie Research Interests: Brendan's work centers on precision semiconductor design , with a focus on error correction in digital-to-analog converters and bandpass filtering techniques . His research bridges VLSI optimization and biomedical diagnostics , particularly in applying qEEG analysis for clinical applications. He has extensively explored mismatch shaping , inter-symbol interference mitigation , and switched-capacitor filter performance , contributing to the field of embedded systems for signal processing . Scientific Contributions: His publications demonstrate a strong emphasis on high-speed, low-noise analog circuits and on-chip testing methodologies . Key trends include programmable error shaping , real-time FFT processing , and IEEE 1500 standard optimization for ADC/DAC testability.
Janusz A. Starzyk is a Professor of Electrical Engineering and Computer Science at Ohio University's Russ College of Engineering and Technology, and holds a concurrent professorship at the University of Information Technology and Management in Rzeszów, Poland. He earned his M.Sc. and Ph.D. in Electrical Engineering from Warsaw University of Technology and a habilitation from Silesian University of Technology. His research focuses on embodied intelligence, machine learning, neural networks, and VLSI design, with notable contributions to self-organizing systems and reinforcement learning. Starzyk has supervised 47 M.Sc. and 16 Ph.D. students, and his work spans over 190 peer-reviewed publications. He leads the Embodied Intelligence Lab at Ohio University and collaborates with institutions worldwide, including Nanyang Technological University and the Institute for Artificial Intelligence in Switzerland. His awards include the Best Research Paper Award from Ohio University and nominations for IEEE Fellow. He has secured $3.8 million in research grants, with projects in GPS signal processing, radar target recognition, and machine learning applications. His patents include innovations in object identification systems and self-organizing learning hardware. Starzyk's expertise bridges academia and industry, with roles as a consultant for companies like Magnolia Broadband and Sarnoff Research.
André Ivanov is a Professor of Electrical and Computer Engineering at the University of British Columbia (UBC), affiliated with the Faculty of Applied Science. He holds a BEng, MEng, and PhD from McGill University. His research focuses on silicon lifecycle management, semiconductor reliability in IoT applications, and machine learning for electronic design automation (EDA). Education: BEng (McGill University) MEng (McGill University) PhD (McGill University) Research Interests: Dr. Ivanov’s work addresses reliability challenges in nanoscale SoCs, fault tolerance, and design-for-testability. His group applies machine learning to reliability issues and EDA optimization. Leadership & Service: Former Head of UBC’s ECE Department (2008–2018) Member of UBC Senate and Chair of Senate Teaching & Learning Committee Leader in curriculum reform, industry partnerships, and campus “living lab” initiatives Awards & Affiliations: Fellow of IEEE, Canadian Academy of Engineering, and Engineering Institute of Canada Editor-in-Chief of IEEE Design and Test (2012–2016) Active in IEEE and ACM committees, including chairing the IEEE Computer Society Test Technology Council (2004–2007) Industry & Outreach: Co-founder of Vector 12 (semiconductor IP company) Consultant for multinational semiconductor firms and global agencies Invited professorships at University of Montpellier II, University of Bordeaux I, and Edith Cowan University
Krishnendu Chakrabarty is currently a Professor of Engineering at Duke University. He serves as the Editor-in-Chief of the ACM Journal on Emerging Technologies in Computing Systems and IEEE Transactions on VLSI Systems. His work spans multiple domains, combining engineering principles with computational technologies. Integrated Circuit Testing Digital Microfluidics Biochips Cyberphysical Systems Digital Print Systems Optimization He has received numerous accolades, including the prestigious Humboldt Research Award, and holds distinguished roles as an ACM Distinguished Speaker and former IEEE Computer Society Distinguished Visitor.
Heinz Dobler serves as a Professor at the University of Applied Sciences Upper Austria, Hagenberg Campus, affiliated with the Research Center Hagenberg. With an h-index of 28 and 43 research outputs spanning 1986-2024, his career demonstrates sustained contributions to software engineering and programming languages. His research focuses on software development methodologies, compiler construction (particularly parsing techniques and semantic evaluation), static program analysis, and genetic programming. Significant work includes innovations in software testing for class libraries and educational approaches for programming novices, reflecting both theoretical depth and practical application. Recent publications (2010-2024) reveal consistent advancement in compiler technologies and software engineering. Key trends include hybrid parsing techniques (BoB), framework-independent genetic programming (GPDL), and testable task design for programming education. His work bridges formal language theory with real-world software development challenges. Scientific awards: No major awards are documented in available records, though his h-index of 28 indicates substantial scholarly impact. Dobler has supervised at least two students, as noted in institutional records. While specific grant details are absent, his leadership in organizing the annual DACHS symposium series (2020-2024) demonstrates active involvement in collaborative research initiatives and academic community building. As a core member of the Research Center Hagenberg, he contributes to software engineering research teams and drives the DACHS symposium series, which fosters interdisciplinary collaboration in compiler design, genetic programming, and software testing. His ongoing 2024 activities confirm active research leadership within the institution.
Anurag Anshu is an Assistant Professor of Computer Science at Harvard University's John A. Paulson School of Engineering and Applied Sciences (SEAS). His primary research interests lie in quantum complexity theory, quantum many-body systems, quantum Shannon theory, and quantum learning theory. He holds a PhD from the National University of Singapore (2018) and completed postdoctoral research at UC Berkeley (2020) and the Perimeter Institute for Theoretical Physics (2020). His academic journey includes: Bachelor's in Computer Science from IIT Guwahati (2013) PhD in Quantum Technologies from NUS (2018), awarded the Dean's Graduate Research Excellence Award for his thesis on quantum communication protocols Postdoctoral roles at UC Berkeley's Simons Institute and the Perimeter Institute Research focuses on foundational aspects of quantum computing, including quantum algorithms, complexity theory, and the interplay between quantum information and many-body physics. His work bridges theoretical computer science with quantum physics, addressing challenges in quantum communication, error correction, and learning theory. Notable contributions include studies on NLTS Hamiltonians, quantum Gibbs state learning, and the computational power of quantum circuits. He has received grants such as the NSF CAREER Award (2023) for research on quantum many-body systems. His awards include the 2018 Dean's Graduate Research Excellence Award for his thesis on quantum communication protocols. He advises no listed students but collaborates extensively in quantum information theory and complexity research.
