Find Academic Supervisors

Taolue ChenView profile

Senior Lecturer

• Artificial Intelligence
• Machine Learning
• Natural Language Processing
• +6 more

Taolue Chen is a Senior Lecturer in the School of Computing and Mathematical Sciences at Birkbeck, University of London. He holds a PhD from Vrije Universiteit Amsterdam and MSc/BSc degrees from Nanjing University, China. His research focuses on neuro-symbolic software engineering, combining AI (Machine Learning/NLP) with formal methods in software engineering, program analysis, and verification. He has published extensively in top conferences like POPL, OOPSLA, and NeurIPS, and has received multiple awards including the ACM SIGSOFT Distinguished Paper Award (2024). Education: PhD: Centrum Wiskunde & Informatica (CWI) and Vrije Universiteit Amsterdam (2010s) MSc: Computer Science, Nanjing University (China) BSc: Computer Science, Nanjing University (China) Research Interests: Taolue's work bridges AI and traditional software engineering, with a focus on neuro-symbolic systems, code generation, adversarial robustness, and formal verification of cryptographic programs. He explores synergies between statistical (deep learning) and logical (constraint solving) methods to address challenges in software verification and cybersecurity. Articles Overview: His recent work emphasizes code generation improvements, adversarial defense mechanisms, and formal verification of secure cryptographic implementations. Key themes include enhancing model robustness, optimizing documentation in code generation, and applying large language models to symbolic reasoning tasks. Awards: Best Paper Award at SETTA’20 (2020) 1st Prize in CCF Software Prototype Competition (2022) QF Strings Competition Win (2023) ACM SIGSOFT Distinguished Paper Award (2024) Advising & Grants: Advises PhD student JEFERSON DORNELLES SCHNEIDER. His work is supported by grants focusing on neuro-symbolic systems, cybersecurity, and formal methods for software engineering. Labs/Teams: Leads research groups in neuro-symbolic software engineering and cryptographic verification at Birkbeck, collaborating with institutions like University of Oxford and University of Twente.

• Organization Development
• Quality Management
• Action Research
• +2 more

Telmo Antonio Henriques is an Invited Assistant Professor at ISCTE-University Institute of Lisbon and a Research Associate at ISTAR-IUL. His academic work focuses on organization development, quality management, and methodologies like Action Research and Design Science Research within information systems. PhD : Information Science and Technology, ISCTE-IUL (2015) MSc : Business Management, Universidade Autónoma de Lisboa (2012) Research Interests He investigates organizational development, quality management, and action/design research methodologies, emphasizing employee engagement, leadership development, and IT organizational excellence. Publications Trends His work spans information systems, organizational behavior, and software engineering, with recent focus on DevOps maturity models, action research frameworks, and human-centric approaches to IT quality. Editorial Roles He serves as Associate Editor for the Journal of Global Information Management (since 2016) and Information Resources Management Journal (since 2016), and is on the editorial board of SAGE Open . Teaching & Advising As an Invited Assistant Professor, he teaches courses like Benefits Management and Information & Knowledge Technology Management , guiding Master's theses on topics including DevOps and systemic problem definition.

Pinjia HeView profile

Assistant Professor

• Software Engineering
• Artificial Intelligence
• Natural Language Processing
• +5 more

Pinjia He is an Assistant Professor and Presidential Young Fellow at the School of Data Science, The Chinese University of Hong Kong, Shenzhen, where he leads research in software engineering, AI systems, and log analysis. He received his Ph.D. in Computer Science and Engineering from The Chinese University of Hong Kong and his B.E. from South China University of Technology. His research focuses on three interconnected areas: AI for Software Engineering : Developing LLM-based tools for automated logging, code repair, and AIOps Software Engineering for AI : Ensuring safety and reliability of AI systems through testing and validation Software Systems : Log analysis, anomaly detection, and performance optimization in distributed systems Recent publications demonstrate strong emphasis on testing methodologies for AI systems (LLMs, vision-language models), automated log analysis techniques, and AI reliability. His work consistently appears in top-tier venues including ICSE, FSE, ASE, and ICLR. He has received significant recognition including: Most Influential Paper Award (ISSRE) IEEE Open Software Services Award IEEE CS TCSE Rising Star Award He leads a substantial research team with 9 PhD and 8 Master's students, focusing on AI/SE integration. The group maintains active industry collaborations and open-source projects with over 5,000 GitHub stars.

