Find Academic Supervisors

• Software Engineering
• Productivity Tools
• Human-Computer Interaction
• +6 more

Gail C Murphy is a Professor in the Department of Computer Science at the University of British Columbia and currently serves as Vice-President Research & Innovation. She is also a co-founder of Tasktop Technologies Incorporated. Her research focuses on improving the productivity of knowledge workers, particularly software developers, through empirical studies and tool development for large software system evolution. Professor, Department of Computer Science, University of British Columbia Vice-President Research & Innovation, University of British Columbia Co-founder, Tasktop Technologies Incorporated Her research spans software engineering, human-computer interaction, and productivity tools. Key areas include task context modeling, code refactoring, developer collaboration in hybrid teams, and the application of generative AI in software development practices. Recent publications highlight trends in leveraging semantic analysis for task-relevant information identification, empirical studies on developer productivity, and the integration of human-centered AI tools in software engineering workflows. Awards include the IEEE Harlan Mills Award (2018) and an Impact Award (2022). Contact details include the University of British Columbia (VPRIO) address at Suite 580, 1958 Main Mall, and the Computer Science department at 201-2366 Main Mall, Vancouver, BC, Canada. Phone numbers and emails are provided for liaison purposes.

• Aspect-Oriented Programming
• Modularity
• Software Engineering
• +4 more

Gregor Kiczales is a Professor of Computer Science at the University of British Columbia , with a career spanning over three decades. His work focuses on programming language design, modularity, and aspect-oriented programming (AOP). Primary affiliation: University of British Columbia Verification email: gregor@cs.ubc.ca Kiczales' research centers around modularity and aspect-oriented programming , with significant contributions to understanding crosscutting concerns, developing AOP frameworks like AspectJ, and exploring novel abstractions for software systems. His work includes: Foundational research in AOP semantics and implementation Studies on code-design alignment and software architecture Developing registration-based abstractions and late-binding mechanisms Investigating scalability challenges in AOP systems

• Software Engineering
• Machine Learning
• Artificial Intelligence
• +4 more

Fabio Palomba is an Associate Professor at the Department of Computer Science , University of Salerno, Italy. He earned a European PhD in Management & Information Technology (2017), funded by University of Salerno and University of Molise, under advisor Prof. Andrea De Lucia. His research spans software maintenance and evolution , empirical software engineering , and ML systems quality . Recipient of IEEE Computer Society Best PhD Thesis Award (2017) Multiple Distinguished Paper Awards from ACM/SIGSOFT and IEEE/TCSE Recipient of prestigious SNSF Ambizione grant (2019) and IEEE Rising Star Award (2023) His work investigates fairness-aware practices in ML , technical debt in AI systems , and LLM applications in software engineering . Recent studies focus on automated requirements generation via RECOVER, quantum software engineering , and socio-technical community smells in ML-enabled systems, with empirical analyses across large datasets. Key editorial roles include Elsevier's Information and Software Technology Journal (2022-), Springer's Empirical Software Engineering Journal (2021-), and IEEE Transactions on Software Engineering (2020-). He has served as program co-chair for SANER 2024 , ICPC 2021 , and multiple conference tracks. 16 Distinguished Reviewer Awards for his refereeing work Co-authored 80+ journal papers , 100+ conference papers , and advised 300+ theses

Mohammad Masudur RahmanView profile

Associate Professor

• Artificial Intelligence
• Software Engineering
• Software Maintenance and Evolution
• +3 more

