جست‌وجوی استاد و پژوهشگر

Sergio Seguraمشاهده پروفایل

استاد

• Software Testing
• Artificial Intelligence for Software Engineering
• Trustworthy AI
• +۳ مورد دیگر

Sergio Segura is a Full Professor of Software Engineering at the University of Seville (Spain), where he leads the research line on Software Engineering within the SCORE Unit of Excellence. He is a member of the Applied Software Engineering research group and affiliated with the SCORE Lab at the I3US Institute. His research focuses on applied and tool-oriented software engineering, with particular emphasis on improving software quality and developers' productivity through automation. He actively collaborates with industry through research contracts and technical training initiatives. Segura's research interests include software testing, AI-driven software engineering, trustworthy AI, and software engineering education. His recent work shows a strong trend toward testing RESTful APIs, safety and fairness testing of large language models, and mutation testing in practice. His publications demonstrate a consistent focus on practical, tool-oriented solutions to real-world software engineering challenges. Docentia Teaching Accreditation - Excellence Mention (2025) Best Application Paper Award at AITest 2022 His student Alberto Martín won the SCIE/BBVA National Young Researcher Award 2023 Segura has supervised numerous PhD students, many of whom have achieved significant recognition including First and Second Place Winners in ACM SRC Grand Finals. He leads the TRUST4AI project focused on trustable AI-driven internet search and maintains close collaboration with industry partners such as Schneider Electric through industrial PhD programs.

Aitor Arrietaمشاهده پروفایل

مدرس

• Software Engineering
• Software Testing
• Cyber-Physical Systems
• +۴ مورد دیگر

Dr. Aitor Arrieta is a permanent full-time Lecturer and Researcher at Mondragon University in Spain. His research focuses on software engineering and testing methodologies for complex systems including Cyber-Physical Systems, AI-based systems, and Generative AI models. He maintains strong industry collaborations with companies like Orona and Developair to address real-world engineering challenges. Research interests span: AI system validation and safety testing Metamorphic testing techniques Autonomous vehicle verification Large Language Model bias/fairness analysis Search-based software engineering His recent publications demonstrate a focus on developing automated testing tools for AI systems, particularly in safety-critical domains. Awarded Best Paper at the 15th International Symposium on Search-Based Software Engineering. Active in European research projects: InnoGuard: Generative AI for autonomous cyber-physical systems TRUST4AI: Trustable AI-driven internet search

Alastair F. Donaldsonمشاهده پروفایل

استاد

• Programming Languages
• Compilers
• Verification
• +۵ مورد دیگر

Alastair F. Donaldson is a Professor in the Department of Computing at Imperial College London, where he leads the Multicore Programming Group. His primary affiliation is with Imperial College London's Department of Computing within the broader Faculty of Engineering structure. He serves as a Program Committee Member for major conferences including ASE, PLDI, and POPL. His research spans Programming Languages , Compilers , Verification , Testing , and Multicore Programming , with significant contributions to randomized testing techniques. He pioneered GraphicsFuzz (acquired by Google in 2018) and developed innovative approaches like grammar mutation for parser testing, metamorphic fuzzing for C++ libraries, and specialized tools for GPU API validation. His work bridges theoretical foundations with industrial impact, particularly in compiler correctness and GPU computing. Analysis of his recent publications reveals a strong trend toward fuzzing infrastructure development (40%), GPU/compiler testing (30%), and formal methods integration (30%). His research increasingly focuses on large-scale automated testing for complex systems including WebGPU, Dafny, and Rust, while maintaining rigorous theoretical grounding in concurrency models and memory semantics. Donaldson has held significant leadership roles including General Chair for PLDI 2020 and Program Chair for ECOOP. His research has been supported through conference organizational roles and industrial collaborations, notably the GraphicsFuzz spinout. He actively contributes to the PL community through mentoring initiatives like PLMW and community-building efforts such as The PLDI Song. He leads the Multicore Programming Group at Imperial College London, focusing on practical tools for compiler and GPU driver validation. The group's work combines theoretical program analysis with real-world testing frameworks, maintaining strong industry connections through projects adopted by Google and other technology companies.

Jan Pleugerمشاهده پروفایل