Marin KalužaView profile

Professor

• Databases
• Software Engineering
• Computer Science
• +4 more

Marin Kaluža is a Professor of Professional Studies at Veleri University, holding a permanent position. His expertise spans Database Systems, Software Engineering, and Information Technology . He teaches courses in Databases, Distributed Systems, Programming Practices, and Software Engineering Methodologies. His research focuses on database compliance standards, blockchain consensus algorithms, web application frameworks, and cloud migration strategies. He actively publishes in peer-reviewed journals, with notable work on SQL standard adherence, React vs Vue.js framework comparisons, and IoT educational systems. Dr. Kaluža advises students on practical software development projects and maintains an active research agenda in data modeling techniques and cybersecurity for CMS platforms. His contributions include pioneering methodologies for business system complexity estimation and RESTful web service architecture design. He is accessible for student consultations on Mondays and Thursdays, and via mobile during work hours. Teaching Responsibilities: Databases, Software Engineering, Programming Practicum Key Research Themes: Database Standards, Cross-Platform Development, Cloud Migration Notable Projects: Veleri-OI IoT School Meteo System, Knowledge-Based Data Modeling Framework Though no formal awards are listed, his extensive publication record (over 50 articles since 2002) demonstrates sustained academic contribution to IT education and applied research.

• Software Engineering
• Software Quality
• Software Maintenance
• +5 more

Dr. Kaan KURTAL is an Associate Professor in the Software Engineering Department at the Faculty of Engineering, Izmir University of Economics. With over two decades of experience in both industry (1982-2002) and academia, he serves as the Erasmus Department Coordinator and previously held roles as Computer Engineering Department Coordinator (2017-2020) and various administrative positions including Institute Manager and Deputy Institute Manager at Izmir University of Economics from 2002-2014. His research interests focus on software engineering, software quality, software maintenance, logistics information systems, e-business, health informatics, and context-aware systems. Dr. Kurtel has made significant contributions to context-aware architectures, software measurement frameworks, and IoT applications, with his publications receiving numerous citations across various domains including software engineering, healthcare systems, and smart building technologies. His recent research (2023-2024) shows a strong trend toward AI-enhanced software testing methods, particularly in mutation testing, while maintaining his longstanding focus on context-aware systems for healthcare and logistics applications. His work bridges theoretical software engineering concepts with practical implementations in medical settings, laundry management, and IoT ecosystems. Teaching Scholarship - Erasmus Mundus, Reliable Software Systems Master Program (2015-2016) Teaching Scholarship - Erasmus Mundus, Reliable Software Systems Master Program (2014-2015) Teaching Scholarship - Erasmus Mundus, Reliable Software Systems Master Program (2013-2014) Dr. Kurtel has supervised multiple graduate theses including Serhat Uzunbayır's PhD on mutation testing and several master's theses on context-aware applications and software maintenance. He has participated in numerous research projects funded by TÜBİTAK, KOSGEB, and European Union programs including LEONARDO DA VINCI, with project topics ranging from veterinary diagnostic support systems to context-aware service platforms. His academic service includes roles as TÜBİTAK ARDEB-EEEAG research project evaluation panelist and KOSGEB R&D Council member.

Mark SantolucitoView profile

Assistant Professor

• Program Synthesis
• Computer Music
• DevOps
• +4 more

