Find Academic Supervisors

Fabian FagerholmView profile

Assistant Professor

• Software Engineering
• Human-Computer Interaction
• Agile Development
• +3 more

Fabian Fagerholm is an Assistant Professor in the Department of Computer Science at Aalto University. His work bridges software engineering, human-computer interaction, and empirical research methodologies. He actively participates in research groups such as Software and Service Engineering (SSE) and Human-Computer Interaction and Design (HCID). Fagerholm's research explores: Continuous experimentation in software development Developer cognition and mental models Agile methodologies and team dynamics Low-code platforms and end-user programming Software engineering education and pedagogy His publications reflect a strong empirical focus, with recurring themes of human factors in technical systems and educational innovation. He has received notable awards including: Journal of Systems and Software Best Paper Award (2018) EUROMICRO SEAA Distinguished Paper Award (2017) Teacher of the Year (2013) Nokia Foundation Scholarship (2013) Fagerholm contributes to software engineering infrastructure through tools for experimentation and boundary artifacts, enhancing collaboration in distributed teams.

Nadia PolikarpovaView profile

Associate Professor

• Program Synthesis
• Program Verification
• Type Systems
• +5 more

Nadia Polikarpova is an Associate Professor in the Department of Computer Science and Engineering at the University of California, San Diego . She earned her PhD from ETH Zurich in 2014 under Bertrand Meyer , followed by postdoctoral research at MIT CSAIL with Armando Solar-Lezama . Her academic contributions have been recognized with prestigious awards including the 2020 Sloan Fellowship , 2020 Intel Rising Stars Award , and 2020 NSF CAREER Award . Polikarpova's research focuses on program synthesis , program verification , and type systems . She leads the Programming Systems group at UCSD and contributes to the IFIP Working Group 2.8 on Functional Programming since 2022. Her work spans foundational research and practical tools, including projects like Synquid , SuSLik , and Laurel that combine formal methods with machine learning for code generation. Her recent publications in venues like OOPSLA , NeurIPS , and ICFP reveal trends in AI-assisted programming , live programming environments , and formal verification . She has advised numerous PhD and Master’s students including Shraddha Barke , Zheng Guo , and Tristan Knoth , many of whom have moved to prominent academic and industry positions. Notable artifacts from her lab include tools like ColDeco for spreadsheet inspection and Superfusion for eliminating intermediate data structures. 2020 : Sloan Fellow 2020 : Intel Rising Stars Award 2020 : NSF CAREER Award 2021 : Distinguished Paper at POPL 2023 : Distinguished Artifact at PLDI 2023 : Distinguished Paper at OOPSLA Polikarpova actively contributes to academic service, serving on program committees for PLDI , POPL , and OOPSLA , and co-chairing the OOPSLA Review Committee in 2023. She has delivered keynotes at APLAS'20 and PLDI'24 , emphasizing the integration of large language models with formal methods.

• Security Engineering
• Science of Security
• Human-Computer Interaction
• +4 more

Janne Lindqvist is an Associate Professor at the Department of Computer Science, Aalto University. His research bridges security engineering, human-computer interaction (HCI), and privacy, with a focus on making security systems usable and user-centric. University: Aalto University Department: Department of Computer Science Rank: Associate Professor Email: janne.lindqvist@aalto.fi Lindqvist’s work spans security engineering , privacy systems , and user research , emphasizing practical authentication methods, password management, and human behavior in security contexts. He explores how users interact with systems like TPM APIs, gesture passwords, and mobile authentication mechanisms. Recent publications highlight trends in authentication systems , ubiquitous computing security , and mobile user behavior . Key themes include biometric authentication, gesture-based security, and balancing usability with cryptographic robustness. CHI'25 Honorable Mention Award CHI'24 Best Paper Award His research integrates empirical studies with technical implementations, such as analyzing password forgetting patterns and developing acoustic sensing for vehicle detection (e.g., Auto++, BO-Ear). Collaborative efforts span machine learning, psychology, and embedded systems.

Yuvraj AgarwalView profile

Professor

• Systems
• Embedded Systems
• Security
• +7 more