پژوهشگر

• Tectonics
• Sedimentary Systems
• Structural Geology
• +۵ مورد دیگر

Dr. Jan Pleuger is a Researcher at the Department of Earth Sciences, Freie Universität Berlin, specializing in tectonics and sedimentary systems within the Institute of Geological Sciences. His work focuses on the structural evolution of Alpine and peri-Alpine regions, particularly the Eastern Alps, Central Alps, and Rhodope Mountains, with emphasis on subduction dynamics, exhumation mechanisms, and crustal deformation processes. His research interests span tectonics, sedimentary systems, structural geology, and metamorphic processes, with specific expertise in: Alpine orogenic evolution Subduction-to-collision transitions High-pressure rock exhumation Shear zone kinematics Paleogeographic reconstructions Crustal-scale structural analysis Analysis of his 15 most recent publications (2023-2011) reveals consistent focus on Alpine geodynamics, particularly the Eastern Alps' transition zones and Rhodope metamorphic province. His work integrates structural field analysis, geochronology, and geophysical methods to address fundamental questions about slab tearing, crustal-scale folding, rift-related paleogeography, and the timing of metamorphic events. A recurring theme is the interplay between subduction, collision, and extensional processes in orogenic belts. Dr. Pleuger actively collaborates with major research initiatives including the AlpArray Working Group, SWATH-D project, and MB-4D Priority Programme (Mountain Building Processes in Four Dimensions). His research leverages Freie Universität Berlin's analytical facilities such as the Biomarker Lab, Apatite Fission Track dating equipment, and mineral separation laboratories to investigate petrophysical properties and deformation mechanisms in high-pressure rocks.

Jens M. Walterمشاهده پروفایل

پژوهشگر

• Structural Geology
• Neutron Diffraction
• Texture Analysis
• +۴ مورد دیگر

Jens M. Walter is a Researcher at the Georg-August-University Göttingen in the Department of Structural Geology and Geothermal Energy . He has been actively involved in neutron diffraction research since 2007 and co-founded the MASA Institute GmbH in 2013. His work spans structural geology, archaeometry, and advanced materials analysis. Education: Doctorate in Geology (2000-2004) and Post-Doc (2004-2006) at University of Bonn Research Interests: Focus on in-situ deformation experiments , texture analysis , and recrystallization processes using neutron diffraction at POWTEX. Also specializes in archaeometric ceramic provenance and graphite characterization via Raman spectroscopy. Recent Article Trends: Publications emphasize neutron-based strain monitoring , critical metal analysis , and quantitative textural studies across geological and archaeological contexts. Key collaborations include institutions in Germany, Austria, and Italy. Instrumentation Leadership: Instrumental in designing sample environments for POWTEX Neutron Diffractometer at FRM II research reactor. Developed automated pole figure measurement systems for geological materials. Labs & Teams: Works with Geoscience Center (GZG) and co-manages MASA Institute GmbH , a university spin-off focused on material analysis and cultural heritage studies.

Martin Brieschمشاهده پروفایل

پژوهشگر

• Program Synthesis
• Genetic Programming
• Machine Learning
• +۳ مورد دیگر

Martin Briesch is a Research and Teaching Assistant at the Chair of Information Systems and Business Administration under Prof. Dr. Franz Rothlauf at Johannes Gutenberg University Mainz since March 2020. He holds a Master of Science in Management (2020) and a Bachelor of Science in Economics (2017), both from JGU Mainz. Roles: Research and teaching responsibilities, course coordination, and thesis supervision. Education: 2017–2020: M.Sc. Management, JGU Mainz 2014–2017: B.Sc. Economics, JGU Mainz Research Interests: Focuses on Program Synthesis , Genetic Programming , Machine Learning , Deep Learning , and Large Language Models . His work explores optimization techniques, evolutionary algorithms, and AI applications in problem-solving and decision support. Teaching: Leads courses such as "Introduction to Software Engineering" and "Introduction to Artificial Intelligence" since 2020. Supervises bachelor's and master's theses in information systems and business administration. Publications: Active researcher with contributions to genetic programming, program synthesis, and AI ethics. His work appears in venues like MKWI and Google Scholar.

