Find Academic Supervisors

Yulei SuiView profile

Associate Professor

• Program Analysis
• Software Engineering
• Machine Learning
• +7 more

Yulei Sui is an Associate Professor at the School of Computer Science and Engineering, University of New South Wales (UNSW), where he conducts research at the intersection of programming languages, software engineering, and machine learning. His work focuses on developing open-source frameworks for static analysis and verification to enhance software reliability and quality. He currently serves as Program Chair for LCTES 2024, SAS 2025, and ISSRE 2025, and is a program committee member for numerous top-tier conferences including PLDI, OOPSLA, and ICSE. His educational background includes a PhD from UNSW, where he has been a faculty member since completing his studies. His research interests span program analysis, software verification, machine learning applications in software engineering, and the intersection of programming languages with natural language processing and code LLMs. He leads the development of SVF (Static Value-Flow), an open-source framework for code analysis and verification, which has gained significant traction in both academic and industrial settings. His recent publications demonstrate a strong focus on improving the precision and efficiency of static analysis techniques, particularly in areas like context-free language reachability, pointer analysis, typestate analysis, and vulnerability detection. His work often bridges theoretical advances with practical applications, resulting in tools that address real-world software reliability and security challenges. Several of his papers have received distinguished paper awards at top conferences including ICSE and FSE. ICSE Distinguished Paper Award (2025) FSE Distinguished Paper Award (2024) OOPSLA 2022 Distinguished Artifact Award Australian Research Council Future Fellowship Fellow of Engineers Australia (FIEAust) Professor Sui actively mentors PhD students and undergraduate thesis candidates, with numerous students having completed their research under his supervision. He has secured significant research funding including ARC Discovery Projects and an ARC Future Fellowship. His community service includes editorial roles for IEEE Transactions on Software Engineering and IEEE Transactions on Reliability, demonstrating his standing as a leader in the software engineering research community.

Hamid BagheriView profile

Associate Professor

• Software Engineering
• Security of Mobile Devices and IoT Systems
• Formal Methods
• +4 more

Hamid Bagheri is an Associate Professor in the School of Computing at the University of Nebraska-Lincoln, where he conducts cutting-edge research at the intersection of software engineering, security, and formal methods. He also serves as a faculty associate of the Institute for Software Research (ISR) at the University of California, Irvine, and co-directs the ESQuaReD Lab (Engineering Software Quality and Reliability through Deductive methods), which focuses on ensuring software quality through rigorous engineering approaches. Dr. Bagheri's research spans several critical areas including security of mobile devices and IoT systems, scaling formal verification with machine learning, software analysis and testing, dependable cyber-physical systems, and automated program repair and fault localization. His work combines theoretical rigor with practical applications, addressing real-world challenges in software security and reliability through publications in top venues like ICSE, FSE, ASE, and IEEE/ACM Transactions journals. His recent publications demonstrate a strong trend toward integrating machine learning techniques with formal methods to enhance software analysis capabilities. This includes leveraging transformers for database design optimization, neuro-symbolic approaches for certified software synthesis, and large language models for repairing formal specifications, reflecting his ability to adapt to emerging technologies while maintaining a strong theoretical foundation. Dr. Bagheri has received numerous prestigious awards including the EPSCoR FIRST Award, the NSF CISE Career Research Initiation Initiative Award, multiple Distinguished Paper Awards from top conferences, and teaching honors such as the SoC Student Choice Outstanding Teaching Award (2023-2024) and the CSE Outstanding Teaching Award (2020-2021). As an advisor, Dr. Bagheri has mentored several successful PhD students including Mohannad Alhanahnah (who joined Chalmers University as a tenure-track faculty member in Fall 2024) and Clay Stevens (who joined Iowa State University as a tenure-track faculty member in Fall 2023). His research has been supported by significant grants from NSF and other funding agencies, with recent work focusing on automated specification repair, security analysis of IoT systems, and verification of network protocols. The ESQuaReD Lab, which Dr. Bagheri co-directs, brings together a multidisciplinary team focused on addressing critical challenges in software quality and reliability through innovative engineering approaches and formal analysis techniques, with applications spanning mobile security, IoT systems, and cyber-physical systems.

