جستجوی استاد راهنمای دانشگاهی

Koushik Sen is a Professor in the Department of Electrical Engineering and Computer Sciences at the University of California, Berkeley. He holds a B.Tech from IIT Kanpur and M.S./Ph.D. from UIUC. His research focuses on Software Engineering, Programming Languages, and Formal Methods, emphasizing tools like DART, CUTE, and Jalangi for improving software reliability. He leads projects such as CORVETTE and Sky Computing Lab, and collaborates with Samsung Research America on JavaScript analysis. Sen has received prestigious awards including the Sloan Fellowship and ACM SIGSOFT Impact Award. Education: B.Tech, Indian Institute of Technology, Kanpur M.S. and Ph.D., University of Illinois at Urbana-Champaign Research Interests: Software Testing, Verification, Symbolic Execution, Security, and Quantum Computing. His work bridges automated testing (e.g., concolic testing) with machine learning for bug detection and program synthesis. Projects include Hindsight Logging for ML reproducibility and quantum circuit optimization (QFAST). Awards: NSF CAREER, IFIP Manfred Paul, ACM SIGSOFT Distinguished Paper (multiple), and Sloan Fellowship. Advising: Supervised over 30 students/postdocs, leading to faculty roles at UBC, CMU, and industry positions at Google, Facebook, and Samsung. Labs/Teams: Berkeley Center for Responsible, Decentralized Intelligence (RDI), EPIC Data Lab, and Sky Computing Lab. Active in quantum computing and hardware fuzzing (RTL-FuzzLab).

• Software Engineering
• Programming Languages
• Formal Methods
• +۸ مورد دیگر

Joanna Cecilia da Silva Santos is an Assistant Professor in the Department of Computer Science and Engineering at the University of Notre Dame , where she leads the Security and Software Engineering research lab (S 2 E) . She earned her Ph.D. and M.Sc. in Computing and Information Sciences from Rochester Institute of Technology (RIT) and a B.Sc. in Computer Engineering from Federal University of Sergipe (UFS) . Research Interests: Her work focuses on the intersection of Software Engineering and Software Security , with specific emphasis on Code Generation , Program Analysis , Software Architecture , and Quantum Software Engineering . Recent projects include evaluating large language models for code generation, detecting regular expression denial-of-service vulnerabilities, and creating taint-based analysis tools for Java security. 2025: Code generation benchmarks, LLM performance in programming assignments 2024: Frameworks for secure code generation, ReDoS analysis, static analysis of deserialization 2023: GitHub Copilot complexity prediction, vulnerability characterization 2022: Transformer-based code smell detection, security evaluation datasets Scientific Awards: 2017 Best Paper Award at ICSA 2020 JOBS Workshop Research Pitch Competition Winner 2023 Distinguished Reviewer at ESEC/FSE 2014 CAPES Scholarship for Masters at RIT 2013 3rd Place Paper at XIII ERBASE Her research group engages in empirical studies of code vulnerabilities, automated security tools, and educational applications of language models, with funding reflected in multiple peer-reviewed publications.

• Software Engineering
• Software Security
• Code Generation
• +۴ مورد دیگر