Yuvraj Agarwal is a Professor in the School of Computer Science at Carnegie Mellon University , where he leads the SYNERGY Labs . His research focuses on Systems and Networking with emphasis on Embedded Systems , Security , and Energy Efficiency in computing environments. He has been recognized with the NSF Expeditions in Computing Award for Computational Decarbonization research and multiple best paper awards. Education : PhD in Computer Science from University of California, San Diego Research Leadership : Founder/Director of SYNERGY Labs; Executive Director of NSF Expeditions in Variability (2010-2013) Research Trajectory : Recent publications highlight his work on Privacy-preserving smart classroom systems (EduSense, ClassID) IoT security labeling frameworks Audio privacy protection mechanisms Computational decarbonization of infrastructure His research combines hardware-software co-design with societal impact considerations. Scientific Recognition : NSF Expeditions in Computing Award for CoDec (2024) Ubicomp/IMWUT Distinguished Paper Award (2024) CHI Best Paper Honorable Mention (2022) Advising & Collaboration : Mentors students in IoT systems , privacy research , and green computing . Collaborates with institutions including University of Massachusetts Amherst and industry partners like Johnson Controls. Grants include NSF funding for multi-university research initiatives.

• Software Engineering
• Deep Learning
• Human-Computer Interaction
• +7 more

Prof. Dr. Chunyang Chen is a full professor in the Department of Computer Science at the Technical University of Munich (TUM) in Heilbronn, Germany, and an adjunct professor at Monash University, Australia. He is a core member of the Munich Data Science Institute, board member of Heilbronn Data Science Center, and fellow at Fortiss. His research spans Software Engineering, Deep Learning, and Human-Computer Interaction (HCI), focusing on AI/ML, NLP, and program analysis applications. PhD from Nanyang Technological University (NTU), Singapore His research explores three primary domains: AI-Driven Mobile App Development : Focused on requirement elicitation, UI design, code generation, and GUI testing using LLMs, NLP, and lightweight program analysis. Software Repository Mining : Involves library/API migration, collaborative editing, query reformulation, and thesaurus construction. Deep Learning Security : Examines robustness and security in mobile apps, including on-device model attacks, backdoor attacks, phishing attacks, and defense mechanisms. His recent publications highlight trends in LLM applications for software testing, bug replay, accessibility, and dataset construction. Awards include Best Paper Honorable Mention at CHI 2024, DECRA, ACM SIGSOFT Early Career Award, multiple Distinguished Paper Awards, and the Chinese Government Award for Outstanding Self-financed Students Abroad. PhD students: Shengcheng Yu, Yanqi Su, Mark Huasong Meng, Wenchao Gu, Zhen Tao, Kai Huang, Sidong Feng, Yujin Huang, Jian Gu Master/Bachelor students: Dustin Minh Duc Vu, Jason Siu, Ruiqi Dong, Minh Nguyen, An-Chieh Chang, Chao Wu, Yujin Huang, Ishan Joshi, Xinyan Li Chunyang Chen has supervised numerous students across institutions including TUM, Monash University, Chinese Academy of Sciences, ANU, and others. His teaching portfolio includes courses on Generative AI, software engineering, and programming foundations. He actively contributes to academic service as a guest editor, program committee member, and reviewer for top-tier conferences and journals.

• Formal Methods
• Software Engineering
• Software Verification and Validation
• +7 more

Carlo Alberto Furia is an Associate Professor and Vice Dean at the Faculty of Informatics, Università della Svizzera italiana (USI). He is affiliated with the Software Institute, where he leads the ATOM research group. His academic journey includes prior roles as an Associate Professor at Chalmers University of Technology and a Senior Researcher at ETH Zurich’s Chair of Software Engineering. PhD in Computer Science, Politecnico di Milano Master of Science in Computer Science, University of Illinois at Chicago Laurea in Computer Science and Engineering, Politecnico di Milano His research centers on formal methods for software engineering, aiming to enhance software correctness, reliability, and quality through rigorous techniques. Key areas include automated program verification, contract-based development, loop invariant inference, and empirical evaluation using Bayesian data analysis. He emphasizes practical applicability and automation in formal methods. His recent publications reflect a strong focus on program analysis at the bytecode level, multilingual software analysis, automated repair of Android security issues, and empirical methodologies. These works span topics such as JVM substitutability, exception behavior in Java bytecode, and information flow security, demonstrating a consistent thread in improving software robustness through formal and automated techniques. He is actively involved in the software engineering research community as an Associate Editor of the Empirical Software Engineering (EMSE) journal and as a Program Committee member for major conferences including FASE, FM, ASE, ICSE, and CauSE. Carlo Furia has advised multiple research projects and supervised student theses. He has led and contributed to funded research initiatives, particularly in program analysis and verification. His group has developed tools such as AutoProof and other software artifacts available through the ATOM software page. He regularly teaches courses such as Software Analysis, Programming Fundamentals, and Software Design & Modeling. He leads the ATOM research group, which focuses on advancing automated techniques for software testing, analysis, and verification. The group develops practical tools and conducts empirical studies to validate research outcomes.