Mark Santolucito is an Assistant Professor of Computer Science at Barnard College, Columbia University. He holds a PhD in Computer Science from Yale University, where his research focused on program synthesis and computer music. His current work explores program synthesis techniques to enhance programmer productivity, particularly in lowering barriers to entry for underrepresented groups and optimizing workflows for advanced developers. He leads the Barnard PL (Programming Languages) Labs, which develops tools like TSL (Temporal Stream Logic) for synthesizing reactive systems and analyzing infrastructure-as-code (IaC). His research intersects formal methods with creative applications in music and live coding, emphasizing accessibility and usability. Education: PhD in Computer Science (Yale University), focusing on program synthesis and computer music. Research interests include program synthesis, temporal logic specifications, infrastructure configuration analysis, and music technology. He emphasizes human-centered design in his work, aiming to make programming more accessible through tools like TSL and interactive synthesis environments. Projects include TSL Move Cube, Block-based Editor for Temporal Logic, and Spiral Analysis for medical software migration. Notable contributions include developing TSL synthesis pipelines, optimizing Arduino configurations, and exploring static analysis for cost prediction in cloud deployments. His work bridges theoretical foundations with practical applications in both software engineering and creative computing. Labs/Teams: Leads Barnard PL Labs, collaborating on projects like TSL Synthesis Engine and Static Analysis for IaC. Active in workshops such as SEConfig and FMCAD.

Michael VerdicchioView profile

Associate Professor

• Computer Science Education
• Software Engineering
• Algorithms
• +3 more

Dr. Michael Verdicchio is an Associate Professor of Computer Science at The Citadel, affiliated with the Swain Family School of Science and Mathematics. He joined the institution in 2011 and holds a PhD and BSE in Computer Science from Arizona State University. His research focuses on computer science education, software engineering, algorithms, and previously on computational biology and bioinformatics. He also serves as the Graduate Program Director for Computer Science and chairs the graduate curriculum committee. His professional affiliations include Senior Member of the Association for Computing Machinery (ACM) and Program Evaluator for ABET's Computing Accreditation Commission. Dr. Verdicchio teaches a wide range of courses, from introductory computer science to advanced graduate topics like software testing and deployment. His educational contributions include adapting curricula for emerging technologies like generative AI and creating specialized courses such as DevOps. He has also led initiatives to ensure continuity in course delivery during disruptions like hurricanes and pandemics. His research spans pedagogical innovations, including automated assessment methods and interdisciplinary undergraduate research experiences. He has published extensively on topics ranging from network routing algorithms to gene regulatory networks in cancer research. His work bridges theoretical computer science with practical applications in education and bioinformatics. Dr. Verdicchio’s service roles include leadership in accreditation processes, curriculum design, and program assessment. He collaborates with external institutions like the College of Charleston and actively participates in national conferences, contributing to the advancement of computing education standards.

Shekoufeh Kolahdouz RahimiView profile

Researcher

• Software Engineering
• Model-Driven Engineering
• Artificial Intelligence
• +3 more

Shekoufeh Kolahdouz Rahimi is a researcher affiliated with the Centre for Research in Arts and Creative Exchange under the School of Arts, Humanities, and Social Sciences . Her work bridges academic disciplines through innovative research collaborations and publications. Research Focus: Integration of Large Language Models (LLMs) into software engineering practices, including Agile methodologies, Model-Driven Engineering (MDE), and formal verification of BPMN models. Conference Contributions: Active participation and organization in workshops like Agile MDE 2024 and Agile MDE 2025, with peer-reviewed publications in CEUR Workshop Proceedings. Academic Leadership: Peer-review roles for journals like Frontiers in Computer Science , and supervision of PhD research initiatives. Publication Trends: Recent work highlights the application of LLMs to automate tasks in software requirement engineering, game development, and MDE workflows. Her research emphasizes interdisciplinary collaboration, combining computational methods with creative arts frameworks.

Santu KarmakerView profile

Assistant Professor

• Artificial Intelligence
• Data Science
• Natural Language Processing
• +2 more