Mohammad Masudur Rahman is an Associate Professor in the Faculty of Computer Science at Dalhousie University. His research focuses on intelligent automation of software maintenance and evolution , combining Artificial Intelligence (AI) and Software Engineering (SE) to address challenges in bug detection, diagnosis, and reproducibility. He leads the RAISE Lab , which aligns with Dalhousie’s strategic goals in Advanced AI & Digital Innovation , particularly Sustainable Software Innovation and Sustainable AI . Dr. Rahman earned his PhD in Computer Science/Software Engineering from the University of Saskatchewan (2019), advised by Prof. Dr. Chanchal Roy, and completed a postdoc at Polytechnique Montreal under Prof. Dr. Foutse Khomh. He has published 50+ papers in top venues like ICSE , ESEC/FSE , ASE , and TOSEM , with research funded by NSERC Discovery Grant, Mitacs Accelerate International, and Dalhousie Startup Fund. His work investigates the challenges of software bugs, crashes, vulnerabilities, and technical debt , particularly in AI-driven systems like Large Language Models and Deep Learning frameworks. He develops tools to automate bug diagnosis, leveraging code structures and neural machine translation. Recent articles analyze deep learning bug reproducibility , fault diagnosis in attention models , and code smell impacts . Scientific Awards : Governor General's Gold Medal, U of S Doctoral Thesis Award, Dalhousie Belong Research Fellowship, President Gold Medal (Bangladesh). Grants : $475K+ (PI) and $4.3M+ (Co-PI) from NSERC, Mitacs, Climate Action Fund, and Dalhousie.

• Computer Science
• Programming Languages
• Blockchain Technology
• +3 more

Alvise SPANO' is a Researcher at Ca' Foscari University of Venice, affiliated with the Department of Environmental Sciences, Computer Science and Statistics. He is also part of the Research Institute for Complexity. His academic focus includes Blockchain Programming Languages, Programming Languages, and Information Systems. Research projects include ALGOMOVE for Algorand and the RINmaker bioinformatics tool. He has taught courses like Object-Oriented Programming and Introduction to Programming at both undergraduate and doctoral levels. Research interests span smart contract analysis, type systems, and cybersecurity in distributed systems. He contributed to projects like secure RPL for mobile networks and Android-LEGO interoperability. Funding includes the CEVID 2016 project (Role: LD), collaboratively managed with researchers like Agostino Cortesi and Salvatore Orlando. His work bridges theoretical foundations (e.g., COBOL code typing) with practical applications in wearable systems and bioinformatics. Collaborations include the Blockchain Programming Languages research group with Lorenzo Benetollo and Sabina Rossi.

André Leal SantosView profile

Assistant Professor

• Software Engineering
• Programming Education
• API Usability
• +12 more

André Leal Santos is an Assistant Professor at ISCTE - Instituto Universitário de Lisboa, affiliated with the Department of Information Science and Technology (ISTA) and the ISTAR-Iscte research center. He holds a PhD in Computing from the University of Lisbon (2009), co-supervised with Tampere University of Technology, and a Bachelor's degree in Computing from the same institution. His research focuses on the human aspects of software development, particularly in programming education and API usability. Key areas include pedagogical tools, automatic assessment systems, projectional editors, domain-specific languages, and software maintenance. He has developed tools like PandionJ, a pedagogical debugger for Java, and authored a digital book on Kotlin programming. His recent publications reflect a consistent focus on improving developer and learner experiences through innovative software tools and educational methodologies. Themes include API learning support, automated component integration, programming pedagogy, and empirical studies on software development practices. Scientific engagement highlights: Visiting researcher at Carnegie Mellon University (2014) under CMU-Portugal program with Brad Myers Visiting researcher at Aalto University (2020) with Lauri Malmi in LeTech Organizer of ICPEC’24 Program Committee member for ITiCSE, Koli Calling (2017–2023), SPLASH-E’24 Member of the International Committee of the SIGSCE Technical Symposium Participant in the Dagstuhl Seminar on Notional Machines He advises PhD students Afonso Caniço and Ricardo Miranda, and has supervised MSc students. His work bridges academic research and practical applications in both educational and professional software development contexts. He is actively involved in open-source development, with projects hosted on GitHub, and maintains a strong presence in the computing education research community.

• Formal Methods
• Software Engineering
• Formal Verification
• +5 more