Limin JiaView profile

Research Professor

• Security
• Programming Languages
• Formal Verification
• +3 more

Limin Jia is a Research Professor in the Electrical and Computer Engineering (ECE) department at Carnegie Mellon University, with a courtesy appointment in the Computer Science Department (CSD). Affiliated with CyLab, their work focuses on applying formal techniques to enhance software security through programming language design, formal verification, and information flow analysis. Research interests span Security Programming Languages Formal Verification Information Flow Control Intermittent Computing Rust Programming . Recent publications integrate formal methods with practical security challenges, including Node.js vulnerability detection Rust API testing Secure multi-execution Intermittent computing type systems IFTTT security analysis Browser security frameworks . Limin serves on program committees for conferences like POPL, PLDI, VMCAI, and is actively involved in teaching courses such as Browser Security (18-636) Introduction to Information Security (18-631) .

Dimitris KolovosView profile

Professor

• Automated and Model-Based Software Engineering
• Model-Driven Software Engineering
• GenAI for Software Engineering
• +4 more

Roles and Affiliations : Dimitris Kolovos is a Professor of Software Engineering at the University of York's Department of Computer Science. He leads the Automated Software Engineering (ASE) research group and is an Eclipse Foundation committer, leading development of the Epsilon open-source platform. His roles include research leadership, teaching, and academic service. Education : PhD in Software Engineering - University of York MSc in Software Engineering with Distinction - University of York First Class Honours Degree in Informatics - Athens University of Economics and Business Research Interests : Kolovos focuses on advancing Model-Driven Engineering (MDE), GenAI integration in software development, low-code platforms, and data analytics. His work emphasizes scalable modeling tools, education technology (e.g., MDENet platform), and industry collaboration with organizations like NASA, BAE Systems, and Siemens. Labs and Projects : He leads the Epsilon project under the Eclipse Modelling initiative, developing tools for model transformation, validation, and code generation. His research group also explores AI-driven model transformations and hybrid graphical-textual editors.

• Formal Methods
• Software Engineering
• Program Verification
• +7 more

Carlo A. Furia is an Associate Professor at the Software Institute within the Faculty of Informatics at Università della Svizzera italiana (USI). He leads the ATOM research group and is actively involved in advancing formal methods in software engineering. His work bridges theoretical rigor with practical applicability, particularly in verification, automated repair, and empirical analysis of software systems. PhD in Computer Science, Politecnico di Milano Master of Science in Computer Science, University of Illinois at Chicago Laurea in Computer Science and Engineering, Politecnico di Milano His research focuses on making formal methods practical through automation, combining diverse techniques, and conducting thorough empirical evaluations. He is particularly interested in using Bayesian data analysis to assess software engineering data. His work spans program verification (e.g., AutoProof), contract inference, API usability, and multilingual program analysis. His recent publications highlight trends in automated program repair, JVM bytecode analysis, Android security, and empirical methodologies. These works reflect a consistent emphasis on correctness, reliability, and empirical validation in software development. Scientific service includes: Associate Editor, Empirical Software Engineering (EMSE) journal Program Committee member, FM 2026, FormaliSE 2026, ASE 2025, iFM 2025 He has advised students and leads the ATOM group, which develops tools for software analysis. He teaches courses such as Software Analysis, Programming Fundamentals, and Software Design & Modeling. Current research directions include improving empirical evaluation rigor and enhancing verification at lower code levels like bytecode.