Santu Karmaker is an Assistant Professor at the University of Central Florida in the Department of Computer Science within the College of Engineering. His research focuses on democratizing AI and data science through advancements in natural language processing, information retrieval, and machine learning. He earned a Ph.D. in Computer Science from the University of Illinois Urbana-Champaign and a Master of Science in Computer Science from Bangladesh University of Engineering and Technology. Ph.D. in Computer Science – University of Illinois Urbana-Champaign M.S. in Computer Science – Bangladesh University of Engineering and Technology Karmaker's research explores semantic similarity alignment, conversational data science, infrastructure as code defects, and embedded NLP applications. His work addresses zero-shot learning, Bangla language processing, and prompt taxonomy for LLMs. He has secured over $1.4 million in grants from the NSF, AFOSR, ARO, and USDA. Recent publications span premier venues like EMNLP, ACL, TMLR, and ACM Transactions on Intelligent Systems and Technology. He actively contributes to academic service as an action editor for ACL Rolling Review and communication/tutorial chairs for conferences. Current affiliations include the Laboratory for Information and Decision Systems (MIT) postdoctoral collaboration and UCF's embedded systems research initiatives.

• 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.

Oksana VasylenkoView profile

Lecturer

• Computer Science
• Information Technology
• Telecommunications
• +3 more

Oksana Vasylenko is a Lecturer at the Preparatory College (Landesstudienkolleg) of Anhalt University of Applied Sciences , specifically affiliated with the Köthen Department . She is actively involved in research areas including Computer Science , Information Technology , Telecommunications , and Agricultural Engineering . Research Trends : Her work focuses on DevOps , Quantum Computing , and Digital Education . Recent publications analyze Global Market Dynamics and Empirical Studies in IT Projects , with keywords spanning Computer Science , Market Analysis , and Educational Technology . Contact : Reach her at Oksana.Vasylenko@hs-anhalt.de . She serves as the Head of the State Study College Saxony-Anhalt , overseeing academic programs in the Köthen Department.

• Empirical Software Engineering
• Code Quality Analysis
• Software Maintenance
• +7 more

Rocco Oliveto is a Professor in the Department of Computer Science at the University of Salerno, Italy, with a distinguished research career spanning over two decades in empirical software engineering. His work bridges theoretical software engineering principles with practical applications, with recent expansion into healthcare informatics and machine learning applications. His research interests focus on code quality assessment, software maintenance practices, developer behavior analysis, and empirical studies of software engineering phenomena. He has made significant contributions to understanding code smells, bug prediction, API compatibility issues, and more recently, container technologies and smart contract analysis. His recent work demonstrates a strategic expansion into healthcare applications, leveraging software engineering techniques for medical diagnostics and rehabilitation systems. Oliveto's publication pattern shows consistent productivity with multiple high-impact publications each year across top venues including IEEE Transactions on Software Engineering, ACM Transactions on Software Engineering and Methodology, and Empirical Software Engineering journal. His recent articles (2023-2025) reveal a growing interest in applying software engineering techniques to healthcare domains while maintaining strong contributions to core software engineering topics. The research demonstrates sophisticated methodological approaches combining empirical studies with machine learning techniques. His collaborative network includes prominent researchers such as Simone Scalabrino, Gabriele Bavota, and Andrea De Lucia, with whom he has co-authored numerous high-impact publications. This collaboration spans both traditional software engineering topics and emerging interdisciplinary applications in healthcare.

Bernhard RumpeView profile

Professor

• Software Engineering
• Model-Based Software Engineering (MBSE)
• Domain-Specific Languages (DSL)
• +13 more