Abhishek TiwariView profile

Associate Professor

• Static Program Analysis
• Android Security
• Language-Based Security
• +4 more

Abhishek Tiwari is an Associate Professor of Software Engineering at the Maersk Mc-Kinney Moller Institute, University of Southern Denmark, where he was promoted from Assistant Professor in September 2025. His academic journey includes positions as Senior Researcher at Software Institute, USI Lugano (2024), Senior Researcher at University of Passau (2022-2023), and Research Fellow at National University of Singapore (2020-2021). He completed his PhD in Software Engineering at University of Potsdam, Germany in 2019 under supervision of Prof. Dr.-Ing Christian Hammer. His research focuses on the intersection of programming languages and software engineering, with particular expertise in static program analysis, language-based security, information flow control, and automated program repair. His work has significant practical applications in Android security and privacy, addressing critical challenges in information flow analysis, vulnerability detection, and program repair. His research has evolved from foundational work on Android security mechanisms like PendingIntent analysis and anti-theft frameworks to more recent sophisticated approaches for information flow security repair and multilingual program analysis. Trends in his publication record show a consistent focus on Android security challenges, with increasing sophistication in analysis techniques from 2017 through 2025. His work spans theoretical foundations of program analysis while maintaining strong practical relevance to real-world Android security issues. Recent publications demonstrate growing interest in multilingual program analysis and formal specification challenges. ACM SIGSOFT Distinguished Paper Award (MOBILESoft 2023) Dr. Tiwari actively contributes to the academic community through program committee service for major conferences including ASE (2024, 2025), ICSE (2025), and ISSTA (2022-2024). His teaching portfolio includes Advanced Software Engineering Methodologies (2024), Automated Program Repair (2022-2023), and Mobile Security (2022) courses. He has received research funding from prestigious sources including Deutsche Forschungsgemeinschaft (DFG), German Federal Ministry of Education and Research, and EIT Digital for projects related to programming principles for privacy, SmartPriv, and SMAPPER.

Iftekhar AhmedView profile

Associate Professor

• Software Engineering
• Software Testing
• Machine Learning for Software Engineering
• +3 more

Iftekhar Ahmed is an Associate Professor in Informatics at the Donald Bren School of Information and Computer Science, University of California, Irvine. His research focuses on software engineering, particularly combining software testing, static analysis, and machine learning to develop better tools and techniques for software quality assurance. His educational background includes: PhD in Computer Science (2018) from Oregon State University, advised by Carlos Jensen BSc in Computer Science & Engineering (2007) from Shahjalal University of Science and Technology Dr. Ahmed's research interests center on software testing, static analysis, and the application of machine learning to software engineering problems. He has made significant contributions to mutation analysis, particularly in scaling this technique for real-world software systems. His work often bridges theoretical advances with practical applications, focusing on how to make software testing more effective and efficient for developers. He leads the STAIRS (Software Engineering & Testing Using Artificial Intelligence for Reliable Software) research group at UCI, where his team explores innovative approaches to software reliability through AI and machine learning. His recent publications demonstrate a strong trend toward integrating artificial intelligence with traditional software engineering practices. There's a clear focus on applying machine learning to code analysis, commit message generation, and bug detection, while maintaining rigorous empirical validation through studies of real-world software projects and developer practices. His work spans multiple domains including web accessibility, quantum computing, and Jupyter notebooks, showing both depth in core software engineering topics and breadth across application areas. Dr. Ahmed has received several prestigious awards: IBM Ph.D. Fellowship for academic year 2016-2017 Graduate School tuition relief Scholarship for academic year 2016-2017 IBM Ph.D. Fellowship for academic year 2017-2018 Actively involved in the academic community, Dr. Ahmed serves on program committees for major software engineering conferences including ASE, ICSE, and ESEC/FSE. He is currently accepting PhD students into his research group and emphasizes mentorship and professional development. His research has been supported by various grants that enable his team to explore innovative approaches to software testing and analysis. Dr. Ahmed leads the STAIRS research group at UCI, which focuses on developing AI-powered techniques for software testing and reliability. The group collaborates with industry partners and academic institutions to ensure their research addresses real-world challenges in software development. Current projects include improving mutation testing scalability, analyzing code smells in emerging domains like quantum computing, and developing tools for accessibility testing.

