Find Academic Supervisors

Michael LyuView profile

Professor

• Software Engineering
• Cloud Computing
• AIOps
• +5 more

Michael Lyu is a Professor at The Chinese University of Hong Kong specializing in software engineering with a focus on cloud reliability, AIOps, and log analysis. His research bridges the gap between theoretical advances and practical industrial applications in large-scale cloud systems. His research interests span Software Engineering , Cloud Computing Reliability , AIOps , and Log Analysis . Dr. Lyu's work addresses critical challenges in modern cloud operations, including failure diagnosis, anomaly detection, and reliability engineering. His recent research has pivoted toward leveraging large language models for software engineering tasks, particularly in code generation and log analysis. His publication portfolio demonstrates consistent contributions to major software engineering conferences (ASE, ICSE, ESEC/FSE) from 2018-2025, with a noticeable increase in LLM-related research since 2023. The trend shows a clear evolution from traditional software engineering topics toward AI-driven approaches for cloud operations. ICSE 2021 Keynote: "Reliability-Driven AIOps for Cloud Resilience" ASE 2023: Maat: Performance Metric Anomaly Anticipation for Cloud Services ASE 2024: LILAC: Log Parsing using LLMs with Adaptive Parsing Cache Dr. Lyu actively mentors students, with numerous co-authored publications showing his advisees as first authors. His work receives significant attention in both academic and industrial software engineering communities, addressing practical problems faced by large-scale cloud service providers. His research group appears focused on developing data-driven approaches for improving cloud system reliability through advanced analytics of logs, traces, and KPIs.

Sen ChenView profile

Professor

• Software Security
• Software Supply Chain Security
• Vulnerability
• +5 more

Sen Chen is a Professor at Nankai University, holding positions in both the College of Cryptology and Cyber Science and the College of Computer Science. He leads the Nankai Software Security Laboratory (NKSSecLab) and is a member of Professor Zheli Liu's research group. Previously, he served as a tenured associate professor and research professor at Tianjin University (2021-2024), and as a research assistant professor at Nanyang Technological University (NTU), Singapore. Dr. Chen's research focuses on software security and software supply chain security, with particular emphasis on vulnerability analysis and malware detection. His work spans multiple domains including mobile security, AI security, open-source security, and intelligent software development and testing. His research has led to significant contributions in automated security vulnerability detection, software composition analysis, and security tool development for various platforms including Android, Java, and blockchain systems. Analysis of Dr. Chen's recent publications (2023-2025) reveals a strong focus on software supply chain security, with particular attention to vulnerability detection and remediation in open-source ecosystems. His work demonstrates expertise in applying advanced machine learning techniques to security problems, especially in the context of Android applications and containerized environments. There's a clear trajectory toward addressing emerging challenges in AI security and large language model supply chains, reflecting his ability to adapt research directions to evolving technological landscapes. ACM SIGSOFT Distinguished Paper Award (FSE 2024) ACM SIGSOFT Distinguished Paper Award (ASE 2023) First Place of the 13th Challenge Cup China College Students' Entrepreneurship Competition ACM SIGSOFT Distinguished Paper Award (ICSE 2023) Prototype Research Tool Award 2nd Place (Freestyle) in CCF ChinaSoft 2022 First Place of The 8th China International College Students' 'Internet+' Innovation and Entrepreneurship Competition ACM SIGSOFT Distinguished Paper Award (ASE 2022) ACM China Rising Star Award (ACM Tianjin Council) ACM SIGSOFT Distinguished Paper Award (ICSE 2021) First Class of Progress of Science and Technology Prize of Tianjin, 2020 Dr. Chen has successfully secured funding from multiple prestigious sources including key R&D programs, general and pre-research projects of the National Natural Science Foundation of China, and the Populus euphratica Forest Fund. His theoretical research has been applied by major companies such as State Grid, China Automotive Industry Corporation, and Huawei. He has mentored students to win national gold medals in both the 'Internet Plus' and Challenge Cup programs, demonstrating his commitment to student development and practical application of research. Dr. Chen leads NKSSecLab (Nankai Software Security Laboratory), which focuses on cutting-edge research in software security and supply chain security. The lab has developed several notable tools including SCTruster (a digital trust chain platform for software supply chain security) and LiDetector. The lab maintains strong international collaborations with institutions like Nanyang Technological University in Singapore and has established itself as a leading research group in software security within China.

Jingyi WangView profile

Assistant Professor

• Software Engineering for AI
• Formal Methods
• Security
• +4 more

