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

Steffen Helkeمشاهده پروفایل

استاد

• Software Engineering
• IT Security
• Functional Software Security
• +۳ مورد دیگر

Prof. Dr.-Ing. Steffen Helke serves as a full Professor in the Department of Electrical Engineering & Information Technology at University of Applied Sciences Südwestfalen. His academic roles include Senate membership, evaluation officer for the department, program coordinator for Media Informatics, and spokesperson for the GI Specialist Group Automotive Software Engineering. Current affiliations span committee work in electrical engineering bachelor programs and leadership in safety-critical software research. His research focuses on functional software security , safety-critical system verification , and model-based quality assurance . Key areas include information flow control languages, automotive software security, hierarchical statechart validation, and requirements delta analysis for efficient development estimation. Methodologies emphasize formal verification, static analysis, and tool-supported refactoring to ensure robustness in embedded systems. Teaching encompasses advanced courses in Software Engineering, IT Security, Ethical Hacking, and Competitive Programming. Thesis supervision occurs in research areas like NLP-based requirements analysis, refactorings for security languages (Jif), and model checking for Statecharts. Industrial collaborations facilitate project/bachelor theses with real-world security applications. Research trends from publications show consistent focus on bridging formal methods with industrial software development. Dominant disciplines include Software Engineering (72% of works) and Formal Verification (58%), with emerging subfields like NLP-assisted requirements engineering (2019) and automotive security frameworks. Keyword analysis reveals sustained emphasis on verification (100% of works), security (80%), and automotive applications (40%). Administrative contributions include leadership in the combined Electrical Engineering bachelor program and active participation in university governance through department councils. Tools developed in his research (e.g., Delta Analyzer, R2BC) are integrated into curricula using ReqView, Matlab/Simulink, and Enterprise Architect for systematic requirement engineering and UML modeling.

• Trustworthy Machine Learning
• Program Synthesis
• Formal Verification
• +۳ مورد دیگر

Osbert Bastani serves as an Associate Professor in the Department of Computer and Information Science at the University of Pennsylvania. He leads the trustml@Penn research group and holds affiliations with the ASSET, PRECISE, and PRiML research centers, as well as PLClub. His academic work centers on developing reliable and interpretable artificial intelligence systems through interdisciplinary approaches combining programming languages, formal methods, and machine learning. He earned his Ph.D. in Computer Science from Stanford University under the guidance of Alex Aiken, followed by a postdoctoral position at MIT working with Armando Solar-Lezama. This foundation in both theoretical computer science and practical systems has shaped his research trajectory. Bastani's primary research areas include Trustworthy Machine Learning (focusing on robustness against adversarial attacks, fairness in algorithmic decision-making, and explainable AI), program synthesis, and formal verification. His recent publications address critical challenges in large language models, such as defending against jailbreaking attacks and ensuring trustworthy retrieval-augmented generation. He also develops methods for conformal prediction under distribution shifts and neurosymbolic program synthesis for complex tasks like web question answering. His teaching portfolio features advanced courses including CIS 7000: Trustworthy Machine Learning and CIS 4190/5190: Applied Machine Learning, where he integrates cutting-edge research into the curriculum. Through his research group, he mentors graduate students on projects spanning neurosymbolic programming, uncertainty quantification, and fairness in sequential decision-making. As an active member of Penn's research ecosystem, Bastani contributes to the ASSET center's mission of building secure systems, PRECISE's work on cyber-physical systems, and PRiML's machine learning initiatives, while collaborating with PLClub on programming language innovations.

Antonio Filieriمشاهده پروفایل

دانشیار مهمان

• Static analysis
• Privacy
• Automated test generation
• +۵ مورد دیگر

