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

• Program Analysis
• Static Analysis
• Taint Analysis
• +۲ مورد دیگر

Haofeng Li is a Researcher affiliated with the Institute of Computing Technology, Chinese Academy of Sciences and the University of Chinese Academy of Sciences in China. His primary research focuses on advancing program analysis techniques, with specializations in static analysis, taint analysis, and pointer analysis. His work demonstrates consistent innovation in optimizing data flow algorithms. Li's research centers on improving the scalability and efficiency of program analysis frameworks. Key themes include: Developing customized context-sensitive analysis for modern programming paradigms Enhancing computational efficiency of the IFDS algorithm through sparsification Addressing memory constraints via disk-based computation approaches Practical applications in security-oriented taint analysis His publications appear in premier venues including ASE (2019), CGO (2021), and ESEC/FSE (2022), demonstrating sustained contributions to software engineering and compiler research. Current information doesn't specify educational background, supervised students, research grants, or laboratory affiliations.

Panagiotis Manoliosمشاهده پروفایل

استاد

• Formal Methods
• Program Verification
• Theorem Proving
• +۵ مورد دیگر

Panagiotis (Pete) Manolios is a Professor in the Department of Computer Science within Northeastern University's College of Engineering in Boston. He leads the Northeastern University Formal Methods (NUFM) research group and maintains an active research program with multiple current PhD students. His primary affiliation is with the College of Computer Science (CCS) at Northeastern University, where he holds a tenured faculty position. Manolios' research focuses on formal methods with particular emphasis on program verification, theorem proving, and safety analysis of systems. His work spans several key areas including floating-point program analysis, resource-aware program verification, protocol verification, and safety-critical systems. He has developed significant tools and methodologies such as ACL2s (a powerful theorem prover) and pioneered approaches for analyzing numeric stability in compiler optimizations. His recent publications demonstrate substantial activity in formal verification, with particular focus on numeric stability analysis, invariant discovery through gamification, and model-based safety analysis of complex system architectures. These works reflect a consistent research trajectory toward making formal verification more practical and applicable to real-world systems, especially those with safety-critical requirements. Manolios has received recognition through multiple NSF grants including the SaTC: CORE: Medium collaborative project on bridging the gap between protocol design and implementation. His work on confidentiality and integrity of deep neural networks represents cutting-edge research at the intersection of formal methods and AI security. He has successfully mentored numerous PhD students who have gone on to positions at major technology companies including Google, Facebook, Intel, and MathWorks. His students' dissertations cover diverse topics within formal methods, from rank-polymorphic programming languages to resource-aware program analysis. Manolios directs several significant research projects including ACL2s (a powerful theorem prover), CID: Confidentiality and Integrity of Deep Neural Networks, Compilation-Dependent Security Properties of Software, and Platform Dependencies of Floating-Point Programs. These projects address fundamental challenges in making formal verification more practical and applicable to real-world systems.

Natalie Eva Iwanycki Ahlstrandمشاهده پروفایل

استادیار

• Plant phenology & climate change
• Plant traits
• Historical ecology
• +۷ مورد دیگر

Natalie Eva Iwanycki Ahlstrand is an Assistant Professor (tenure-track) and Curator at the Natural History Museum of Denmark, part of the University of Copenhagen's Faculty of Science. She works within the Science & Society Section, where she combines research with curation responsibilities focused on botanical collections. Her primary research interests include plant phenology & climate change, plant traits, historical ecology, herbivory, population genomics, phylogeography, plant dispersal and biogeography, and citizen science, with particular expertise in Cyperaceae (sedges) and Poaceae (grasses). Her research methodology integrates data from natural history collections, living collections, archival records, and modern field data with techniques in ecology, population genomics, reflectance spectroscopy, citizen science, and machine learning. Dr. Ahlstrand's recent publications demonstrate a strong focus on Arctic climate change impacts, herbarium-based phenology research, and innovative approaches to citizen science engagement. Her 2025 publications particularly highlight cutting-edge work on Arctic shrub growth drivers, digital herbarium applications, and genomic analyses of plant species. She teaches across multiple levels including Citizen Science (PhD and MSc courses), Plant-Animal Interactions (BSc), Conservation (BSc), Conservation Biology (MSc), Tropical Botany, and Science Communication and Outreach (MSc). Her professional development shows a clear trajectory from field botany and curation roles in Canada (Royal Botanical Gardens, Toronto Region Conservation Authority) to academic research positions in Denmark, culminating in her current tenure-track professorship and curatorship.