Magdalena Szymczyk is a Lecturer in the Department of Biocybernetics and Biomedical Engineering at AGH University of Science and Technology, Faculty of Electrical Engineering, Automatics, Computer Science and Biomedical Engineering. Her work bridges embedded systems, biomedical signal processing, and geophysical data analysis. Research focuses on energy-efficient sensor networks, neural networks for GPR data classification, and mathematical transforms in signal analysis Expertise in parallel computing, real-time systems, and biomedical engineering applications Her publications (2015–2025) demonstrate a trajectory from parallel neural networks and S-transform/GPR methodologies to recent work on MicroPython in embedded systems. Key themes include energy optimization in distributed architectures and AI-driven signal processing across biomedical and geophysical domains. She has authored works on deterministic chaos in simulations, GPU image processing, and cybersecurity in microcontroller systems. Her current research emphasizes embedded systems security, medical signal diagnostics, and computational methods for geological analysis. She utilizes tools like OpenCL for GPU acceleration and MATLAB for parallel computing implementations.
Soumaya Cherkaoui is a Full Professor in the Department of Computer Engineering and Software Engineering at Polytechnique Montréal. Previously, she served as a Full Professor at Université de Sherbrooke and held industrial roles as an aerospace project manager. Her research integrates artificial intelligence with telecommunications, focusing on quantum computing, frugal edge intelligence, and applications in connected vehicles and IoT. Current Position: Full Professor, Polytechnique Montréal Prior Academic Role: Full Professor, Université de Sherbrooke Industry Experience: Aerospace Project Manager Research Interests: Convergence of AI and communications, quantum computing for networking, frugal intelligence at the edge, and applications in autonomous vehicles, industrial IoT, and smart grids. She leads government and industry-funded projects, including a $6 million quantum initiative in 2025. Recent Publication Trends: Her 2025–2024 work emphasizes quantum-enhanced anomaly detection (via QGANs), Open RAN slicing with quantum optimization, and reinforcement learning for secure cognitive radio networks. Topics span 5G/6G, vehicular networks, and zero-trust architectures. Scientific Awards: IEEE Communication Society Distinguished Lecturer (2020) ACM Mirela Notare Award (2023) IEEE Bio-Inspired Computing STC Leadership Award (2023) N2Women: Stars in Networking and Communications (2023) Best Paper Awards at IEEE ICC 2017, IEEE LCN 2021, ICCSPA 2024 Advising and Grants: Supervised 3 Master's students in 2024, with research on quantum GANs and federated learning for vehicular networks. Secured grants like the $6 million quantum project (2025) and participated in CFI-QC government funding (2022). Editorial and Leadership: Served as Associate Editor for IEEE, Wiley, and Elsevier journals. Chaired conferences like IEEE LCN 2019 and IEEE ICC2025, and held leadership roles in IEEE Communications Society committees.
Dmitriy Traytel is an Associate Professor at the University of Copenhagen's Department of Computer Science since August 2020, where he currently heads the Software, Data, People & Society (SDPS) section. Prior to this position, he worked as a senior researcher (Oberassistent) in the Information Security Group led by David Basin at ETH Zürich. He completed his PhD at TU München under Tobias Nipkow's supervision in 2015. His research focuses on formal methods, particularly logic, automata theory, runtime verification and monitoring, decision procedures, (co)induction and (co)recursion, and interactive theorem proving. Traytel develops formally verified tools for runtime monitoring including VeriMon, TimelyMon, and WhyMon, emphasizing correctness and efficiency in monitoring complex temporal properties. His recent publications (2021-2025) demonstrate a strong focus on first-order temporal logic monitoring, with particular attention to explainable verdicts, scalable parallel implementations, and formal verification of monitoring algorithms. The work spans theoretical foundations in logic and category theory while maintaining practical applications in runtime verification systems. Distinguished Paper Award at POPL 2025 for 'Barendregt Convenes with Knaster and Tarski' Best Student Paper Award at FSCD 2016 Distinguished Paper Award at ATVA 2018 Traytel has supervised numerous PhD, Master's, and Bachelor's students in areas spanning formal verification, runtime monitoring, and theorem proving. His research has been supported through collaborations with major institutions including ETH Zürich and TU München. He actively contributes to the academic community by serving on program committees for major conferences including ITP 2025 and RV 2025. He leads the Software, Data, People & Society section at the University of Copenhagen, focusing on developing formally verified tools for runtime verification that bridge theoretical computer science with practical applications in security and system monitoring.
Mads Dam is a Professor in Teleinformatics at the School of Computer Science and Communication at Kungliga Tekniska Högskolan (KTH), where he heads the Department of Theoretical Computer Science. His research focuses on computer security, formal methods, and program logics, with particular emphasis on the formal modeling and verification of low-level hardware and software execution platforms for security and application isolation. His educational background includes: PhD in Computer Science from the University of Edinburgh (1990) MSc in Computer Engineering from Aalborg University, Denmark BSc in Information Technology from Aalborg University, Denmark Mads Dam's research interests center on computer security, formal methods, and program logics. His current work focuses on the formal modeling and verification of low-level hardware and software execution platforms such as hypervisors and OS kernels and their underlying hardware. He has made significant contributions to information flow security, verification of microarchitectural systems, and network programming language security. His research bridges theoretical foundations with practical security applications. His recent publications show a strong trend toward verifying low-level systems, with a focus on information flow security for processors, network programming languages (particularly P4), and microarchitectural vulnerabilities. His work combines formal methods with practical security concerns, developing verification techniques that address real-world security challenges in hardware and software systems. The research spans theoretical foundations in temporal and epistemic logics to practical applications in network security and processor verification. His scientific awards and recognition include: Two framework grants from the Swedish Foundation for Strategic Research A junior individual grant from the Swedish Foundation for Strategic Research Project grants and a five-year research fellowship from the Swedish Research Council (VR) Project grants from Ericsson, Microsoft Research, US Air Force, and Vinnova (the Swedish Innovation Agency) Mads Dam has been a principal investigator on numerous research projects and has supervised many graduate students. He has been a partner in several European projects including HATS, S3MS, VerifiCard, LOMAPS, and UaESMC. His research has been supported by substantial grants from major funding bodies, reflecting the significance and impact of his work in computer security and formal methods. He is a founding member of several research centers at KTH, including Access, the CASTOR software research center, and the CDIS center for cyber defense and information security. These centers bring together researchers from multiple disciplines to address complex challenges in cybersecurity and software engineering.
Dr. Mohammad Iftekhar Husain is a Professor and Graduate Coordinator in the Department of Computer Science at California State Polytechnic University, Pomona (Cal Poly Pomona). He serves as the Inaugural Director of the PolySec Cyber Lab, a federally funded center for cyber security and forensics education, research, and outreach (~$2.5M in grants), and directs the university's Virtual Reality Lab. His career spans over a decade of leadership in cyber security program development, extramural funding, and academic governance. Education: B.S., Computer Science, Yamagata University (Japan) M.S. & Ph.D., Computer Science and Engineering, SUNY-Buffalo Dr. Husain's research focuses on data privacy in social networks, neurophysiological cyber security solutions, and blockchain applications. He has secured $18.4M in principal investigator grants, including NSF SFS, EAGER, and REU Site projects, and trained students placed in top institutions like UC campuses, MIT Lincoln Lab, and government agencies such as NSA and DHS. His work on brainwave authentication earned a US patent (USPTO 10,198,566) and media coverage in Time Magazine and PC Magazine . Scientific Awards: 2016 College of Science Distinguished Teaching Award Early Promotion and Tenure (2016) 2020 Faculty Learning Community for Leadership Pipeline Development Cohort As academic leader, he founded the Cal-Bridge CS Ph.D. pathway program for underrepresented students, chairs the CPP Academic Senate Academic Programs committee, and led university IT initiatives including Cyber Security Cluster Hiring and High-Performance Computing Lab development.
Farinaz Koushanfar is a Professor in the Department of Electrical and Computer Engineering at the Jacobs School of Engineering, University of California San Diego (UCSD) . She holds the Siavouche Nemat-Nasser Endowed Chair and serves as Founding Co-Director of the Center for Machine-Intelligence, Computing and Security . Her affiliations include NSF Trust-Hub (Co-PI) and NSF TILOS AI Institute . She also serves on the Editorial Board of The Proceedings of the IEEE . Research Focus: Prof. Koushanfar leads research in secure and efficient computing , including robust/safe AI , hardware/system security , AI-based optimization , and cryptographically secure privacy-preserving computing . Her work pioneered logic obfuscation/locking for chip security, automated co-design of AI systems , watermarking/tracing of deep learning models , and physical proofs of provenance . She explores co-design with cryptographic constructs for privacy preservation and manages nonlinearities in ciphertext domains. Article Trends: Recent publications show expertise in neural watermarking (deepfakes, media authentication), zero-knowledge proof frameworks , Trojan attack defenses in ML models, secure federated learning , and hardware acceleration of cryptographic protocols . Her work combines machine learning , cryptography , and physical design security across 2022-2025 publications. Scientific Awards: Fellow of ACM Fellow of IEEE Fellow of National Academy of Inventors (NAI) Fellow of Kavli Foundation of NAS Inducted to NAI 2024 Fellows Advising & Leadership: She has advised multiple PhD students who became faculty at top universities (e.g., Stanford, Purdue). She chairs conferences like ACM WiSec 2024 and co-led the NSF SaTC decadal review. Her lab ( ACES Lab ) produces award-winning graduates like Bita Rouhani (DAC Under-40 Innovators) and Shehzeen Hussain (UCSD Best Dissertation Award).
Mark Batty is a Professor in the School of Computing at the University of Kent, specializing in formal methods for concurrent systems. His work bridges hardware-software interfaces, focusing on memory models for C/C++, OpenCL, and architectures including x86, ARM, POWER, and GPUs. As a member of the Programming Languages and Systems Research Group, he develops mathematical specifications and verification tools for real-world concurrency challenges. His research centers on empirical testing of hardware/compiler behavior, formal modeling of system components, and verification of fine-grained concurrent algorithms. Key contributions address relaxed memory semantics, transactional memory, and compositional reasoning for concurrent data structures. His work combines theoretical rigor with practical tool development to ensure correctness in complex concurrent environments. Analysis of his 2015-2025 publications reveals consistent focus on memory consistency models, formal verification of weak memory concurrency, and compiler optimizations. Dominant themes include C/C++11 standards, GPU concurrency semantics, and mechanized verification techniques. His research demonstrates strong industry relevance through collaborations with hardware vendors and contributions to language standards. Mark Batty has received significant recognition: John C. Reynolds Doctoral Dissertation Award (2015) from ACM SIGPLAN CPHC and BCS Distinguished Dissertation Award (2015) Lloyds Register Foundation and Royal Academy of Engineering Research Fellowship (2016) He actively leads major research initiatives and mentors next-generation researchers: Current Funding: EPSRC Standard Grant 'Verifiably Correct transactional memory' (2018), VeTTS Grant 'Specification and verification of C++ data structure libraries' (2018), EPSRC First Grant 'Compositional, dependency-aware C++ concurrency' (2018) PhD Recruitment: Actively seeking candidates for UKRI-funded studentship in Verified Trustworthy Software Systems Batty drives community engagement through Kent Concurrency Workshop (2016) and South of England Programming Language Seminars, fostering national collaboration in programming languages research. His leadership in organizing Royal Society discussions underscores his influence in trustworthy systems verification.
Saikat Dutta is an Assistant Professor in the Department of Computer Science at Cornell University. He is affiliated with the Software Engineering Group and focuses on the intersection of Software Engineering and Machine Learning . His work aims to enhance the reliability of ML-based systems while applying ML techniques to solve software engineering challenges. PhD in Computer Science from University of Illinois Urbana-Champaign (Summer 2023) Postdoctoral Researcher at University of Pennsylvania Bachelor's in Computer Science and Engineering from Jadavpur University Research Interests: Dr. Dutta's research spans several key areas: Automated test generation and debugging for ML/DL libraries Using AI/ML for automated software engineering tasks Improving performance of regression tests in ML libraries Static and dynamic analysis for probabilistic programming Article Trends: His recent publications emphasize: Automated testing of ML systems Security vulnerability detection using LLMs Probabilistic program analysis Neurosymbolic learning frameworks Flaky test management in stochastic environments Stochastic regression test optimization Scientific Awards: Meta AI LLM Evaluation Research Grant (2025) Mavis Future Faculty Fellowship (2022-23) Facebook PhD Fellowship (2020-22) 3M Foundation Fellowship (2019-2020) Advising & Grants: Dr. Dutta actively recruits PhD students and postdocs. He leads research projects supported by grants from Meta AI and participates in program committees for top conferences like ICSE and ISSTA. His lab focuses on neurosymbolic systems and ML-based software verification.
Goran Oreški is an Associate Professor and Head of the Laboratory at the Faculty of Informatics in Pula (University Jurja Dobrile, Croatia), where he has been employed since 2019. He teaches courses on databases, object-oriented programming, data warehousing, and artificial intelligence at both undergraduate and graduate levels. Education: Ph.D. in Informatics (2016), Faculty of Organization and Informatics Industry Experience: 9 years as software architect and programmer in banking sector Research Focus: Artificial Intelligence systems, classical machine learning algorithms, and deep learning architectures. His work bridges theoretical advancements with practical applications in autonomous vehicles, traffic monitoring, and financial risk assessment. Recent Publication Trends: 2023-2025 works emphasize generative AI for synthetic credit data, traffic object segmentation with monocular cameras, and context-aware detection models (YOLO*C). Earlier works focus on genetic algorithms and ensemble learning for imbalanced datasets. Awards: Google RFP Award for autonomous vehicle research Highly Cited Paper (Web of Science, top 1%) Best Paper at CECIIS conference Leadership: Director of FIPU Laboratory since 2022, leading projects like ai.Shuttle (autonomous mini-bus) and CenAI (industry collaboration with Cenosco).
Hailiang Chen serves as Professor in Innovation and Information Management, Assistant Dean (Taught Postgraduate), and Director of the Artificial Intelligence Research Institute at HKU Business School, The University of Hong Kong. His academic journey includes a PhD and MS from Purdue University and a BM from Tsinghua University. Doctoral Degree: Management Information Systems, Purdue University Master Degree: Economics, Purdue University Bachelor Degree: Information Management and Information Systems, Tsinghua University Professor Chen's research spans artificial intelligence, FinTech, social media analytics, and platform economics, with significant contributions to understanding how digital interactions shape financial markets and consumer behavior. His work frequently examines the intersection of technology adoption and economic outcomes, particularly in cryptocurrency markets, live-stream commerce, and venture capital decision-making. His research methodology combines large-scale data analysis with experimental designs to uncover causal relationships in digital ecosystems. His publications in elite journals like Journal of Financial Economics and Management Science demonstrate consistent impact, with multiple ESI Highly Cited Papers. Current projects include Gov-RAG for e-government services and comparative studies of AI search tools. His research has received continuous funding from Hong Kong's Research Grants Council for five consecutive years (2019-2023). Faculty Outstanding Researcher Award, HKU Business School (2022-23) INFORMS ISS Sandra A. Slaughter Early Career Award (2022) Association for Information Systems Early Career Award (2019) Three ESI Highly Cited Papers (Top 1% in field) Professor Chen actively contributes to academic service as Associate Editor for Journal of Management Information Systems and MIS Quarterly , and serves as Program Chair for the International Conference on Smart Finance. His industry collaborations include Alibaba, HSBC, and China Construction Bank, bridging academic research with real-world business applications in AI implementation and digital transformation.
Xin Peng is a Professor and Deputy Dean at the School of Computer Science, Fudan University, China. He leads the CodeWisdom research team focusing on intelligent software engineering techniques for development, maintenance, and operation of software systems. His educational background includes a PhD in Computer Science (2001-2006) and Bachelor's degree in Computer Science (1997-2001), both from Fudan University. He progressed through the academic ranks from Assistant Professor (2006-2010) to Associate Professor (2010-2015) and finally to Professor (2015-present). Professor Peng's research interests span Software Analytics, Intelligent Software Development, Microservice systems, and AIOps. His work leverages AI technologies including deep learning and knowledge graphs to develop intelligent software engineering techniques. A significant portion of his recent work focuses on applying Large Language Models to various software engineering tasks, including vulnerability detection, API usage analysis, and test automation. His publication record shows a clear trend toward increasingly sophisticated applications of AI in software engineering, with recent work heavily featuring LLMs for tasks ranging from vulnerability patch porting to resource leak detection. The research spans multiple domains including microservice systems, automotive software, and Web of Things security. Best Paper Award of ICSM 2011 ACM SIGSOFT Distinguished Paper Award of ASE 2018 and 2021 IEEE TCSE Distinguished Paper Award of ICSME 2018, 2019, and 2020 IEEE Transactions on Software Engineering Best Paper award for 2018 Professor Peng serves in numerous leadership roles including Deputy Director of CCF Technical Committee on Software Engineering, Co-Editor-in-Chief of Journal of Software: Evolution and Process, and Associate Editor for ACM Transactions on Software Engineering and Methodology. He has been actively involved in program committees for major software engineering conferences including ICSE, ASE, ESEC/FSE, and ICSME. He leads the CodeWisdom research team at Fudan University, which has developed several benchmark systems including TrainTicket for microservice research. The team's work bridges academic research with industrial applications, particularly in microservice systems analysis and intelligent software development tools.
James C. Davis is an Assistant Professor in the Elmore Family School of Electrical and Computer Engineering at Purdue University. He leads the Duality Lab, which focuses on the engineering of software-intensive computing systems with particular interest in how these systems fail and how those failures can be mitigated. His research takes a socio-technical approach, considering both human and technical perspectives in system engineering. Dr. Davis received his PhD in Computer Science from Virginia Tech, where he was advised by Dongyoon Lee. His research interests span empirical software engineering, security, safety, testing, and web technologies, with a strong emphasis on practical impact and measurement. He applies a socio-technical philosophy to his work, believing high-quality systems must be engineered considering both human and technical perspectives. His recent research focuses on software supply chain security, regular expression vulnerabilities (particularly ReDoS), pre-trained model security, and failure analysis in software systems. His work often involves empirical studies of real-world software systems and security practices, with a strong emphasis on practical impact and measurable results. Dr. Davis has received significant funding from the National Science Foundation, Google, Cisco, and Rolls Royce for his research. His publications appear in top-tier venues including ICSE, FSE, ASE, and USENIX Security. He has served on program committees for many major software engineering and security conferences. Among his notable achievements are being elevated to IEEE Senior Member in 2022, receiving the Ruth and Joel Spira Outstanding Teacher Award from ECE@Purdue in 2022, and multiple Best Paper and Best Poster awards. He has successfully mentored numerous PhD and Master's students, with several completing their theses on topics related to software security and engineering. Dr. Davis actively recruits graduate and undergraduate research assistants for his Duality Lab, which has produced influential work on software failure analysis, regular expression security, and machine learning supply chain security. His lab is supported by multiple federal and industry grants focused on improving the security and reliability of software systems.
Andrea Arcuri is a Professor at the School of Economics, Innovation and Technology within Kristiania University of Applied Sciences . His research focuses on Software Testing , Software Engineering , and Cloud Computing , with a particular emphasis on automated testing techniques for web APIs. Specialized in RESTful, GraphQL, and RPC API fuzzing Developer of the open-source EvoMaster testing tool Pioneer in integrating evolutionary algorithms and symbolic execution for test generation Active in bridging academic research with industrial software testing practices His recent publications show a strong focus on Search-Based Software Testing (SBST) , Automated Test Generation , and Industrial Adoption of Testing Technologies . He has contributed extensively to improving testability through mock generation and database handling in API testing. While no formal scientific awards are listed in the public records analyzed, his work has been consistently published in top-tier software engineering venues since 2013. The articles demonstrate increasing sophistication in fuzzing techniques, with recent extensions to handle complex dependencies like MongoDB and SQL databases.
Peng Li is a Professor in the Department of Electrical and Computer Engineering at the University of California, Santa Barbara. His research focuses on integrated circuits, brain-inspired computing, electronic design automation, and hardware machine learning systems. He holds Fellow status in the Institute of Electrical and Electronics Engineers (IEEE). His work emphasizes neuromorphic engineering, spiking neural networks, and the intersection of machine learning with analog circuit design. Education includes a PhD in Electrical and Computer Engineering from Carnegie Mellon University, an MS in Systems Engineering from Xi'an Jiaotang University, and a BS in Information Science and Engineering from the same institution. His research has been recognized with prestigious awards including the ICCAD Ten-Year Retrospective Most Influential Paper Award and multiple Design Automation Conference Best Paper Awards. Key research trends in his articles include advancements in spiking neural networks (SNNs), hardware accelerators for neuromorphic computing, Bayesian optimization for analog circuit design, and robustness in machine learning systems. He explores topics like adversarial robustness, energy-efficient architectures, and data-efficient prediction techniques. His work bridges theoretical machine learning models with practical hardware implementations, particularly in 3D integration and systolic array acceleration. Notable contributions include pioneering hybrid approaches combining formal verification with machine learning for analog circuits (HFMV framework), and innovations in neuromorphic processors such as the 3D Liquid State Machine architecture. His research also addresses challenges in semiconductor manufacturing, including wafer map pattern recognition and failure detection through semi-supervised learning and contrastive methods. Awards highlight his impactful contributions to both design automation and neural computing. His grants and collaborations likely span industry partnerships in semiconductor technology and neuromorphic computing. He leads a lab focused on next-generation hardware-software co-design for intelligent systems, emphasizing energy efficiency and scalability.
Li Yang is an Assistant Professor in the Department of Information Technology , part of the Faculty of Business and Information Technology at Ontario Tech University. His research focuses on applying AI and machine learning to cybersecurity, particularly in intrusion detection and anomaly detection for 5G/6G networks and IoT systems. He holds a PhD in Electrical and Computer Engineering from Western University (2022), and has held roles such as Vice Chair of IEEE Computer Society, London Section (2022–2023). Education: PhD in Electrical and Computer Engineering, Western University (2022) Master of Science, University of Guelph (2018) Bachelor of Engineering, Wuhan University of Science and Technology (2016) Research Interests: His work spans cybersecurity, machine learning, deep learning, AutoML, model optimization, network automation, IoT security, intrusion detection, and adversarial machine learning. He develops frameworks for concept drift adaptation and online learning to enhance cybersecurity measures, with a focus on trustworthy AI and defense strategies against adversarial attacks. Awards: Graduate Student Award for Excellence in Research (2022) Graduate Symposium Award for Best Presentation (2022) Mitacs Accelerate Fellowship (2021) OC2 Lab Industrial Research Excellence Award (2020) Ranked in Stanford/Elsevier's Top 2% Scientists (2024) Grants & Involvement: Li Yang has contributed to conferences like IEEE GlobeCom and IEEE CCECE, and authored patents such as 'Convenient primary-secondary barrels' (2009). His work has garnered thousands of citations and GitHub stars, emphasizing practical applications of AI in cybersecurity.