Alcino Cunha is an Associate Professor with habilitation at the Department of Informatics of the University of Minho. He is a member and co-coordinator of the High-Assurance Software Laboratory, part of the University of Minho and INESC TEC. His research focuses on making formal software design accessible, particularly through advancements in the Alloy framework, including Alloy4Fun and Alloy Version 6. He has contributed to tools like HAROS for robotic software verification and Echo for model repair. Teaching roles include Formal Methods in Software Engineering (MSc), Formal Verification (MSc), and Algorithmic Problem Solving Lab (BSc). He has led projects such as SAFER (robotic safety verification), TRUST (Alloy-based design), and DigiLightRail (railway network verification). His service includes PC roles at SEFM 2025, ABZ 2025, and QRARSAC conferences. Research highlights include formal specification education, temporal relational modeling (Pardinus), and verification of distributed systems. Collaborations with ONERA and INESC TEC have produced influential frameworks like Alloy4Fun and Electrum. His work bridges academia and industry, notably through consultancy with EFACEC and contributions to national CRIS ecosystems (PTCRISync).

Petar JovanovicView profile

Researcher

• Big Data Management
• Data Governance
• Data Integration
• +3 more

Petar Jovanovic is a researcher at the Department of Service and Information Systems Engineering within the Barcelona School of Computer Science at Polytechnic University of Catalonia (UPC). His work focuses on Big Data management , data governance , and user-centered data integration platforms . PhD (2016) from UPC and Université Libre de Bruxelles Software Engineering degree from University of Belgrade Jovanovic created the Quarry platform, enabling non-technical users to perform data analysis for global health initiatives like WHO disease eradication programs. His 2017 SCIE/BBVA award recognized innovations in applying Big Data to combat diseases such as Chagas in underprivileged countries. Recent research emphasizes: Knowledge graph-based data governance frameworks (2024) Web API evolution prediction models (2024) Automated FAIR data lifecycle systems (2023-2024) He has co-authored 15+ high-impact publications and holds one patent as primary innovator. His work spans European Union research programs and WHO collaborations.

Matthias TichyView profile

Professor

• Domain Specific Languages
• Model-Driven Software Engineering
• Self-Adaptive Systems
• +4 more

Prof. Dr. Matthias Tichy is a Full Professor and head of the Institute of Software Engineering and Programming Languages at Ulm University, Germany, since 2015. His research focuses on domain-specific languages (DSLs), model-driven engineering (MDE), self-adaptive software , and cyber-physical systems , with an emphasis on safety-critical applications and graph transformation formalisms. He employs empirical research methods to evaluate technical contributions and human factors in software engineering. University: Ulm University Role: Professor & Institute Head Research Interests span domain-specific languages for mechatronic systems, collaborative modeling , performance prediction in model transformations, and software evolution in industrial contexts. His work often bridges graph transformations and safety assurance for self-adaptive systems. Recent Publications highlight trends in model versioning (e.g., operation-based caching), DSL design (e.g., flowR for R code analysis), and automotive software testing (e.g., clustering test case specifications). He frequently collaborates with international institutions on topics like cyber-physical systems and IoT resilience . Key Collaborations include projects with Chalmers University, University of Gothenburg, and industrial partners like dSPACE GmbH. His grants and industry partnerships focus on automotive software , robotics , and self-healing systems .

Radosław KlimekView profile

Professor

• Formal Methods
• Software Verification
• Context-Aware Systems
• +5 more

Radosław Klimek serves as a Professor at AGH University of Science and Technology in Kraków, affiliated with the Faculty of Electrical Engineering, Automatics, Computer Science and Biomedical Engineering within the Department of Applied Computer Science . His office is located in room C-2 404, and he maintains active contact through email and office hours (Thursdays 11:00-12:00). His research centers on formal methods and software verification , with significant contributions to context-aware systems , logical specifications , and process mining . Key areas include: Deduction-based verification of behavioral models Automatic generation of logical specifications Smart environment applications for rescue operations and tourism Temporal logic applications in software engineering His work bridges theoretical computer science with practical implementations in environmental monitoring and public safety systems. His publication record demonstrates consistent output in high-impact venues, with recent focus on LLM integration for model verification (2025) and context-aware systems for forest monitoring (2024). The research trajectory shows evolution from foundational work in temporal logic (1990s) to contemporary applications in smart environments and AI-assisted verification. No scientific awards were explicitly mentioned in the source materials. Professor Klimek maintains active teaching responsibilities with defined office hours for student consultations. His research spans multiple domains including smart city infrastructure, environmental monitoring systems, and formal verification frameworks. Current projects involve context-aware systems for mountain rescue operations and police interventions, leveraging sensor networks and real-time data processing. His laboratory work focuses on contextual data modeling and deduction-based verification systems , with practical implementations in: Forest monitoring networks Intelligent queue management Tourist assistance applications Smart contract validation These projects integrate formal methods with real-world environmental and public safety challenges.