Omar I. Al-BatainehView profile

Researcher

• Automated Program Repair
• Formal Methods
• Software Engineering
• +3 more

Omar I. Al-Bataineh is a Research Scientist at Gran Sasso Science Institute (GSSI) in Italy, specializing in software engineering and formal methods. His work bridges theoretical foundations with practical applications in automated program repair and software verification. Education: Ph.D. in Computer Science, University of Western Australia Additional degrees from University of New South Wales and Jordan University of Science and Technology His research centers on three interconnected themes: (1) Multi-fault Automated Program Repair addressing complex bug interactions, (2) Formal Methods for Reliable Repair ensuring provable correctness, and (3) Termination-Aware Repair integrating performance considerations. He develops lightweight test oracles and context-sensitive repair techniques to overcome patch overfitting and scalability limitations in real-world systems. Recent publications reveal strong focus on multi-fault scenarios (60% of 2025 output), with growing emphasis on formal verification (30%) and performance-aware repair (10%). Key venues include ASE, ICSME, and SANER where he explores program slicing, oracle design, and fault interaction analysis. Awards: Best Paper Award at QRS 2022 for advancing automated program repair capabilities Prior to GSSI, he held research positions at Simula Research Laboratory, National University of Singapore, and Nanyang Technological University. His teaching experience includes Advanced Computer Security at UNSW and Java Programming at UWA, though current academic instruction isn't emphasized in recent activities. He maintains active contributions to workshops like APR@ICSE and FASE, focusing on practical tool development.

Jing ZengView profile

Associate Professor

• Corporate finance
• Financial intermediation
• Bank regulation
• +3 more

Jing Zeng is an Associate Professor of Finance at the Department of Economics, University of Bonn. She is also a Research Affiliate at the Centre for Economic Policy Research (CEPR) and a Member of the Finance Theory Group. Her academic work focuses on corporate finance, financial intermediation, and banking regulation. Her educational background includes: PhD in Finance from the London School of Economics (2014) MSc in Finance and Economics from the London School of Economics (2009) BA (Hons) in Business Finance from Durham University (2008) Jing Zeng's research spans several key areas in finance, with a particular focus on financial intermediation and corporate finance . Her work examines how financial institutions operate, how banks respond to regulation, and how firms structure their financing. She has made significant contributions to understanding stress testing in banking, securitization markets, and off-balance sheet funding. Her research often employs theoretical models to analyze financial contracting, information asymmetry, and optimal regulatory design. Her recent work on "Market-Based Green Firms" also explores the intersection of finance and climate risk, developing innovative measures of firms' exposure to climate policy. Her publications in top finance journals reflect her expertise in banking and corporate finance. The trends in her research show a consistent focus on financial intermediation mechanisms, regulatory impacts on bank behavior, and corporate financing structures. Her work often bridges theoretical models with practical regulatory implications. Dr. Zeng has received notable recognition for her research: Lamfalussy Fellowship 2020 from the European Central Bank UniCredit & Universities Best Paper Award in 2014 In terms of academic service and mentorship, Dr. Zeng has advised several PhD students who have gone on to academic positions. She has served on dissertation committees for students at institutions including Toulouse School of Economics and Warwick Business School. Her teaching portfolio includes advanced courses in banking regulation, corporate finance, and financial economics at both the undergraduate and graduate levels. She has also been active in the academic community, serving on program committees for major finance conferences including OxFIT and the Bundesbank Autumn Conference. Dr. Zeng is affiliated with several research groups and centers that support her work in finance and banking. Her position at the University of Bonn places her within a strong economics department with connections to European financial policy institutions. She regularly presents her research at major international finance conferences and serves as a referee for top finance journals including the Journal of Finance and the Review of Financial Studies.

Mengxi ZhangView profile