Antonio Filieri is a Senior Applied Scientist at Amazon Web Services (AWS) and holds a Visiting Associate Professor position at the Department of Computing, Imperial College London. Previously, he was a tenured Associate Professor at Imperial College London (2022-2024) and Assistant Professor (2016-2022), and served as Assistant Professor at the University of Stuttgart between 2013 and 2015. His academic career spans over a decade with significant contributions to software engineering research. Dr. Filieri's research focuses on formal mathematical methods for software design, verification, self-adaptation, and security. His primary research areas include static analysis, privacy, and automated test generation for security; exact and approximate methods for probabilistic program analysis; control theory for adaptive software; quantitative verification and model checking; and runtime-efficient and incremental verification. His work bridges theoretical foundations with practical applications in industry settings, particularly in cloud computing and security domains. His recent publications demonstrate a strong focus on probabilistic methods for software analysis, security testing, and performance modeling. The research trends show increasing integration of formal methods with machine learning techniques, particularly in test oracle generation and neural network analysis. There's also a clear emphasis on scalability and practical applicability of verification techniques to real-world systems like serverless computing and microservices architectures. Dr. Filieri has received numerous prestigious awards for his contributions: Best Student Paper Award (2025) for 'Robust Probabilistic Model Checking with Continuous Reward Domains' ACM Distinguished Paper Award (2023) for 'Sibyl: Improving Software Engineering Tools with SMT Selection' Best Paper Award (2022) for 'Enhancing Performance Modeling of Serverless Functions via Static Analysis' Best Artifact Award (2017) for 'Self-adaptive video encoder: comparison of multiple adaptation strategies made simple' Most Influential Paper Award (awarded at SEAMS 2025) for 'Software Engineering Meets Control Theory' ACM SigSoft Distinguished Paper Award (2011) for 'Run-time Efficient Probabilistic Model Checking' Dr. Filieri has advised several PhD students including Donato Clun (2024), Runan Wang (2024), and Xiaotong Ji (expected 2025). His advising focuses on probabilistic program analysis, automated testing, and security verification. His research has been supported by significant grants from both academic and industry sources, enabling collaborations across multiple institutions and contributing to advancements in software engineering practices. While specific lab information isn't prominently featured in the provided materials, Dr. Filieri's work suggests strong connections with research groups focused on formal methods, software verification, and adaptive systems at both Imperial College London and AWS. His research often involves interdisciplinary collaboration between theoretical computer science and practical software engineering challenges.

Markus Stetterمشاهده پروفایل

استاد

• Plant Domestication
• Population Genetics
• Quantitative Genetics
• +۶ مورد دیگر

Prof. Dr. Markus Stetter is a Professor at the Botanical Institute of the University of Cologne, Germany, actively leading research in plant domestication genomics within the CEPLAS Cluster of Excellence on Plant Sciences. His work focuses on evolutionary adaptation in crops, particularly amaranth and maize, using population genetics and molecular approaches to decode how wild plants became globally distributed crops. His research interests include: Genomic signatures of domestication Population and quantitative genetic modeling Molecular mechanisms of trait adaptation Theoretical plant biology and data science applications Edaphic adaptation in crop-wild relative systems Analysis of his 2017-2024 publications reveals a dominant focus on amaranth domestication genomics, with recurring themes in evolutionary rescue by wild relatives, inbreeding depression dynamics, and seed trait adaptation. His work integrates high-throughput sequencing with evolutionary theory to address crop resilience under environmental change. Prof. Stetter co-developed PopAmaranth, a specialized genome browser for amaranth population genetics, and maintains active leadership in CEPLAS Research Area 4 (Theoretical Plant Biology and Data Science). His laboratory utilizes genomic facilities including plant metabolomics and imaging platforms for experimental validation.

Wilfried Rickelsمشاهده پروفایل

استاد

• Ocean Sustainability
• Climate Engineering
• Climate Policy
• +۲ مورد دیگر

Prof. Dr. Wilfried Rickels is Director of the Research Group 'Global Commons and Climate Policy' at the Kiel Institute for the World Economy and a Fellow at the Kiel Centre for Globalization. His research focuses on interdisciplinary approaches to climate economics and policy, with particular emphasis on ocean sustainability, carbon dioxide removal, and climate engineering solutions. Rickels investigates complex climate policy frameworks, including emissions trading systems, carbon removal technologies, and geoengineering governance. His work integrates economic modeling, environmental science, and policy analysis to address global challenges in climate mitigation and adaptation strategies. His publications demonstrate consistent focus on: Innovative climate policy instruments Economic valuation of natural carbon sinks Integrated assessment modeling approaches Governance frameworks for emerging climate technologies He leads interdisciplinary projects examining corporate responsibility in global supply chains and economic dimensions of environmental regulation. Currently coordinates research on moral responsibility paradigms in climate governance and green innovation pathways.