Ivan PolášekView profile

Associate Professor

• Software Engineering
• Virtual and Augmented Reality
• Software Modeling
• +3 more

Ivan Polášek is a part-time Associate Professor at the Department of Applied Informatics within the Faculty of Mathematics, Physics and Informatics at Comenius University in Bratislava. His institutional affiliations include membership in the Division of Theory and System Design. His research explores: Software modeling and visualization techniques Virtual/augmented reality applications in software engineering AI-driven optimization of software design and refactoring Collaborative development methodologies Design pattern analysis and anti-pattern detection Recent publications (2017-2024) demonstrate strong focus on VR-supported collaborative design, executable software models, and communication methodologies in team-based development environments. He teaches undergraduate courses in agile development and software architectures, while leading research seminars. No awards or supervised students are documented in available sources. Polášek contributes to the INNOVAITE research project and maintains collaborations with European institutions including researchers from the Netherlands, France, and Sweden.

Jean MahseredjianView profile

Professor

• Electrical Networks
• Electromagnetics
• Circuit Theory
• +4 more

Jean Mahseredjian is a Full Professor in the Department of Electrical Engineering at Polytechnique Montréal. He holds the NSERC/Hydro-Québec/RTE/EDF/OPAL-RT Industrial Research Chair in Multiscale Time Simulation of Transients in Large-Scale Electrical Networks and is a member of the Institute for Data Valorization (IVADO). His research bridges electrical engineering, numerical methods, and renewable energy integration. Research interests include: Advanced numerical simulation of power system transients Modeling and validation of wind farms and HVDC systems Electromagnetic compatibility and circuit theory Real-time simulation and parallel computing for large-scale grids His recent publications (2025-2026) demonstrate strong emphases on: EMTP simulation advancements for circuit breakers, cables, and converters Renewable integration challenges (wind/PV parks and battery systems) High-performance computing methods for power system analysis Awards and honors: IEEE Fellow (2013) for contributions to power system transients simulation Supervision and collaboration: Mentored 68 graduate students (31 PhD, 37 Master's) Leads industry-funded research with Hydro-Québec, RTE, EDF, and OPAL-RT Develops open-source simulation tools (e.g., Julia-based platforms)

• Computer Software
• Programming Languages
• Green Computing
• +3 more

Dr. Lecturer İbrahim ŞANLIALP is a faculty member at the Faculty of Engineering and Architecture, Ahi Evran University, specializing in Computer Hardware and Software Engineering. He holds a Ph.D. (2022) and M.Sc. (2015) in Computer Engineering from Süleyman Demirel University, alongside a B.Sc. in Electronics and Computer Education (2010). Education: Ph.D. in Computer Engineering (Süleyman Demirel University, 2015-2022) M.Sc. in Computer Engineering (Süleyman Demirel University, 2012-2015) B.Sc. in Computer Engineering (Süleyman Demirel University, 2005-2010) Diploma in Electronics and Computer Education (Süleyman Demirel University, 2005-2010) His research focuses on Computer Software and Programming Languages , with recent studies analyzing energy efficiency in code refactoring, landslide prediction using statistical methods, and machine learning applications in public health. His work spans green computing , geospatial analysis , and AI-driven classification systems. Dr. Şanlıalp has contributed to 9 publications, including 2 journal articles (SCI-Exp, TR Dizin) and 7 conference papers. His projects include "3D Environment Path-Finding Algorithms for UAVs" (2025-2026) and "Grid-Based Path Planning Simulation" (2024-2025) as principal investigator. Metrics highlight 26 total citations (Google Scholar), h-index of 1, and active collaborations with researchers from Süleyman Demirel University, Ankara Yıldırım Beyazıt University, and Niğde Ömer Halisdemir University. His teaching portfolio includes courses like "Game Programming", "Computer Concepts", and "Cybercrime" since 2022.

Mattia FazziniView profile

Assistant Professor

• Software Engineering
• Software Testing
• Software Maintenance
• +5 more

Mattia Fazzini is an Assistant Professor in the Department of Computer Science & Engineering at the University of Minnesota's College of Science and Engineering. His primary academic appointment focuses on software engineering research and teaching, with active involvement in major conferences including ASE, ISSTA, ICSE, and MOBILESoft where he has served in leadership roles such as General Co-chair (MOBILESoft 2023) and Program Committee Co-chair. His research centers on software testing, maintenance, and security , with particular emphasis on mobile applications. Key research themes include: Developing techniques for automated Android testing and maintenance Addressing API compatibility issues across Android versions Creating tools for test oracle generation and bug reproduction Investigating security vulnerabilities in mobile ecosystems Optimizing test suites through test double analysis His recent publications (2021-2025) reveal strong focus on Android-specific challenges, with recurring themes in compatibility testing, automated test generation, and security analysis. Over 60% of his work involves tool development for practical testing scenarios, particularly targeting mobile platforms. Notable recognitions include: IEEE TCSE Distinguished Paper Award (2024) for work on test suite optimization ACM Distinguished Paper Award (2022) for COVID-19 app analysis As an educator, he advises multiple PhD and Master's students while teaching undergraduate and graduate courses including CSCI 3081W (Program Design) and CSCI 5802 (Software Engineering II). His service contributions span conference organization (MOBILESoft, ISSTA, ICSE) and extensive program committee work across top software engineering venues. He leads research projects focused on practical testing solutions with real-world applicability in mobile software development.

Leopoldo TeixeiraView profile

Assistant Professor

• Software Engineering
• Refactoring
• Formal Methods
• +6 more

Leopoldo Teixeira is an Assistant Professor at the Informatics Center (CIn) of the Federal University of Pernambuco (UFPE) in Brazil. Since May 2023, he has served as Head of Graduate Studies at his department. He leads the Software Testing and Analysis Research group and is affiliated with the Software Productivity Group and CIn-Trust. Dr. Teixeira was a CAPES-Alexander von Humboldt Experienced Research Fellow at the Chair of Software Engineering of Universität des Saarlandes in 2022, where he collaborated with Sven Apel on variability analysis over time and space. His educational background includes: PhD in Computer Science from Federal University of Pernambuco (CIn-UFPE, 2014), supervised by Paulo Borba and Rohit Gheyi MSc in Computer Science from CIn-UFPE (2010) Bachelor's degree in Computer Engineering from the Polytechnic School of Pernambuco (2007) Dr. Teixeira's research focuses on providing strong foundations for improving software quality and productivity. His work spans software product lines, configurable systems, refactoring, formal methods, software testing, and mobile development. He has made significant contributions to understanding challenges in highly configurable systems and software evolution, with particular emphasis on theoretical rigor combined with practical applicability. His publication record demonstrates expertise across software testing methodologies, analysis of configurable systems, and formal verification techniques. Recent work addresses pressing challenges in containerization practices (Dockerfile repair), test reliability (flaky test detection), and formal specification of API properties, showing his ability to tackle both theoretical and practical aspects of software engineering. Dr. Teixeira has received recognition through the CAPES-Alexander von Humboldt Experienced Research Fellowship. CAPES-Alexander von Humboldt Experienced Research Fellow (2022) Dr. Teixeira actively contributes to the software engineering community through extensive service on program committees of major conferences including ICSE, FSE, ASE, and SPLASH across multiple years. In 2024, he served as Conference and Local Organization Chair for FSE. He mentors students through his leadership of the Software Testing and Analysis Research group at CIn-UFPE. His laboratory work focuses on software testing and analysis, particularly in the context of configurable systems and software product lines. The research group investigates practical approaches to improve software quality through better testing methodologies, analysis techniques, and formal verification approaches for complex software systems.