Associate Professor

• Microeconomic Theory
• Mechanism Design
• Auction Theory
• +3 more

Mengxi Zhang is an Associate Professor with tenure in the Department of Economics at the University of Bonn, holding concurrent affiliations with the Hausdorff Center for Mathematics, Collaborative Research Center CRC TR 224, and ECONtribute: Markets & Public Policy. Her research bridges theoretical economics and applied market design within these prestigious institutional frameworks. Her educational background includes a PhD in Economics from Boston University, forming the foundation for her specialized expertise in microeconomic theory. This training is evident in her rigorous analytical approach to complex economic problems. Dr. Zhang's research program focuses on Mechanism Design and Auction Theory , with significant contributions to Contest Theory and Market Design . Her work explores strategic behavior under uncertainty, risk preferences in bidding environments, and optimal institutional design. This research intersects behavioral economics through investigations of non-expected utility models and their implications for market outcomes. Analysis of her publication record reveals consistent contributions to top-tier economics journals, with thematic emphasis on auction theory extensions, insurance design under asymmetric information, and security structuring for risk-averse agents. Her work demonstrates methodological sophistication through advanced mathematical modeling while maintaining relevance to real-world market applications. As an active researcher within the Hausdorff Center for Mathematics and ECONtribute network, she contributes to collaborative projects examining market mechanisms and public policy interfaces. Her institutional affiliations provide robust support for theoretical research through access to interdisciplinary expertise and computational resources.

Timo JakobiView profile

Professor

• Explainability of AI
• Deep Fake Detection
• Usable Security and Privacy
• +4 more

Timo Jakobi is a Professor at Nuremberg Institute of Technology's Faculty of Digital Transformation, teaching Usable Security and Privacy, Human-Centered Design, and Computer Science/Programming. He actively supervises Bachelor theses and serves on conference committees for major academic events. His research focuses on: Explainability of AI systems Deep Fake Detection methodologies Usable Security and Privacy frameworks AI for Usability Engineering applications AI compliance with data protection regulations Data Literacy enhancement tools Human-Centered Design principles Current projects involve developing browser-based deepfake detection systems and real-time fact-checking applications for social networks, emphasizing empirical user studies showing 47.16% baseline detection rates. Jakobi chairs workshops for GROUP 2025 and Communities & Technologies 2025 conferences while reviewing for ACM publications and the iCOM Journal of Interactive Media.

Karin SteineckeView profile

Physician Scientist

• Intensive Care Medicine
• Telemedicine
• Critical Care
• +3 more

Dr. Karin Steinecke serves as Senior Physician in the Department of Anesthesiology and Intensive Care Medicine at Charité - University Medicine Berlin, actively contributing to clinical practice and international research initiatives focused on enhancing critical care delivery through telemedicine. Her research concentrates on telemedicine implementation in intensive care units , particularly examining process quality improvements and pandemic response strategies. She investigates cross-border telehealth applications in resource-limited settings across Uzbekistan, South Africa, Uganda, and Ukraine, with emphasis on sustainable capacity building through eLearning and guideline development. Her work bridges clinical anesthesiology with global health systems strengthening. Recent publications demonstrate significant contributions to telehealth validation in critical care, including multicenter randomized trials and international pandemic response frameworks. These studies reveal consistent trends toward improved process quality metrics through structured teleconsultation programs and highlight cultural adaptation challenges in global telemedicine deployments. Dr. Steinecke leads major grant-funded projects including ERIC (2017-2020), FUTURE INTERNATIONAL (2020-present), and MoCCA (2021-2022), which involve telemedical consultation networks, webinar-based training, and unified treatment protocols for critically ill patients. These initiatives secure funding through Charité's global health partnerships and international development agencies. She collaborates with multidisciplinary teams across the Clinical Center Montenegro, German intensive care units, and healthcare systems in multiple African and Asian nations, establishing international networks for knowledge exchange in critical care medicine.

Victor ChaView profile

Professor

• International Relations
• Asian Studies
• Korean Peninsula Security
• +5 more