• Software Engineering
• Artificial Intelligence
• AI Trustworthiness Assessment (SE4AI)
• +5 more

Gias Uddin is an Associate Professor at York University's Lassonde School of Engineering and an Adjunct Professor at the University of Calgary . His research bridges Software Engineering (SE) and Artificial Intelligence (AI) , focusing on AI Trustworthiness Assessment (SE4AI) and AI-Driven Productivity Tools (AI4SE) . PhD in Software Engineering & AI, McGill University (2018) MSc in Software Engineering, Queen’s University (2008) BSc in Computer Science & Engineering, Bangladesh University of Engineering and Technology (2004) His research explores: Metamorphic Relations for LLM Hallucination Detection AI-Enhanced Software Documentation Foundational Models for Runtime System Modernization Developer-Centric AI Tooling Recent article trends show expertise in LLM Trustworthiness , Low-Code Platforms , and IoT Developer Communities . Awards include Distinguished Paper at FSE 2025 , multiple IBM Champion recognitions, and York Research Award . He leads the Data Intensive Software Analytics (DISA) Lab and mentors PhD students in SE-AI Intersections .

Tushar SharmaView profile

Assistant Professor

• Software Engineering
• Software Quality
• Code and Design Quality
• +10 more

Tushar Sharma is an Assistant Professor in the Faculty of Computer Science at Dalhousie University, Canada. His research focuses on software engineering, particularly software quality, refactoring, technical debt, and the application of machine learning in software engineering (ML4SE). He leads the SMART Lab and is actively involved in projects related to Green AI and sustainable software development. PhD : Software Engineering, Athens University of Economics and Business, Greece (2019) MS : Computer Science, Indian Institute of Technology-Madras, India His research interests span software design and architecture, code and design quality, refactoring, technical debt, mining software repositories, and applied machine learning for software engineering. He is particularly interested in sustainable AI, green software engineering, and the use of large language models for code. His work bridges empirical studies with practical tool development to improve software maintainability and quality. His recent publications highlight a strong trend in code smell detection, refactoring automation, energy-aware AI, and the reliability of large language models in software engineering. He has developed tools like Designite and DPy and contributed datasets such as MaRV and DACOS, emphasizing empirical validation and reproducibility in software engineering research. Dean's Research Excellence Award Best Artifact Award, SCAM 2023 IEEE Senior Member Tushar Sharma has secured significant research funding, including an NSERC Discovery Grant for DevQOps, Mitacs Accelerate grants with industry partners, and contributions to the $154M Canada First Research Excellence Fund project. He actively mentors students and collaborates with industry. He leads the SMART Lab at Dalhousie and has organized workshops such as SATToSE 2018. He is also a founding developer of Designite, a widely used software design quality assessment tool.

Andrew MartinView profile

Professor

• Systems Security
• Trusted Computing
• Cybersecurity
• +12 more

Professor Andrew Martin is a leading academic in Systems Security at the Department of Computer Science, University of Oxford, and a Governing Body Fellow at Kellogg College. His research focuses on trusted computing, cybersecurity, and secure distributed systems, with applications in cloud computing, IoT, and smart grids. He has been instrumental in advancing secure architectures using hardware-based trust mechanisms such as Intel SGX and Trusted Platform Modules. Research Interests: His work spans Systems Security , Trusted Computing , Confidential Computing , Secure Multi-Party Computation , and Privacy in Distributed Systems . He investigates how hardware-enforced security can mitigate risks in large-scale environments, particularly where privacy and trust are paramount. Publication Trends: His recent publications reveal a strong focus on Trusted Execution Environments (TEEs), remote attestation, and secure cloud architectures. He critically examines the feasibility of using hardware enclaves for both defensive and offensive security, emphasizing architectural soundness and real-world applicability. Scientific Awards: No specific awards mentioned in the provided text. Advising and Grants: Professor Martin has supervised numerous PhD and Master’s students in cybersecurity and systems research. His projects include CRANE , Trustworthy Logging , webinos , TCLOUDS , and Secure Networking by Design (SNbD) . He has secured funding for research in trusted computing and secure distributed systems, contributing to both theoretical foundations and practical implementations. Labs and Teams: He leads a research group focused on systems security and trusted computing, collaborating with industry and academic partners on large-scale security challenges. His team works on developing secure middleware, analyzing vulnerabilities in consumer devices, and designing privacy-preserving protocols for smart infrastructure.