Alessandra Gorlaمشاهده پروفایل

دانشیار

• Malware detection for mobile applications
• Automatic software repair
• Software testing
• +۴ مورد دیگر

Alessandra Gorla is an associate researcher professor at IMDEA Software Institute in Madrid, Spain, with a strong background in software engineering research. She previously worked as a postdoctoral researcher with Andreas Zeller at Saarland University in Germany and completed her PhD under Mauro Pezzè at the University of Lugano in Switzerland. Her research bridges theoretical foundations with practical applications in mobile software systems. Her research focuses on malware detection for mobile applications, automatic software repair, software testing and analysis. She has developed techniques for detecting behavior anomalies in graphical user interfaces, identifying third-party libraries in mobile apps, and leveraging intrinsic software redundancy for reliability. Her work spans both Android and iOS ecosystems, with particular attention to permission systems, release practices, and security implications. Analysis of her recent publications reveals a strong trend toward mobile application security and analysis, with increasing focus on iOS systems alongside traditional Android research. Her work combines static and dynamic analysis techniques, often incorporating natural language processing for comment analysis and test generation. There's a clear progression from foundational work on intrinsic software redundancy to more applied research on mobile security and testing. FRITZ-KUTTER AWARD! for PhD thesis on Automatic Workarounds BEST PAPER AWARD! for Search-based Security Testing of Web Applications BEST STUDENT POSTER AWARD! for Automatic Workarounds as Failure Recoveries Dr. Gorla actively mentors students and seeks motivated individuals for internship and PhD opportunities in software engineering. She has served in various organizational roles including Tool Demonstrations co-chair for FSE 2016, Artifact Evaluation co-chair for ESSoS 2016 and ISSTA 2016, and multiple program committee positions at top software engineering conferences. Her work has been supported through collaborations with major research institutions and industry partners. At IMDEA Software Institute, Dr. Gorla leads research on mobile application analysis, particularly focusing on behavioral analysis of Android and iOS applications. Her CHABADA prototype for clustering Android apps by description topics and identifying API usage outliers demonstrates her practical approach to malware detection. She also investigates intrinsic software redundancy for building more resilient systems.

Xiang Chenمشاهده پروفایل

دانشیار

• Empirical Software Engineering
• Mining Software Repositories
• Software Testing and Maintenance
• +۵ مورد دیگر

Xiang Chen is an Associate Professor at the Department of Software Engineering, School of Artificial Intelligence and Computer Science, Nantong University, China. He received his B.Sc. degree from Xi'an Jiaotong University in 2002 and his M.Sc. and Ph.D. degrees in computer software and theory from Nanjing University in 2008 and 2011 respectively. He is an editorial board member of Information and Software Technology and serves as a program committee member for prestigious conferences including FSE 2026 and ASE 2025. Chen is also a senior member of the China Computer Federation (CCF) and active in various academic committees. Chen's research focuses on empirical software engineering, mining software repositories, and software testing and maintenance, with particular emphasis on applying AI techniques to software engineering problems. His work spans large language models for software engineering, security vulnerability analysis, code change representation, and regression testing. He has published over 110 papers in top-tier journals and conferences including IEEE Transactions on Software Engineering and ACM Transactions on Software Engineering and Methodology. His recent publications demonstrate a strong trend toward integrating AI techniques, particularly large language models, with traditional software engineering practices. The research spans code generation evaluation, deep learning framework testing, vulnerability detection, and automated program repair, showing a consistent focus on improving software quality through innovative testing and analysis techniques. ACM SIGSOFT Distinguished Paper Award (ICSE 2021) ACM SIGSOFT Distinguished Paper Award (ICPC 2023) Top 1% CNKI Highly Cited Scholar (2024) Top 2% Scientist by Stanford University (2023-2025) NASAC 2019 Prototype Competition First Prize Chen has successfully advised numerous graduate and undergraduate students who have gone on to prestigious institutions including Nanjing University, Tsinghua University, and Zhejiang University. Many of his students have won national programming competitions and received scholarships. His research group, smartSE, actively works on projects funded by the Natural Science Foundation of China and various provincial research programs. Chen also serves as a reviewer for top journals including IEEE Transactions on Software Engineering and ACM Transactions on Software Engineering and Methodology.