Bernhard Rumpe is a full Professor at RWTH Aachen University, where he leads the Chair of Software Engineering (Department of Computer Science 3). His research focuses on model-based software and systems engineering (MBSE), domain-specific languages, and generative development techniques to improve software quality and development efficiency. His research interests include: Model-Based Software Engineering (MBSE) Domain-Specific Languages (DSLs) and language workbenches like MontiCore Model-driven digitalization and digital twins Agile integration with formal modeling Applications in embedded systems, AI, automotive, IoT, and cloud systems His team has developed MontiCore, a powerful language workbench used in both academia and industry for creating and processing DSLs, supporting code generation and static analysis. Research projects span theoretical foundations and industrial applications, with over 100 successfully completed projects celebrated recently. The recent publications reflect a strong trend in model-driven engineering, emphasizing formal modeling, automation, and scalability. Key themes include DSL design, variability modeling, digital twins, and integration of MBSE with agile practices. The work bridges theoretical rigor with practical implementation, especially in safety-critical and complex systems. Scientific contributions and leadership are evident through: Founding and leading a major research chair in software engineering Supervising PhD students such as Sage Binder and Brooke Burson Securing and managing over 100 research projects with industrial partners Developing widely used tools like MontiCore He also actively promotes academic careers, inviting applications for PhD and postdoctoral positions in software engineering, including opportunities for habilitation. The research is conducted within the Software Engineering group at RWTH Aachen, which fosters collaboration between students, researchers, and industry partners, focusing on innovation in software development processes and tools.

• Artificial Intelligence
• Advanced Machine Learning
• Conversational AI
• +6 more

Neena Sathi is a Lecturer in the Department of Information Systems at the Paul Merage School of Business, University of California, Irvine (UCI). She brings over 30 years of industry experience in artificial intelligence, analytics, and automation, and contributes to both academic instruction and applied AI development. Education: MBA, University of Pittsburgh MS in Chemical Engineering, University of Illinois, Chicago MS in Physics, Northwestern University Her research and professional interests center on Artificial Intelligence , Advanced Machine Learning , Conversational AI , and Analytics . She focuses on translating AI prototypes into production systems across industries including healthcare, telecommunications, retail, and public services. Her work emphasizes practical implementation, integration architecture, and cognitive technologies. The selected publications reflect a strong trend in applied AI, spanning venues like AAAI, IEEE, IBM Developer Works, and World of Watson. These works cover subfields such as natural language processing, enterprise AI, cloud integration, and intelligent automation, demonstrating a consistent focus on deploying AI in real-world business and technical environments. Scientific Awards and Certifications: Master Certified Integration Architect (IBM and Open Group) Certified Project Management Professional (PMP) Certifications in Cloud and Cognitive Technologies Neena Sathi has held leadership roles in AI innovation, including as Director at KPMG Lighthouse Labs and Principal at the Applied AI Institute. She develops hands-on training content and interactive solutions for AI and automation topics. While no formal student advising is mentioned, her educational contributions through lectures and training materials indicate a strong pedagogical impact. She is actively involved in AI solution development, bridging academic knowledge with industry application, and drives initiatives in AI integration, digital transformation, and cognitive computing.

• Artificial Intelligence
• Machine Learning
• Human-Computer Interaction
• +16 more

Professor Damien Coyle is the Director of the Bath Institute for the Augmented Human at the University of Bath, where he leads cutting-edge research in artificial intelligence, machine learning, and human-computer interaction. His work is centered on brain-computer interfaces (BCI), neurotechnology, and cognitive computing, with applications in healthcare, rehabilitation, and intelligent systems. His research interests include Brain-Computer Interfaces , Spiking Neural Networks , Deep Learning , Emotion Recognition , Virtual and Extended Reality , and Neurofeedback Systems . He applies advanced AI techniques to decode neural signals, enabling real-time interaction between the brain and external devices. His interdisciplinary approach integrates neuroscience, computer science, and engineering. His recent publications from 2023–2024 reveal a strong focus on anomaly detection in industrial systems , EEG-fMRI data fusion for inner speech decoding , multi-level IT incident prediction using AI , and enhancing neurofeedback with immersive VR . These works demonstrate a trend toward multimodal data integration, real-time BCI applications, and AI-driven decision support in both clinical and technological domains. He has supervised numerous students and collaborators, many of whom are co-authors on his publications. His research is frequently published in top-tier IEEE and Springer conferences. He actively contributes to the advancement of neuroadaptive technologies and is involved in high-performance computing for BCI calibration. His leadership in organizing major conferences further underscores his influence in the field.