Joshua GarciaView profile

Assistant Professor

• Software Engineering
• Software Architecture
• Software Vulnerability Management
• +5 more

Joshua Garcia is an Assistant Professor in the Informatics Department at the University of California, Irvine (UCI), within the Donald Bren School of Information and Computer Sciences. His research focuses on software architecture, automated testing, and cybersecurity, particularly in autonomous systems and mobile applications. He leads projects like DeltaDroid, Doppelgänger Test Generation, and Darcy, which address software vulnerability management, architectural consistency, and safety-critical systems. Key achievements include an NSF CAREER Award (2025), an NSF CRI Grant (2018), and a DARPA competition win (2024). His work is adopted by organizations like Boeing, Google, and NASA. Garcia collaborates internationally, involving institutions in Padova and researchers like Luca, Jessy Ayala, and Philipp. Research Interests: Software architecture evolution, automated exploit generation, autonomous vehicle testing, and accessibility in software development Grants: NSF CAREER ($500K+), NSF CRI ($1M+) Labs/Teams: HexHive Group, Autonomous Systems Testing Lab

• Software Evolution
• Software Libraries
• APIs
• +5 more

Thomas Degueule is a CNRS researcher in the Software Engineering group at LaBRI (Bordeaux, France). His research focuses on software evolution , modularity , and comprehension , with a particular emphasis on software libraries , APIs , software ecosystems , and domain-specific languages (DSLs) . Prior to his current role, he worked as a postdoctoral researcher at CWI (Amsterdam) and earned his PhD at IRISA (Rennes, France). Research Themes : Software evolution, API analysis, dependency management, empirical software engineering, DSL engineering Projects : ANR JCJC ALIEN (PI), H2020 CROSSMINER (WP leader), ALE (associate member), LEOC Clarity (member), ANR INS GEMOC (member), ITEA2 MERgE (member) Software Tools : Roseau, Maracas, BreakBot, Melange, Eclipse GEMOC Studio, K3, Alex, Scava His recent publications highlight trends in API breaking changes , dependency evolution , DSL interoperability , and automated software analysis (see articles list for details). He also contributes to software education through tools like MOON and Immediate Feedback for Jupyter Notebooks. Thomas has supervised PhD students including Gustave Monce (University of Bordeaux), Lina Ochoa (now assistant professor at Eindhoven University), Corentin Latappy (post-doc at University of Bordeaux), and Christophe Casseau (lecturer at University of Bordeaux). He actively participates in academic service, serving on program committees for conferences such as ICSE , ASE , ICSME , ISSTA , and SLE , and organizing workshops like SLEBoK and MLE 2021 .

Claire Le GouesView profile

Associate Professor

• Software Engineering
• Programming Languages
• Program Analysis
• +9 more

Claire Le Goues is an Associate Professor in the School of Computer Science at Carnegie Mellon University , affiliated with the Software and Societal Systems Department (formerly Institute for Software Research). She holds a Ph.D. and M.S. in Computer Science from the University of Virginia and a B.A. in Computer Science from Harvard College. Her research focuses on software engineering with emphasis on program analysis , transformation , and search-based repair . She leads the squaresLab group and co-directs the REUSE@CMU summer program. Her work spans automated program improvement (stochastic/formal approaches), software assurance, quality metrics, and systems from open source to robotics. Recent scientific awards include the ACM FSE 2025 Test of Time Award Honorable Mention and the Presidential Early Career Award for Scientists and Engineers (PECASE) . She mentors students in software engineering and actively collaborates on projects like SearchRepair and GenProg , supporting empirical benchmarks such as ManyBugs and IntroClass . She teaches software engineering and program analysis at undergraduate, master’s, and doctoral levels, addressing challenges in scaling modern systems. Her lab focuses on software repair , code transformation , and AI-driven testing .