Victor Cha serves as president of the Geopolitics and Foreign Policy Department and Korea Chair at the Center for Strategic and International Studies (CSIS). He is also a distinguished university professor and professor of government at Georgetown University. From 2021 to 2025, he served on the Defense Policy Board in an advisory role to the Secretary of Defense under the Biden administration. Previously, from 2004 to 2007, he served on the National Security Council where he was responsible for Japan, Korea, Australia, New Zealand, and Pacific Island nations, and was the U.S. deputy head of delegation at the Six Party Talks. Dr. Cha received his PhD, MIA, and BA from Columbia University and a BA with honors from Oxford University. His academic journey includes being a two-time Fulbright scholar and a former Olin fellow at Harvard University, as well as former Hoover, Stanford Center for International Security and Cooperation, and Koret fellow at Stanford University. His research focuses on international relations with particular emphasis on Asian security, U.S.-Asia relations, Korean peninsula issues, and North Korea policy. Dr. Cha has authored nine books that explore the complex security dynamics in East Asia, including the award-winning 'Alignment Despite Antagonism: The United States–Korea–Japan Security Triangle' and 'The Impossible State: North Korea, Past and Future,' which was selected by Foreign Affairs as a 'Best Book on the Asia-Pacific for 2012.' His recent works include 'Korea: A New History of South and North' (2023), 'The Black Box: Demystifying the Study of Korean Unification and North Korea' (2024), and upcoming titles on North Korea's sea-based WMD capability and China's weaponization of trade. Analysis of his recent publications shows a consistent focus on Asian security architecture, U.S. alliance management in the Indo-Pacific, North Korean military capabilities, and the evolving economic-security nexus in the region. Dr. Cha has received significant recognition for his scholarly contributions: The 2000 Ohira Book Prize for 'Alignment Despite Antagonism' Selection by Foreign Affairs as having written a 'Best Book on the Asia-Pacific for 2012' Two outstanding service commendations during his tenure at the National Security Council Recognition as a two-time Fulbright scholar Dr. Cha actively contributes to academic discourse as a coeditor of the Contemporary Asia book series at Columbia University Press and serves on the editorial boards of ten academic journals. He also serves on the boards of the National Endowment for Democracy and the Korea Society and is a senior fellow at the George W. Bush Institute. His expertise is frequently sought by media outlets worldwide, with recent appearances and citations in major publications including CNBC, Bloomberg, Financial Times, and South China Morning Post. Dr. Cha's research has significant policy impact, particularly in the areas of U.S.-Korea relations and North Korean security policy.

Na'ama ShenhavView profile

Assistant Professor

• Labor Economics
• Health Economics
• Public Policy
• +5 more

Na'ama Shenhav is an Assistant Professor at the University of California, Berkeley's Goldman School of Public Policy and a Faculty Research Fellow at the National Bureau of Economic Research. Her research spans labor economics, health economics, and public policy with a particular focus on gender issues, education, and immigration policy. Her research interests include: Gender differences in labor supply and career trajectories Health outcomes related to policy interventions Education policy and human capital formation Political economy of women's suffrage and voting behavior Immigration policy effects on educational and labor market outcomes Shenhav's publication record shows consistent output in top economics journals from 2018 through projected 2025. Her work frequently employs causal inference methods to examine how policy changes affect women's economic outcomes, health, and education. Several papers have received significant media attention and policy impact, including work on DACA that was cited in Supreme Court cases and Department of Homeland Security rulemaking. Her notable awards include: Faculty Research Fellow at the National Bureau of Economic Research Shenhav has received research funding supporting her work on maternal labor supply, geographic health disparities, and policy evaluation. Her collaborative research approach is evident in her extensive co-authorship network across economics and public policy institutions.

• Hyperdimensional Computing
• Edge AI
• Neural Network Acceleration
• +3 more