Gemma Catolino is an Assistant Professor at the Department of Computer Science, University of Salerno, and affiliated with the Software Engineering (SeSa) Lab. She has also served as an Assistant Professor at Tilburg University and Eindhoven University of Technology through the Jheronimus Academy of Data Science from September 2022 to December 2023, and previously as a Postdoctoral Researcher at Delft University of Technology and Tilburg/Eindhoven institutions. PhD in Computer Science, University of Salerno (2020), supervised by Prof. Filomena Ferrucci MSc in Management and Information Technology, University of Salerno (2016, magna cum laude) BSc in Computer Science, University of Molise (2014) Her research centers on empirical software engineering, focusing on both technical and social aspects affecting software development. Key areas include code smells, defect prediction, testability, changeability, and the emerging concept of “Community Smells”—social dysfunctions in developer teams. She investigates how human factors, team diversity (especially gender), and developer experience influence software quality and maintenance effort, often using mining software repositories and machine learning techniques. Her recent publications span high-impact journals and conferences such as IEEE TSE, EMSE, JSS, ICSE, and ICSME, with a strong trend toward integrating social and technical metrics for just-in-time defect prediction in mobile applications, analyzing community dynamics, and applying software quality metrics to cybersecurity contexts like dark web analysis. She has also contributed to MLOps and serverless computing. She has received several honors including a DEI research grant (2020), Best Technical Paper at BENEVOL 2019, first and second place in ACM Student Research Competitions (2018, 2017), and the Best Master Thesis award from the Italian Software Metrics Association (2017). Gemma Catolino has been actively engaged in academic service as a referee for top journals like IEEE TSE, EMSE, JSS, and IST, guest editor for special issues, and program/organizing committee member for major conferences including ICSE, MSR, SANER, and MobileSoft, where she served as Program Co-Chair in 2022. She has also contributed as a teaching assistant, lecturer, and course coordinator in machine learning and software engineering courses. She leads and contributes to research projects involving international collaborations, particularly with researchers such as Prof. Filomena Ferrucci, Prof. Andy Zaidman, Prof. Willem-Jam van den Heuvel, and Prof. Alexander Serebrenik. Her work bridges empirical software engineering with practical tool development and socio-technical analysis, positioning her at the forefront of modern software engineering research.

• Software Engineering
• Empirical Software Engineering
• Human Factors in Software Development
• +۱۰ مورد دیگر

Beyza Eken serves as Assistant Professor in the Department of Software Engineering at Sakarya University's Faculty of Computer and Information Sciences, teaching core courses including Software Project Management, Natural Language Processing, and Graduation Projects while maintaining active research in software engineering and AI applications. Her academic credentials include: Doctorate in Computer Engineering from Istanbul Technical University (2015), thesis: "Software Defect Prediction" Master's in Computer Engineering from Istanbul Technical University (2011-2015), thesis: "Entity Name Recognition in Short Texts" Bachelor's in Computer Engineering from Sakarya University (2007-2011) Dr. Eken's research integrates machine learning with software engineering, specializing in defect prediction models that incorporate personalized developer factors and industrial deployment challenges. Her work bridges natural language processing for Turkish social media analysis with software quality assurance, demonstrating expertise in both theoretical modeling and practical implementation in industrial settings. Recent expansions include neuro-symbolic AI for test oracle generation and MLOps frameworks. Publication trends reveal consistent focus on empirical software engineering from 2018-2021 (defect prediction, community smells, industrial deployment), evolving into cutting-edge domains by 2023-2025 (neuro-symbolic testing, employee feedback analysis, MLOps). Her work shows strong industry-academia collaboration patterns with increasing methodological sophistication. Dr. Eken actively contributes to academic service as reviewer for ACM Transactions on Software Engineering and Methodology (2024) and IEEE Transactions on Software Engineering (2023). She leads research projects including "Developer-specific error prediction modeling" (2020) and the Mevlana exchange project with Ryerson University on data mining for defect prediction (2018), while supervising graduation projects and research area courses that develop student expertise in software engineering practices. Her international research engagement includes participation in the ASTERIx project at Università della Svizzera Italiana's Software Testing and Analysis Research Group (2023), demonstrating ongoing commitment to global collaboration in software engineering advancements.

• Software Defect Prediction
• Natural Language Processing
• Machine Learning in Software Engineering
• +۲ مورد دیگر