Shangwen Wangمشاهده پروفایل

استادیار

• Program repair
• Program comprehension
• Mining software repositories
• +۳ مورد دیگر

Shangwen Wang is an Assistant Professor in the School of Computer Science at National University of Defense Technology (NUDT) in Changsha, China. He earned his Bachelor's degree in June 2017, Master's degree in December 2019, and Ph.D. in December 2023, all from NUDT. During his graduate studies, he was supervised by Professor Xiaoguang Mao. From May 2022 to July 2023, he was a visiting student at Southern University of Science and Technology under Professor Yepang Liu. His educational background includes: Ph.D. in Software Engineering, NUDT (2020.3-2023.12), supervised by Prof. Xiaoguang Mao Visiting Scholar, SUSTech (2022.5-2023.7), supervised by Prof. Yepang Liu M.A. in Software Engineering, NUDT (2017.9-2019.12), supervised by Prof. Xiaoguang Mao B.A. in Software Engineering, NUDT (2013.9-2017.6) Wang's research focuses on program repair, program comprehension, mining software repositories, software maintenance and evolution, software testing, and AI for Software Engineering. His work bridges traditional software engineering techniques with modern AI approaches, particularly leveraging large language models for various software engineering tasks. He has made significant contributions to automated program repair, fault localization, vulnerability detection, and code generation. His research demonstrates a strong emphasis on empirical validation and practical applicability to real-world software development challenges. His recent publications show a clear trend toward integrating large language models with traditional software engineering tasks. The 15 most recent articles reveal a focus on applying LLMs to program repair, fault localization, vulnerability detection, and code generation, while maintaining strong empirical foundations. His work spans both theoretical advancements and practical tool development, with applications in software security, testing, and maintenance. His notable achievements include: CCF Outstanding Doctoral Dissertation (CCF优博) 2024 Outstanding Doctoral Graduates, NUDT, 2023 Multiple distinguished paper awards including ACM SIGSOFT Distinguished Paper Award (ISSTA'24) and IEEE TCSE Distinguished Paper Awards (ICSME'22, SANER'22) Prestigious scholarships from NUDT throughout his academic career As an active member of the software engineering community, Wang serves on numerous program committees for top conferences including ICSE, ASE, ESEC/FSE, and ISSTA. He has also contributed to teaching as a teaching assistant for courses such as Compiler, Python Programming, Discrete Mathematics, and C++ Programming. His research group appears to be actively mentoring students, as evidenced by his role as corresponding author on multiple student-led publications. Wang maintains an active research presence with collaborations across multiple institutions in China. His work demonstrates a clear trajectory from traditional program analysis techniques toward integrating cutting-edge AI approaches, particularly large language models, into software engineering practices.

Mehdi Bagherzadehمشاهده پروفایل

استادیار

• Software Engineering
• Programming Languages
• Concurrent Software
• +۳ مورد دیگر

Mehdi Bagherzadeh is an Assistant Professor in the Department of Computer Science and Engineering at Oakland University. His professional profile shows consistent involvement in major software engineering conferences including ASE, SPLASH, and ICSE, where he has served in various leadership roles such as Workshops Co-Chair for SPLASH (2021-2023) and Late Breaking Results Co-Chair for ASE (2022). Dr. Bagherzadeh's research focuses on the correct construction of concurrent and big data software, situated at the intersection of Software Engineering and Programming Languages. His work particularly addresses challenges in deep learning program optimization, actor concurrency models, and automated refactoring techniques. His research trajectory shows a clear evolution from foundational work on concurrent programming models (Panini, Capsule) to current applications in deep learning systems. Analysis of his publication history reveals a strong focus on practical software engineering challenges in concurrent systems, with recent work concentrating on the migration and optimization of deep learning programs. His research combines empirical studies with formal methods, addressing both theoretical foundations and practical implementation concerns in modern software systems. Through his committee service across multiple top-tier conferences including ASE, SPLASH, ICSE, and ESEC/FSE, Dr. Bagherzadeh has established himself as an active contributor to the software engineering research community. His service roles have ranged from program committee membership to organizational leadership positions.