Jingyi Wang is an Assistant Professor at Zhejiang University (ZJU), China, leading the IS2 (Intelligent System Security) Lab. He holds a US-equivalent tenure-track position and has established himself as a prominent researcher in software engineering for AI and formal methods applied to security. His educational background includes: Bachelor's degree from Xi'an Jiaotong University (2013) PhD from Singapore University of Technology and Design (2018) Research Fellow at National University of Singapore (2019-2020) Wang's research focuses on developing principled methodologies for building trustworthy AI models and secure systems. His work spans testing, verification and repair of AI models/systems, AI safety and security, and formal reasoning of security. He has developed innovative approaches for neural network testing, verification, and repair, with particular emphasis on explainability, fairness, and robustness. His publication record shows a clear progression from foundational work on concolic testing (2018) to increasingly sophisticated methods for evaluating and improving AI systems, with recent focus on large language models and decentralized identity systems. His research bridges formal methods with practical software engineering challenges in AI security. His notable achievements include: Two ACM SIGSOFT Distinguished Paper Awards (ICSE 2018 and 2020) ACM SIGSOFT Research Highlights Best Paper Award Runner-up at IEEE TDSC 2024 Wang actively contributes to the research community as Program Committee member for top conferences including CCS, ICSE, ISSTA, ASE, WWW, and AAAI. He serves as PC Co-chair for ICFEM 2025, Large Model Safety Workshop 2025, and SAC-SVT 2026. His leadership in the IS2 Lab demonstrates his commitment to advancing intelligent system security through rigorous research.

Max HortView profile

Researcher

• Machine Learning for Software Engineering
• Defect Detection
• Software Fairness
• +2 more

Max Hort is a researcher at Simula Research Laboratory in Norway specializing in Machine Learning for Software Engineering, Defect Detection, and Software Fairness. He has established himself as an active contributor to the software engineering research community through numerous publications and program committee roles at major conferences. His research focuses on: Machine Learning for Software Engineering Defect Detection Software Fairness Program Repair Log Parsing Hort's recent work demonstrates a strong emphasis on applying large language models to software engineering challenges, particularly in program repair and defect detection. His publications reveal a methodical approach to evaluating AI techniques in software engineering contexts, with special attention to reliability concerns like non-determinism in language models. He has also made significant contributions to the understanding of software fairness and bias mitigation. Through his active participation in program committees for ASE, ICSE, ESEC/FSE, and SANER conferences, Hort has earned recognition as a knowledgeable contributor to the field. His work bridges theoretical machine learning advancements with practical software engineering challenges, addressing critical issues in modern software development as AI-assisted programming becomes increasingly prevalent.

Alastair F. DonaldsonView profile

Professor

• Programming Languages
• Compilers
• Verification
• +5 more

Alastair F. Donaldson is a Professor in the Department of Computing at Imperial College London, where he leads the Multicore Programming Group. His primary affiliation is with Imperial College London's Department of Computing within the broader Faculty of Engineering structure. He serves as a Program Committee Member for major conferences including ASE, PLDI, and POPL. His research spans Programming Languages , Compilers , Verification , Testing , and Multicore Programming , with significant contributions to randomized testing techniques. He pioneered GraphicsFuzz (acquired by Google in 2018) and developed innovative approaches like grammar mutation for parser testing, metamorphic fuzzing for C++ libraries, and specialized tools for GPU API validation. His work bridges theoretical foundations with industrial impact, particularly in compiler correctness and GPU computing. Analysis of his recent publications reveals a strong trend toward fuzzing infrastructure development (40%), GPU/compiler testing (30%), and formal methods integration (30%). His research increasingly focuses on large-scale automated testing for complex systems including WebGPU, Dafny, and Rust, while maintaining rigorous theoretical grounding in concurrency models and memory semantics. Donaldson has held significant leadership roles including General Chair for PLDI 2020 and Program Chair for ECOOP. His research has been supported through conference organizational roles and industrial collaborations, notably the GraphicsFuzz spinout. He actively contributes to the PL community through mentoring initiatives like PLMW and community-building efforts such as The PLDI Song. He leads the Multicore Programming Group at Imperial College London, focusing on practical tools for compiler and GPU driver validation. The group's work combines theoretical program analysis with real-world testing frameworks, maintaining strong industry connections through projects adopted by Google and other technology companies.

• Machine Learning
• Deep Learning
• AI Safety
• +5 more