Valerie B. Duffy is a Professor and Graduate Program Director at the University of Connecticut's Department of Allied Health Sciences. Her research focuses on chemosensory variation in humans and its impact on food perception and intake, alongside community-based interventions to improve children's nutrition and physical activity, particularly for economically disadvantaged populations. Education: Human Nutrition (BS) from Cornell University, Nutrition Science (MS) and Registered Dietitian credential from Rush University, Psychophysics of Taste from University of Connecticut, and postdoctoral training at Yale University School of Medicine. Her work spans sensory science, public health nutrition, and digital health interventions. Key areas include taste/smell disorders, food environment mapping, and technology-enabled nutrition education. Recent research emphasizes food swamps, GIS-based resource mapping, and digital food literacy tools. She mentors undergraduate and graduate students in community nutrition projects and has received institutional recognition for excellence in teaching, research, and service.

• Nutrition Science
• Public Health Nutrition
• Chemosensory Perception
• +۳ مورد دیگر

Dr. Antonio Mastropaolo is an Assistant Professor of Computer Science at William & Mary, USA. His research lies at the intersection of Artificial Intelligence, Natural Language Processing, and Software Engineering, with a strong emphasis on the automation of SE-related practices. He promotes explainability, efficiency, and optimization from both model-centric and output-centric perspectives. His research interests focus on the reliability and efficiency of AI systems for software engineering. He investigates robustness and adaptability of foundation models like GitHub Copilot, as well as documentation and summarization of code components. His work addresses critical challenges in AI-driven software development including transparency, scalability, and developer productivity. His publication portfolio shows a strong trend toward neurosymbolic approaches that combine neural learning with symbolic reasoning. Recent articles explore quantization of large code models, code summarization optimization, and resource-efficient AI for software engineering. His work spans both theoretical foundations and practical applications, with emphasis on empirical validation of AI techniques in real-world SE contexts. Distinguished Reviewer Award for service on FSE'25 program committees Distinguished Reviewer Award at ASE 2024 Distinguished Paper Award for 'Unveiling ChatGPT's Usage in Open Source Projects' at MSR'24 Distinguished Paper Award for 'How do Hugging Face Models Document Datasets, Bias, and Licenses?' at ICPC'24 Dr. Mastropaolo advises PhD students, with Saima recently starting her PhD journey with a publication in FORGE 2025. He received an NSF Grant (#2451058) in April 2025 for research on efficient and responsible AI for software engineering. His service includes committee membership for major conferences including ASE, ICSE, ICSME, and FSE across multiple tracks including Research Papers, NIER, and Tool Demonstrations.

• Artificial Intelligence
• Natural Language Processing
• Software Engineering
• +۶ مورد دیگر

Sarah Fakhoury is a Senior Researcher in the Research in Software Engineering (RiSE) group at Microsoft Research, Redmond. Her work bridges formal methods, empirical software engineering, machine learning, and human-computer interaction to optimize developer cognitive effort in AI-assisted programming tools. Her research focuses on trustworthy AI for code generation , leveraging formal verification to ensure correctness in LLM-generated outputs. Key areas include program comprehension, source code readability, and empirical evaluation of developer-AI interaction. She develops tools like 3DGen for provably correct binary parsers and NL2Fix for natural language-based code repair. Her publications reveal strong trends in formal methods integration with AI (60% of recent work), empirical developer studies (30%), and readability/metrics innovation (10%). Keywords cluster around program verification, LLM evaluation, and cognitive load measurement. ACM/SIGSOFT Distinguished Paper Award (ICPC 2018) Fakhoury actively contributes to the academic community as PC member for ASE, ICSE, and ESEC/FSE. She co-organizes workshops like Muslims in ML at NeurIPS and mentors through SMeW. Her RiSE group collaboration with Shuvendu Lahiri and Madanlal Musuvathi drives Microsoft's trustworthy AI4Code initiatives, focusing on verifiable developer tools.

• Formal Methods
• Software Engineering
• AI-Assisted Programming
• +۵ مورد دیگر

Dr. Mel Ó Cinnéide is an Associate Professor at the School of Computer Science, University College Dublin. He holds a PhD from Trinity College Dublin (2001) and has over three decades of experience in academia and industry. His research focuses on automated refactoring, search-based software engineering, design patterns, and energy-efficient software development. He leads the Masters in Advanced Software Engineering program at UCD and has received multiple research grants and best paper awards. Prior to academia, he worked as a software engineer at Philips (Netherlands) and Motorola (Cork). Education: BSc in Computer Science, University College Cork MSc in Computer Science, University College Cork PhD in Computer Science, Trinity College Dublin Diploma in Gaeilge Fheidhmeach (Computing Irish), UCD Research interests emphasize practical applications of refactoring techniques to improve software quality and energy efficiency. He pioneers tools like Code-Imp and RefDetect for automated refactoring, integrating multi-objective optimization and interactive systems. His work bridges theoretical software engineering principles with real-world industry challenges. Awards and Grants: - Best Paper Awards in peer-reviewed conferences - Competitive research grants supporting software engineering projects Advising & Leadership: - Director of UCD's Masters in Advanced Software Engineering - Supervisor of numerous academic and industrial projects Labs & Projects: - Co-lead of the CodeImp Project (automated search-based refactoring) - Involved in international workshops on refactoring and software engineering

• Software Engineering
• Search-Based Software Engineering
• Automated Refactoring
• +۴ مورد دیگر

Gina R. Bai is an Assistant Professor of the Practice in the Department of Computer Science at Vanderbilt University's School of Engineering. Her research focuses on software engineering and computer science education, particularly addressing student challenges in software testing and programming practices. She holds a B.S. in Computer Science from Wake Forest University (2016) and a Ph.D. from North Carolina State University (2022), advised by Kathryn T. Stolee. Her work explores testing checklists, generative AI's role in education, fairness in machine learning, and DEI in computing communities. Education: B.S. Computer Science (Wake Forest), Ph.D. Computer Science (NC State) Research Themes: Testing pedagogy, AI in education, DEI, code search Notable Projects: Testing checklist interventions, analysis of ChatGPT in CS1, fairness metrics Her publications emphasize student testing practices, the impact of educational tools, and ethical considerations in software development. She teaches courses like CS 1101 and CS 2201 at Vanderbilt, integrating research into curriculum design.

• Software Engineering
• Computer Science Education
• Unit Testing
• +۵ مورد دیگر

Dr. Cruz Izu is a Lecturer in the School of Computer and Mathematical Sciences at the University of Adelaide. She holds a BSc (Hons) in Computer Science and a PhD in Computer Architecture from the University of the Basque Country, along with a Graduate Certificate in Online Learning from the University of Adelaide. Her research focuses on two primary areas: interconnection network design for parallel systems and computer science education methodologies. Research Interests: Interconnection networks in parallel systems and Network-on-Chip architectures Computer Science Education, including program comprehension, code quality assessment, and pedagogical strategies for novice programmers Computational thinking and problem-solving in early university education Teaching Contributions: Coordinator for Masters of Computing and Innovation program Lead developer of Systems, Programming, and Problem Solving courses Former coordinator of the Google-funded Educators PD program (2011-2020) Collaborations: International partnerships with institutions in Spain, Italy, and Australia Contributions to the design of the SACE Digital Technologies curriculum Professional Activities: Editor of Informatics in Education (2021 Special Issue on Abstraction) PC member for SIGCE and ITiCSE conferences

• Computer Architecture
• Parallel Systems
• Network-on-Chip Design
• +۴ مورد دیگر

Alexei Maklakov is a Professor of Evolutionary Biology and Biogerontology at the University of East Anglia, School of Biological Sciences. He is an active faculty member and principal investigator leading a research group focused on the evolution of ageing and life histories. He is affiliated with several research centers, including the Norwich Institute for Healthy Aging, the Centre for Ecology, Evolution and Conservation, and the Organisms and the Environment research group. Research Interests: His research centers on fundamental questions in evolutionary biology, particularly: Why do organisms age? Why do males and females exhibit different life histories and lifespans? How do trade-offs shape the evolution of ageing? His lab investigates the evolution of life histories, sexual dimorphism, and conflicts between the sexes, integrating evolutionary theory of ageing with sexual selection theory. Current interests include age-specific nutrient-sensing signaling, transgenerational effects of lifespan extension, and sex differences in ageing. Research is conducted using diverse organisms such as roundworms (C. elegans), beetles, fruit flies, birds, and human population data. Research Trends: His recent publications reveal a consistent focus on experimental and theoretical approaches to ageing. Key themes include transgenerational fitness effects, cost-free lifespan extension, and trade-offs between early-life fitness and reproductive ageing. The work combines molecular genetics (e.g., RNAi, gene expression), experimental evolution, and long-term ecological studies, demonstrating a multidisciplinary approach bridging molecular biology and evolutionary ecology. Scientific Awards: No specific awards or fellowships are mentioned in the provided text. Advising and Grants: Alexei Maklakov is accepting PhD students and actively supervises research. He leads several major externally funded research projects, including: Leverhulme Trust: The mechanisms and adaptive value of transgenerational epigenetic effects (2023–2027) BBSRC: I see / smell / touch / hear and therefore I am: sex differences in perception alter survival and reproduction (2022–2025) NERC: Testing classical and emerging evolutionary theories of ageing in ecologically relevant environments (2022–2025) NERC: Understanding the breadth and depth of heatwave damage to reproduction across insect systems (2020–2024) BBSRC: The cost of longevity: transgenerational consequences of parental lifespan extension for offspring fitness (2018–2021) These grants reflect sustained funding and leadership in evolutionary gerontology. Labs and Teams: He leads his own research lab, accessible via alexeimaklakov.com . He collaborates closely with researchers such as Professor Tracey Chapman, Dr. Simone Immler, and Dr. Edward Duxbury. He is also a member of the BIO Executive and serves as Director of Research within his school, indicating significant administrative and leadership responsibilities.

• Evolutionary Biology
• Biogerontology
• Ageing
• +۱۲ مورد دیگر

Professor Tomoji Kishi is a distinguished faculty member at Waseda University's School of Creative Science and Engineering, where he has been serving since 2009. Previously, he held academic positions at Japan Advanced Institute of Science and Technology (2003-2009) following a 21-year career at NEC Corporation (1982-2003). He earned his Ph.D. in Information Science from Japan Advanced Institute of Science and Technology in 2002, building upon his earlier engineering graduate studies at Kyoto University. Professor Kishi's research focuses on software engineering, particularly in software product line development, model checking, formal verification, and aspect-oriented modeling. His work bridges theoretical formal methods with practical applications in embedded systems, automotive software, and IoT technologies. He has made significant contributions to scalability challenges in model checking for configurable systems and has pioneered approaches to variability management and approximate modeling techniques. His publication record demonstrates remarkable consistency and evolution, with 42 papers and 153 citations according to Scopus data (h-index: 7), spanning from foundational work in software architecture in the 1990s to cutting-edge research on AI-enhanced verification methods in 2025. His recent work shows increasing application of machine learning techniques to traditional formal methods problems, particularly in the context of highly configurable systems and IoT applications. ITS Standardization Activity Merit Prize (2022) from Society of Automotive Engineers of Japan IPSJ/ITSCJ Standardization Contribution Award (2017) IPSJ/ITSCJ Project Editor Award (2016 and 2013) Information Processing Society of Japan Society Activity Contribution Award (2010) IPA/SEC Journal Best Paper Award (2007) Information Processing Society of Japan Yamashita Memorial Research Award (1998) Professor Kishi has led multiple JSPS-funded research projects, including recent work on 'variability management methods prioritizing usability through variability mining' (2020-2023) and 'utility-first modeling method' (2017-2020). His industry collaborations, particularly with automotive systems developers, demonstrate the practical impact of his research. He maintains active membership in major professional societies including IEEE Computer Society, ACM, and the Information Processing Society of Japan.

• Software Engineering
• Model Checking
• Formal Verification
• +۴ مورد دیگر

Dr. Ying Wang is an Associate Professor and doctoral supervisor at the Software College of Northeastern University (China), where she has been working since February 2019. She serves as Assistant Dean at the School of Software and is an active member of several CCF committees including the System Software Committee, Software Engineering Committee, Open Source Development Committee, and Women's Committee. Dr. Wang received her Ph.D. in Software Engineering from Northeastern University in January 2019 under the supervision of Professor Zhiliang Zhu. She completed postdoctoral research at the Hong Kong University of Science and Technology (HKUST) from 2022 to 2023 under Professor Shing-Chi Cheung and was a visiting scholar at Microsoft Research Asia through the StarTrack Program in 2021. Her research focuses on intelligent software development technologies, large AI models, open source software big data analysis, and software supply chain security. She has made significant contributions to the governance of open source software ecosystems across multiple programming languages including Java, C#, Python, Go, JavaScript, Android, and Rust. Her work has led to the development of practical tools like 'League of Legends' for monitoring dependency defects in open source ecosystems, with several technologies commercialized by Huawei and Microsoft. Dr. Wang's recent publications demonstrate her expertise in cross-language dependencies, software component analysis, software refactoring, and the application of large language models in software engineering. Her work spans both theoretical foundations and practical applications, with a strong emphasis on real-world impact through industry collaboration. Among her notable achievements are the ACM SIGSOFT Distinguished Paper Awards at ICSE 2021 and ESEC/FSE 2023, making her the first researcher from Northeastern University to receive this honor. She has also received multiple awards for her doctoral dissertation and prototype implementations. Dr. Wang actively contributes to the academic community as an Associate Editor for IEEE Transactions on Software Engineering and serves on program committees for top conferences including ASE, ICSE, and ESEC/FSE. She mentors a large group of doctoral and master's students, with many alumni securing positions at major technology companies including Huawei, Microsoft, Alibaba, and Tencent.

• Dependency management
• Software ecosystem
• Software refactoring
• +۷ مورد دیگر

Justus Bogner is a researcher at the Institute of Software Engineering (ISTE) and leads the division for Software Engineering for AI- & Microservice-Based Systems (SE4AI&MS) at the University of Stuttgart. His work focuses on empirical software engineering , microservices , AI-based systems , and software evolvability . He has contributed extensively to understanding architectural migration, technical debt in AI systems, and quality assurance methodologies. His research spans various subfields including service-oriented architecture , RESTful API design , design patterns , and software maintainability metrics . Recent publications highlight empirical comparisons between JavaScript and TypeScript, frameworks for microservice migration, and systematic studies on AI engineering challenges. Bogner's work often bridges academic research with industry practices through collaborations with IEEE and Springer, though no specific awards or student advisories are mentioned in the provided text.

• Empirical software engineering
• Software architecture
• Design patterns
• +۸ مورد دیگر

Dr. Onet-Marian Zsuzsanna is a Lecturer in the Department of Computer Science at Babes-Bolyai University in Cluj-Napoca, Romania. Her research focuses on applying machine learning techniques to software engineering challenges, particularly software defect prediction and restructuring. Academic Rank: Lecturer Affiliation: Babes-Bolyai University Department: Computer Science Email: zsuzsanna.onet@ubbcluj.ro Research Interests : Dr. Marian specializes in developing machine learning models (clustering, association rules, reinforcement learning) for software defect detection, package-level restructuring, and test order optimization. She also explores applications of Formal Concept Analysis in text summarization and music pattern discovery. Recent Publications highlight her work in source-code embeddings, unsupervised learning for software analysis, and comparative studies of online/traditional learning environments. Her methods often integrate domain-specific metrics and AI-driven optimization. Contact : zsuzsanna.onet@ubbcluj.ro | Office: Teodor Mihaly street, Room 440

• Software Engineering
• Machine Learning
• Data Mining
• +۳ مورد دیگر