Luciano Baresiمشاهده پروفایل

استاد

• Software Engineering
• Self-Adaptive Systems
• Edge Computing
• +۵ مورد دیگر

Luciano Baresi is a Full Professor at the Polytechnic University of Milan (Politecnico di Milano), Italy, affiliated with the Department of Electronics, Information and Bioengineering. He earned his laurea (MSc) and PhD in Computer Science from the same institution and has held visiting positions at the University of Oregon (USA), Tongji University (China), and the University of Paderborn (Germany). His research spans software engineering, with current focuses on self-adaptive systems, edge computing, and AI/ML-based software. His work integrates formal methods with practical applications, emphasizing autonomous systems, cloud-edge continuum, and federated learning. Recent publications highlight AI-driven advancements in software testing, resource optimization, and educational tools. Key research themes include: AI/ML for autonomous driving testing and data augmentation Serverless computing at the edge Federated learning system architectures Containerization and cloud resource management Awarded for impactful contributions: RE 2020 Most Influential Paper ICSOC 2020 Best Paper SEAMS 2022 Best Paper He advises 14+ PhD students and leads projects like Ketonet (health app), WHO's Essential Items Estimator, and dynaSpark. As Editor-in-Chief of Proceedings of the ACM on Software Engineering and senior editor for multiple journals, he shapes academic discourse in adaptive systems and software engineering.

Hongyu Zhangمشاهده پروفایل

استاد

• Intelligent software engineering
• Software analytics
• Data-driven software engineering
• +۴ مورد دیگر

Hongyu Zhang is a Professor and Dean of the School of Big Data and Software Engineering at Chongqing University, China, and an Honorary Professor at The University of Newcastle, Australia. Previously, he served as a Lead Researcher at Microsoft Research Asia and an Associate Professor at Tsinghua University, China. He received his PhD from the National University of Singapore in 2003. His academic journey spans prestigious institutions, combining industry research experience with academic leadership. Dr. Zhang's research interests focus on intelligent software engineering, software analytics, data-driven software engineering, software fault management, testing and debugging, and software maintenance and reuse. His work centers on improving software quality and productivity by mining and analyzing vast amounts of software data. Over the years, he has developed innovative methods that apply data mining, machine learning (including deep learning), and information retrieval techniques to extract knowledge from software data and solve complex software engineering problems. His research spans three major areas: intelligent programming (code search, code summarization, code generation), intelligent quality prediction (defect prediction, cloud failure prediction, performance prediction), and intelligent fault detection and diagnosis (log-based fault detection, crash-based fault localization, bug report analytics). His recent publications demonstrate a clear trend toward integrating large language models and deep learning techniques with traditional software engineering practices. The research spans intelligent programming assistance, code security, UI automation, distributed systems optimization, and performance analysis. His work increasingly focuses on practical applications of AI in software engineering, with emphasis on real-world impact in industrial settings, particularly in microservices, cloud systems, and large-scale software development environments. 8 ACM Distinguished Paper Awards Best Paper Award: How Long Will it Take to Mitigate this Incident for Online Service Systems? David Lorge Parnis Fellowship Senior Member of IEEE Distinguished Member of ACM Distinguished Member of CCF Fellow of Engineers Australia (FIEAust) Recognized in The Australian's Top Researchers special edition as leading researcher in Software Systems World's Top 2% Scientists (career-long) Dr. Zhang has successfully advised numerous PhD and Master's students who have gone on to prominent positions at leading technology companies and academic institutions worldwide. His research has been supported by significant grants including Australian Research Council Discovery Projects (as Lead CI) and multiple National Science Foundation of China projects. His work has made tangible impacts in industry, most notably through the Microsoft Developer Assistant project which received over 450K downloads in 2016. He leads research groups focused on intelligent software engineering and software analytics, with strong collaborations between Chongqing University, The University of Newcastle, and Microsoft Research. His teams develop practical tools for code intelligence, log analysis, and fault diagnosis that are deployed in real-world online service systems.