Alberto Martin-Lopezمشاهده پروفایل

پژوهشگر ارشد

• Software Testing
• Test Automation
• Web Services
• +۳ مورد دیگر

Alberto Martin-Lopez is a postdoctoral fellow in the SEART research group at the Software Institute of Università della Svizzera Italiana (USI) in Lugano, Switzerland. His academic journey includes a PhD from the SCORE Unit of Excellence at the University of Seville (Spain), where he also earned a Bachelor's degree in Telecommunications Engineering and a Master's degree in Software Engineering and Technology. He has held positions as a Fulbright fellow at the University of California, Berkeley and as an external lecturer at Kristiania University College in Oslo, Norway. His research focuses on software testing, service-oriented computing, and neuro-symbolic AI applications to software engineering problems. Martin-Lopez has made significant contributions to automated testing of web services, particularly RESTful APIs, developing tools and techniques for test oracle generation, test input generation, and metamorphic testing. His work bridges traditional software engineering methods with modern AI techniques to address longstanding challenges in software verification. His publications in top-tier venues like ESEC/FSE, ISSTA, and TSE demonstrate consistent impact in the software engineering community. Analysis of his recent work shows a clear trajectory toward integrating neuro-symbolic AI approaches with traditional testing methodologies, particularly for solving the oracle problem in API testing and enhancing code generation systems. His scientific achievements have been recognized with prestigious awards: First Prize of the ACM Student Research Competition at ICSE'20 ACM SIGSOFT Distinguished Paper Award at ESEC/FSE'22 2023 Early Career Researcher Award by the Spanish Society of Computer Science and Fundación BBVA Martin-Lopez actively contributes to the software engineering community through service on program committees for major conferences including ASE, ESEC/FSE, ICSE, and ISSTA. His collaborative work spans institutions across Spain, Switzerland, the United States, and Norway, reflecting a strong international research network. At USI, he works within the SEART research group, focusing on advancing the state of the art in automated software testing through innovative combinations of traditional software engineering techniques and artificial intelligence.

Diego Garbervetskyمشاهده پروفایل

دانشیار

• Static analysis
• Program verification
• Smart Contract analysis
• +۵ مورد دیگر

Diego Garbervetsky is an Associate Professor at the Computer Science Department, School of Sciences, University of Buenos Aires, and a Researcher at ICC/CONICET. He also serves as Director of the Institute of Research in Computer Sciences (ICC). His academic career spans multiple roles in software engineering research and education. His educational background is not explicitly stated in the provided texts, but his current position reflects extensive academic achievement. Garbervetsky's research focuses on static analysis techniques for Java-like programs and Smart Contracts, automated program verification , program understanding , and validation . His specific interests include program understanding, testing and verification of programs featuring rich protocols, static analysis for program verification, and automatic symbolic resource analysis (gas consumption, dynamic memory, energy, etc.). His research has significant implications for blockchain technology, particularly in smart contract verification. Analysis of his recent publications reveals a strong trend toward smart contract security and verification , with multiple papers on modal abstractions, predicate abstractions, and tools like VeriSol for Solidity smart contracts. His work bridges formal methods with practical software engineering challenges, particularly in the blockchain domain. His scientific contributions include the development of multiple research tools: Contractor: Automated tool for behavior validation Contractor.NET: Visual Studio extension for .NET validation JConsume2: Compositional analysis for Java heap memory Consume.Net: Compositional analysis for .NET heap memory BudaPest: Automated software verifier VInTime: Verification suite for Real Time systems Garbervetsky has supervised numerous PhD students including Daniel Wappner, Javier Godoy, and Alexis Soifer, with former students now working at companies like Microsoft, Veritran, and Dialpad. He has served on program committees for major conferences including ICSE, FSE, ASE, and ISSTA, demonstrating his standing in the software engineering research community. His service includes chairing workshops and serving on artifact evaluation committees, showing his commitment to research quality and reproducibility. He currently teaches Software Engineering 2 at the University of Buenos Aires, having previously taught courses in algorithms, automatic software validation, program analysis, programming paradigms, and computer organization.