Saikat Barua is a Senior Researcher at North South University in Dhaka, Bangladesh, affiliated with the Department of Electrical Engineering and Computer Science. His research focuses on designing intelligent systems aligned with human values, aiming to create beneficial AI that collaborates with humanity for a better future. With expertise spanning Machine Learning, Deep Learning, AI Safety, Quantum Error Correction, and Natural Language Processing, Barua contributes significantly to advancing artificial intelligence with strong emphasis on ethical and practical applications. Barua's research centers on developing transparent, reliable, and human-centered AI systems across multiple cutting-edge domains. His work in explainable AI (XAI) addresses the critical need for interpretability in complex machine learning models, while his investigations into quantum machine learning explore novel approaches to hybrid quantum-classical systems. He actively researches autonomous agents and large language models, examining their security vulnerabilities and potential for beneficial societal impact. A recurring theme in his work is bridging the gap between sophisticated AI capabilities and human understanding, ensuring technologies remain accessible and trustworthy. His publication record reveals a strategic focus on making AI more transparent, secure, and energy-efficient across diverse applications. Barua has developed integrated environments for knowledge analysis (KAXAI), energy-efficient medical imaging frameworks (ELMAGIC), and quantum error correction techniques (RESCUED). His recent work increasingly addresses the security challenges of agentic systems and the practical implementation of quantum machine learning. The trajectory of his research demonstrates consistent progression from foundational AI techniques toward increasingly complex, interdisciplinary applications with real-world impact. As an active researcher with nine publications accumulating over 11,988 reads and 14 citations, Barua engages deeply with the scientific community through ResearchGate. His research questions explore critical intersections of AI with healthcare empathy, machine learning data collection, human resource management, and responsible research practices. This comprehensive engagement reflects his commitment to advancing both the technical frontiers of AI and its thoughtful integration into societal frameworks, positioning him as a thoughtful contributor to the evolving landscape of artificial intelligence research.

Ulf Philipp MüllerView profile

Researcher

• Power Systems
• Renewable Energy Integration
• Grid Planning
• +3 more

Ulf Philipp Müller is a Researcher in the Department of Energy and Biotechnology at Flensburg University of Applied Sciences, where he has been employed since May 2013. His work focuses on sustainable and reliable power supply through renewable energy integration, culminating in his 2021 doctoral thesis on grid and storage expansion optimization in German power systems. His academic background includes: High school graduation in Braunschweig (2006) Voluntary community service in Panama Bachelor in Energy- and Environmental Management (Industrial Engineering) at Flensburg University of Applied Sciences with a semester in Granada, Spain Master in Energy- and Environmental Management (Industrial Engineering) at Flensburg University of Applied Sciences Dr. Müller's research centers on techno-economic modeling for renewable energy integration, emphasizing grid planning, storage expansion, and sector coupling. His methodology combines high-resolution spatial analysis with open data frameworks to address grid stability and reliability challenges in transitioning energy systems. His publication portfolio demonstrates consistent focus on transparent grid modeling tools, with recurring themes in high-voltage grid simulation, storage optimization, and cross-sector energy planning. The works collectively advance open-source approaches for German and Baltic Sea region energy systems, highlighting spatial allocation techniques and multi-voltage level analysis. He has led significant research initiatives including open_eGo (2015-2018), which he initiated and coordinated, and its successor eGo^n (2019-present) integrating sector coupling into grid planning tools. These projects have secured institutional support for developing open energy platforms. As part of the Department of Energy and Biotechnology research group, he contributes to energy system modeling for Germany's energy transition, focusing on practical implementation of grid expansion strategies.

Tobias HeerView profile

Professor

• Network Security
• IT Security
• Offensive Security
• +5 more

Prof. Dr. Tobias Heer serves as Professor and Dean of Computer Science and Engineering at Esslingen University of Applied Sciences, where he also holds Senate and Building Committee roles. Based in Room F 01.312 at Campus Esslingen (Flandernstraße 101, 73732 Esslingen), he leads the IT Security Lab while teaching Network Security, IT Security, Offensive Security, and Security of Industrial Networks courses. His research spans industrial network security with emphasis on time-sensitive networking (TSN), deterministic networking (DetNet), and offensive security methodologies. Key focus areas include spoofed traffic detection, secure resource allocation protocols, internet-wide scanner analysis, and global software patching practices. His work bridges theoretical protocol design with industrial implementation challenges in critical infrastructure systems. Recent publications (2022-2024) reveal strong trends in industrial network security, particularly TSN/DetNet integration and real-time traffic protection. His team develops evaluation frameworks like GeNESIS for industrial scenarios while analyzing global patching discipline across sectors. Earlier foundational work includes Host Identity Protocol standards (RFC 7401, 8002) and distributed hash table applications for mesh networks. No scientific awards are documented in the provided materials. While advising activities aren't specified, his patent portfolio indicates active industry collaboration. He heads the IT Security Lab which focuses on industrial network security testing and protocol development, with recent projects examining PRP-based transmission systems and time-deterministic firewall mechanisms.