Tajana Rosing is a Professor at the University of California, San Diego, specializing in hyperdimensional computing, neural network acceleration, and edge AI systems. Her work bridges hardware-software co-design for IoT, biomedical applications, and security-enhanced computing. University: University of California, San Diego Research Focus: Hyperdimensional Computing, Edge AI, IoT Systems, Neural Acceleration, Secure Machine Learning Her recent publications focus on energy-efficient neural network acceleration (e.g., Processing-in-Memory architectures), few-shot learning for edge devices, and hyperdimensional methods for sensor data and biomedical applications. She explores robustness against adversarial attacks and federated learning frameworks. Key trends include hyperdimensional computing for multimodal sensor fusion, transformer optimization via hardware-software co-design, and privacy-preserving edge AI. Collaborations often involve co-authors like Xiaofan Yu, Minxuan Zhou, and Onat Güngör. Her work impacts domains such as healthcare (glucose prediction, ECG analysis), cybersecurity (intrusion detection), and bioinformatics (mass spectrometry, viral sequence analysis).

• Formal Verification
• Software Engineering
• Computer-Aided Verification
• +5 more

Zvonimir Rakamaric is a Professor in the Department of Computer Science at the University of Utah. His primary research focuses on formal methods, software verification, and numerical analysis, with an emphasis on ensuring correctness and reliability in software systems. He leads efforts in developing tools and techniques for verifying complex systems, including formal verification of floating-point arithmetic, compiler optimizations, and concurrent/distributed systems. Key Roles: Formal Methods Researcher, Software Verification Specialist, Floating-Point Arithmetic Expert Affiliations: University of Utah School of Computing Research interests span formal verification tools (e.g., SMACK, Dafny), static analysis, and numerical error analysis. His work addresses challenges in safety-critical systems, including embedded software, high-performance computing, and compiler optimizations. Collaborations include institutions like Sandia National Labs and Microsoft Research. Publications emphasize rigorous methods for analyzing floating-point precision, equivalence checking, and tool development for formal verification. His work bridges theoretical foundations with practical tool implementations, contributing to open-source verification frameworks widely adopted in academia and industry.

• Software Engineering
• Computer Security
• Machine Learning
• +5 more

Yun Lin is a researcher affiliated with Shanghai Jiao Tong University, with a former position at the National University of Singapore's School of Computing. Their work focuses on software engineering, computer security, and machine learning. Key research interests include formal methods for program verification, adversarial machine learning, phishing detection, and deep learning applications in security. Lin has collaborated extensively with institutions like NUS and the Institute of High Performance Computing, producing over 70 publications since 2014 across venues such as ICSE, USENIX Security, and NeurIPS. Research interests span security (e.g., phishing detection, smart contract vulnerabilities), program analysis (bug localization, delta debugging), and AI-driven software development (code editing recommendations, LLM integration). Their contributions address challenges in software reliability, adversarial robustness, and scalable security solutions. Prominent publications include works on automated program refinement with LLMs, phishing webpage identification via deep vision models, and conflict resolution in version control systems. Lin’s collaborations emphasize interdisciplinary approaches blending formal methods with machine learning. No awards or grants are explicitly listed in the provided text.

Jens RettkowskiView profile

Professor

• Computer Architecture
• Embedded Systems
• Real-Time Systems
• +3 more

Prof. Jens Rettkowski is a leading academic specializing in advanced computing architectures, particularly focusing on multi-core systems, reconfigurable hardware (FPGAs), and networks-on-chip (NoC). His work bridges theoretical computer architecture with practical applications in embedded systems, real-time processing, and autonomous technologies. Research Interests: Multi-Core Architecture Design and Optimization Networks-on-Chip (NoC) for High-Performance Systems Reconfigurable Computing and FPGA-Based Systems Hardware-Software Co-Design for Embedded Applications Real-Time Systems and Energy Efficiency Sensor Data Fusion and Autonomous Driving Publications reflect a strong focus on optimizing communication and computation in heterogeneous systems, with recent work emphasizing power savings in multi-core architectures and event-based debugging frameworks. His contributions include frameworks like MPSoCSim for simulating reconfigurable systems, and software-defined FPGA approaches for adaptive computing. He has led research in robotics applications for assisted living environments, combining navigation algorithms with real-time sensor processing. His work also addresses security aspects of FPGA configuration and partial bitstream analysis using machine learning.