Neil Walkinshawمشاهده پروفایل

استاد

• Software Engineering
• Testing
• Machine Learning
• +۴ مورد دیگر

Neil Walkinshaw is a Professor in the Department of Computer Science at The University of Sheffield, Faculty of Engineering. He serves as joint PC-chair for the International Conference on Software Testing (ICST'26) and is an associate editor for the Journal of Automated Software Engineering. His research focuses on improving the trustworthiness and reliability of software and cyber-physical systems, with particular expertise in testing "hard to test" systems that have long execution times, non-determinism, limited state observability, and large input/output spaces. He has secured funding from EPSRC (CITCOM, REGI, and STAMINA projects), InnovateUK, DSTL, and the DfT. Walkinshaw's research spans three main areas: Causal Software Engineering : Applying Causal Inference to test causal input-output relationships in software and cyberphysical systems, including scientific models, automated driving systems, and cyberphysical systems. State Machine Inference and Analysis : Developing techniques to understand sequential behavior of systems when a prior model is unavailable, including Extended Finite State Machine inference and LTSDiff algorithm for comparing state machines. Second-order uncertainty in Software Engineering : Using Subjective Logic to reason about uncertainty in empirical software engineering experiments and inferred state machines. His recent publications (2023-2025) demonstrate a strong focus on causal testing methodologies, with applications to scientific software models (CovaSim, Luo-Rudy model), cyber-physical systems (Artificial Pancreas), and automated driving simulators. His work on the CITCOM Causal Testing Framework provides an open-source implementation of these approaches. His scientific achievements include: Best Research Paper Award at EASE'25 for "Using Causal Inference to Test Systems with Hidden and Interacting Variables" Development of the CITCOM Causal Testing Framework (GitHub, MIT License) Significant contributions to state machine inference and analysis Walkinshaw actively supervises PhD students and has successfully guided seven PhD students to completion. He teaches Software Reengineering and leads the Computer Science Ambassadors module, focusing on making Computer Science more inclusive. As the school lead on inclusion in Computer Science, he works to attract more diverse student cohorts into the field. He currently collaborates with Research Software Engineers Michael Foster and Farhad Allian on the CITCOM project (2020-2025), which explores causal testing approaches for hard-to-test systems.

• Materials Science
• Geochemistry
• Mineral Physics
• +۳ مورد دیگر

Dr. Renelle Dubosq is a Researcher at the Max Planck Institute for Sustainable Materials, affiliated with the Department of Microstructure Physics and Alloy Design. Her research focuses on advancing nanoscale analysis techniques, particularly atom probe tomography, to study deformation mechanisms in minerals, fluid inclusion behavior, and geochemical processes. She explores topics such as high-pressure metamorphic systems, cryogenic material behavior, and crystal plasticity in geological materials. Her work integrates experimental methods with computational modeling to understand microstructural evolution in minerals like garnet, mica, and pyrite under extreme conditions. Key themes include trace element mobility during deformation, the role of fluid inclusions in material hardening, and the application of correlative microscopy in nanogeology. Recent studies highlight her contributions to understanding deformation-induced chemical changes in white mica, the coherent solvus of alkali feldspar, and the mechanics of water ice at cryogenic temperatures. Her research bridges materials science and geology, offering insights into Earth's structural and chemical dynamics at the nanoscale. Dr. Dubosq has published extensively on atom probe tomography applications, metamorphic processes, and nanomechanical testing. No scientific awards are listed, but her work is recognized for its technical innovation and interdisciplinary approach.

Esther Guerraمشاهده پروفایل

استاد

• Model-Driven Engineering
• Software Engineering
• Domain-Specific Languages
• +۷ مورد دیگر

Esther Guerra is a Full Professor in the Department of Computer Science at the School of Engineering, Autonomous University of Madrid. She joined the university in 2010 after previously serving as a professor at the Universidad Carlos III de Madrid from 2004 to 2010. Her academic career spans over two decades with consistent contributions to software engineering research and education. Dr. Guerra's research focuses on Model-Driven Engineering (MDE), Domain-Specific Languages, and software testing. She has made significant contributions to language engineering, particularly in language product lines, metamorphic testing, and the development of tools for model-based engineering. Her work bridges theoretical foundations with practical applications, especially in chatbot development, low-code platforms, and augmented reality systems. She leads the MISo research group which actively develops tools like Merlin, MetaDepth, and Wodel-Test. Her publication record shows a consistent trajectory of high-impact research, with recent work focusing on adaptive modeling languages, chatbot engineering, and test amplification frameworks. She has published in top-tier journals including ACM Transactions on Software Engineering and Methodology, Journal of Systems & Software, and Software and Systems Modeling. As an educator, Dr. Guerra has taught numerous courses including Software Analysis and Design Project, Automated Software Development, and Model-Driven Software Development. She has supervised numerous undergraduate and master's theses focused on practical applications of model-driven techniques. Dr. Guerra is actively involved in the academic community, serving on program committees for major conferences including ASE, MODELS, ICSE, and SPLASH. She has contributed to the organization of several workshops and symposia focused on software engineering topics.

Gail E. Kaiserمشاهده پروفایل

استاد

• Software Engineering
• Software Security
• Program Analysis
• +۴ مورد دیگر

Gail E. Kaiser is a Professor of Computer Science at Columbia University. She holds a PhD from Carnegie Mellon University and a ScB from Massachusetts Institute of Technology. Her research spans software engineering, security, program analysis, and intersections between AI and software engineering. Research Focus: Her work includes static/dynamic program analysis, software testing methodologies, and pioneering applications of software engineering principles to machine learning systems (SE4AI) and vice versa (AI4SE). Historical contributions include early developments in IDE precursors and cloud adaptation techniques. Academic Service: Actively serves on program committees for premier conferences including ASE, ICSE, PLDI, ESEC/FSE, and SPLASH. Recent committee roles include: ASE 2025 Research Papers PC Member ICSE 2025 Research Track Committee PLDI 2024 Review Committee Advising: Mentored PhD student Chris Murphy in developing metamorphic testing techniques for ML systems.

Alastair F. Donaldsonمشاهده پروفایل

استاد

• Programming Languages
• Compilers
• Verification
• +۵ مورد دیگر

Alastair F. Donaldson is a Professor in the Department of Computing at Imperial College London, where he leads the Multicore Programming Group. His academic career spans positions as a Visiting Researcher at Microsoft Research Redmond, a Postdoctoral Research Fellow at the University of Oxford, a Research Engineer at Codeplay Software Ltd., and PhD studies at the University of Glasgow. Notably, he served as Director of GraphicsFuzz, an Imperial College spinout acquired by Google in 2018, demonstrating significant industry impact from his academic research. Donaldson's research focuses on Programming Languages, Compilers, Verification, Testing, and Multicore Programming, with particular expertise in randomized testing methodologies for compilers and program analyzers. His work bridges theoretical computer science with practical software engineering applications, developing innovative techniques like metamorphic testing for graphics shader compilers and systematic approaches for testing memory persistency models. His research output shows consistent progression toward increasingly sophisticated testing frameworks for verification-aware languages and GPU programming interfaces. Analysis of his 15 most recent publications reveals a strong trend toward applying fuzzing and randomized testing techniques to increasingly complex systems, including zero-knowledge proof circuits, large language models for code generation, and WebGPU APIs. His work consistently addresses the challenge of verifying correctness in systems where traditional testing approaches fall short, with growing emphasis on industrial deployment of compiler testing techniques. Throughout his career, Donaldson has maintained exceptional service to the academic community, serving on program committees and as chair for numerous prestigious conferences including SPLASH, PLDI, POPL, ECOOP, and ISSTA. His leadership roles have included Program Chair for ECOOP and General Chair for PLDI, reflecting his standing within the programming languages research community. As an advisor and mentor, Donaldson has contributed to the PLMW (Programming Languages Mentoring Workshop) with talks on 'The Lean Researcher' and 'Hacks to Compensate for Lack of Novelty in Programming Languages Research,' demonstrating his commitment to nurturing the next generation of researchers. His work on integrating compiler fuzzing into continuous integration pipelines represents significant practical impact on software development practices.