• Computer Science
• Formal Methods
• Programming Languages
• +1 more

André de Matos Pedro is an Assistant Professor in the Department of Computer Science at the University of Beira Interior. He teaches courses including Teoria da Computação (Theory of Computation), Programação Funcional (Functional Programming), and Segurança e Fiabilidade de Software (Software Security and Reliability). His research focuses on formal methods, runtime verification, and programming language theory. His publication record shows consistent focus on formal verification methods applied to real-time and embedded systems. Recent work emphasizes runtime monitoring frameworks, SAT/SMT-based verification techniques, and applications in safety-critical domains like autopilot systems. The research trajectory demonstrates increasing emphasis on practical applications of temporal logic and co-simulation testing platforms.

Simha SethumadhavanView profile

Professor

• Computer Architecture
• Computer Security
• Hardware Security
• +3 more

Simha Sethumadhavan is a Professor of Computer Science at Columbia University and an Alfred P. Sloan Research Fellow. His research focuses on computer architecture and security, particularly on securing hardware first and systematically hardening systems stacks. Hardware Security Microarchitectural Side Channels Memory Safety Analog Accelerators His recent work explores mechanism design for security, memory safety, reliability co-design, and cloud security. Publications span journals like Communications of the ACM and conferences including IEEE Security and Privacy, CCS, ISCA, and MICRO. Distinguished Paper Awards IEEE Micro Top Picks Best Student Paper Awards Best of CAL 2016 He advises PhD students such as Adam Hastings, Evgeny Manzhosov, and Miguel Arroyo, and has taught courses like Computer Architecture (CSEE 4824) and Hardware Security (COMS 6424). He has served on editorial boards and program committees for ISCA, IEEE Security and Privacy, and MICRO.

Christian DietrichView profile

Professor

• Operating Systems
• Real-Time Systems
• Embedded Systems
• +5 more

Christian Dietrich is a Professor at Technische Universität Braunschweig, specializing in operating systems, real-time systems, and software dependability. Previously affiliated with Friedrich-Alexander-Universität Erlangen-Nürnberg and Leibniz Universität Hannover, he leads the Systems Research and Architecture (SRA) group. His research focuses on dependable embedded operating systems, fault tolerance, static analysis, and compiler optimization. He has contributed to projects like dOSEK, cHash, and MELF, addressing challenges in real-time scheduling, redundancy reduction, and variability management in system software. Education: PhD in Computer Science from Leibniz Universität Hannover (2019). Research Interests: Embedded systems dependability, real-time OS design, static/dynamic analysis, fault injection, and compiler-driven optimization. His work bridges theory and practice, with applications in automotive and safety-critical systems. Recent Work: Recent articles explore compiler caching efficiency (IRHash), memory management (HyperAlloc), and fault-space pruning for hardware fault injection. His work on cHash reduced redundant compilations by 80%, earning a USENIX ATC Best Paper Award. Awards: ECRTS 2018 Outstanding Paper, RTAS 2015 Best Paper, and multiple teaching accolades. Supervised over 30 theses, including topics like live patching, fault injection frameworks, and stack-sharing mechanisms. Lab/Team: Heads the SRA group, collaborating on projects like AHA (Hardware Abstraction), CLASSY-FI (fault injection), and CADOS (RTOS variability management). Active in conferences like OSDI, EuroSys, and RTSS.

• High-Performance Computing
• Parallel Computing
• Power Management
• +3 more

Barry Rountree is a researcher affiliated with Lawrence Livermore National Laboratory (LLNL), specializing in High-Performance Computing (HPC), Power Management, and Parallel Computing. His work focuses on optimizing energy efficiency, fault tolerance, and performance in large-scale supercomputing environments. He has contributed extensively to the development of tools and frameworks for power-aware scheduling, hardware overprovisioning, and visualization performance optimization. Key research interests include HPC system design, processor manufacturing variability, and energy-efficient algorithms. Rountree has collaborated with institutions like NERSC and Intel on projects involving exascale computing challenges and resource management strategies. His publications span conferences such as SC, IPDPS, and ICS, emphasizing practical solutions for scalable and sustainable HPC systems. Notable contributions include the SpackNVD vulnerability audit tool, the msr-genie framework for processor register navigation, and adaptive power management strategies for visualization applications. His work highlights interdisciplinary approaches to addressing computational challenges in science and engineering domains.

Stephanos MavromoustakosView profile

Associate Professor

• Web Engineering
• Human-Computer Interaction
• Information Security
• +3 more

Dr. Stephanos Mavromoustakos serves as Acting Associate Dean and Chair of Cybersecurity, Computer Science, and Software Engineering at Indiana Tech's Talwar College of Engineering and Computer Sciences. He holds an Associate Professor rank and directs the Cybersecurity Center. His academic journey includes a PhD in Computer Science from the University of Cyprus (2006) and multiple degrees from Nova Southeastern University. With over 25 years of experience, Dr. Mavromoustakos has taught at institutions like the University of Windsor and European University Cyprus. His professional leadership spans roles as department head, consultant, and CEO of Cyprosoft. He currently advises programs in Cybersecurity (BS/MS), Computer Science (BS), and Software Engineering (BS). Research interests focus on Web Engineering , Human-Computer Interaction , Information Security , and Artificial Intelligence . Notable work includes cybersecurity project development, adaptive e-Learning systems, and biometric authentication technologies. He has published extensively in journals like UPGRADE and conferences such as IEEE and ACM. Grants include NSF S-STEM ($1M), Google Cloud Platform grants, and EU projects like MEDFORIST ($2.5M). His funded projects address data security, mobile commerce, and educational technology innovations. He teaches a wide range of undergraduate and graduate courses, emphasizing practical skills in software engineering, database systems, and cybersecurity.

Adnan Siraj RakinView profile

Assistant Professor

• AI Security
• Deep Learning
• Computer Vision
• +3 more

Adnan Siraj Rakin is an Assistant Professor at Binghamton University's School of Computing. He holds a PhD and MS in Computer Engineering from Arizona State University (2022 and 2021) and a BS in Electrical and Electronic Engineering from Bangladesh University of Engineering and Technology (2016). His research focuses on AI security, including adversarial attacks on deep learning systems, model stealing, and hardware vulnerabilities. Notable contributions include defenses against bit-flip attacks, weight duplication frameworks, and RowHammer exploits. Research Interests: Adversarial Attacks (Input/Weight/Model Stealing) Deep Learning Security Hardware Vulnerabilities (e.g., FPGA/DRAM) Robust Neural Network Design Publications highlight advancements in detecting and mitigating adversarial perturbations, with work featured in CVPR, ICCV, and IEEE Security & Privacy. His recent efforts address LLM vulnerabilities and edge computing efficiency. He received the 2022-2023 Educator of the Year award from Binghamton's CS department. Current projects include developing full-stack obfuscation frameworks, secure domain adaptation, and exploring adversarial impacts on robotics systems.

Radu MARINESCUView profile

Professor

• Software Engineering
• Software Quality Assurance
• Software Metrics
• +3 more

Radu Marinescu is a Professor of Software Engineering at the Politehnica University of Timisoara, affiliated with the Department of Computer Science and Engineering. He leads the LOOSE Research Group and is a senior researcher at the e-Austria Institute. His primary roles include teaching graduate courses like Foundations of Software Engineering and Research Topics in Software Engineering. Marinescu's research focuses on software quality assurance, metrics, and maintenance, emphasizing object-oriented systems. He co-founded Intooitus, a spin-off company that develops quality assessment tools like inFusion and inCode. Marinescu holds a Dr. Habil. Eng. and a joint PhD ('magna cum laude') from Politehnica University of Timisoara and University of Karlsruhe. He has authored over 30 international publications and co-authored the best-selling book Object-Oriented Metrics in Practice (Springer). His awards include the IBM John W. Backus Award (2009) and an IBM Eclipse Innovation Award (2006). Marinescu has served as General Chair for ICSM 2010 and on numerous conference program committees. His research projects include developing tools like iPlasma for software analysis and inCode for real-time design flaw detection. Marinescu has advised four PhD students and participated in consultancy projects for companies like Nokia, Alcatel-Lucent, and Siemens VDO Automotive. He actively contributes to the software engineering community through editorial roles, conference organization, and evaluations for EU research programs.