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

• Quantum Computing
• Quantum Cryptography
• Classical Cryptography
• +۶ مورد دیگر

Gilles Brassard is a Full Professor in the Department of Computer Science and Operations Research at the Université de Montréal's Faculty of Arts and Sciences. He holds the Canada Research Chair in Quantum Computing and serves as Scientific Director of INTRIQ (Institut transdisciplinaire d'information quantique). His affiliations include membership in the Centre de recherches mathématiques (CRM), Institut Courtois, LITQ (Laboratoire d’informatique théorique et quantique), and talents (Laboratoire d'Intelligence Artificielle pour la Cybersécurité). Brassard's research spans quantum computing, quantum and classical cryptography, foundations of quantum mechanics, and privacy protection. He pioneered quantum teleportation and quantum cryptography, demonstrating how quantum mechanics enables unconditionally secure communication. His work explores quantum advantages in computation, including algorithms that could break classical cryptography while quantum cryptography provides countermeasures. Key concepts he developed include quantum teleportation (inspiring Star Trek-like applications) and quantum pseudo-telepathy games. His recent publications reveal strong focus on quantum key distribution security proofs, relativistic cryptography for secure positioning, and privacy protection against data brokers. Trends show increasing emphasis on practical quantum cryptography implementations, noise resilience in quantum communication, and intersections with machine learning. The 2023-2025 articles particularly address real-world quantum security challenges and foundational quantum information questions. Gerhard-Herzberg Canada Gold Medal for Science and Engineering Killam Prize in Natural Sciences Officer of the Order of Canada Fellow of the Royal Society Brassard has supervised over 40 graduate students across quantum information topics, including quantum algorithms, entanglement simulation, and privacy-preserving systems. His current research is funded by major Canadian grants including NSERC Discovery Program ($20965), FRQNT Strategic Regroupments, and CIFAR. Recent projects include QUORUM (Québec Ontario Consortium on Quantum Protocols) and quantum machine learning initiatives. He leads the theoretical quantum information group within LITQ, focusing on quantum communication complexity and cryptographic applications of quantum phenomena.

• Microarchitectural Side-Channel Attacks
• System Security
• CPU Security
• +۶ مورد دیگر

Dr. Michael Schwarz is a tenured faculty member at the CISPA Helmholtz Center for Information Security in Saarbrücken, Germany, where he leads the RootSec research group. Since 2020 he has been investigating microarchitectural side-channel attacks, system security, CPU security, transient-execution vulnerabilities, and corresponding defense mechanisms. He previously served as a post-doctoral researcher (2019–2020) and PhD student (2016–2019) at Graz University of Technology, after earning two master’s degrees in computer science and software engineering with a security focus. Education PhD, Graz University of Technology, 2019 — “Software-based Side-Channel Attacks and Defenses in Restricted Environments” (Advisor: Daniel Gruss) MSc, Computer Science, Graz University of Technology MSc, Software Engineering, Graz University of Technology Research Interests Dr. Schwarz’s work centers on microarchitectural side-channel attacks and system security , spanning: CPU security and transient-execution vulnerabilities (Meltdown, Spectre, Fallout, LVI, ZombieLoad, ÆPIC Leak, CacheWarp) Detection, mitigation, and formal guarantees against microarchitectural leakage Hardware–software co-design for secure operating systems and trusted execution environments Reverse engineering of CPU internals, cache architectures, and prefetchers Browser and web-platform security, including sandbox bypasses and fingerprinting Compiler security and constant-time programming enforcement Scientific Awards & Recognition 2022 Busy Beaver Award for “Foundations of Cybersecurity II” 2021 Busy Beaver Award for “Side-Channel Attacks and Defenses” 2020 EuroSys Roger Needham PhD Award 2019 IEEE S&P Distinguished Paper Award (Spectre) 2019 NSA Best Scientific Cybersecurity Paper Competition Honorable Mention (Meltdown) 2019 Open Exploit Award (Meltdown & Spectre) 2018 CSAW Best Paper Award (Meltdown) 2018 Pwnie Awards: Best Privilege Escalation Bug & Most Innovative Research 2023 USENIX Security Noteworthy Reviewer Award 2023 WOOT Best Paper Award (CustomProcessingUnit) 2022 Pwnie Award for Best Desktop Bug (ÆPIC) 2022 AI 2000 Security & Privacy Honorable Mention 2021 CCSW Best Paper Award & CSAW Best Paper 3rd Place Advising & Collaborations Dr. Schwarz currently mentors numerous PhD students and post-docs within the RootSec group. His collaborations extend across CISPA, Graz University of Technology, and an international network visible through extensive multi-author publications at top-tier venues including USENIX Security, IEEE S&P, ACM CCS, NDSS, ESORICS, DIMVA, ASPLOS, WWW, FC, and specialized microarchitecture security conferences. Labs & Teams He heads the RootSec Research Group at CISPA, whose core mission is to uncover, analyze, and mitigate microarchitectural and system-level security threats. The group maintains close links with industry partners, open-source communities, and policy makers to ensure that research findings are rapidly translated into practical defenses deployed in modern operating systems and processors.

Peter W. O'Hearnمشاهده پروفایل

استاد

• Programming Languages
• Formal Verification
• Separation Logic
• +۵ مورد دیگر

Peter W. O'Hearn is a Professor of Computer Science at University College London and a Research Scientist at Meta AI (FAIR). He has held academic positions at Syracuse University, Queen Mary University of London, and University College London, before joining Facebook (now Meta) in 2013 as part of the acquisition of the verification startup Monoidics. His career spans over 25 years of research in programming languages and logic, with significant contributions to both theoretical foundations and practical industrial applications. O'Hearn's research primarily focuses on formal reasoning about programs, with his most notable contributions being the co-invention (with John Reynolds) of Separation Logic and the development of Incorrectness Logic. His work bridges the gap between theoretical computer science and practical software engineering, emphasizing how fundamental theory, tool development, and real-world application can mutually reinforce each other. He has consistently advocated for the integration of formal methods into industrial software development practices. His research has led to the development of the Infer program analyzer, which runs internally on Meta's code bases and has detected over 100,000 bugs that have been fixed by developers. Infer is also used in production at other major companies including Amazon, Mozilla, Spotify, and Marks and Spencer. His recent work on Incorrectness Logic represents a paradigm shift from traditional program verification approaches, focusing on bug finding rather than correctness proving. O'Hearn has received numerous prestigious awards recognizing both his theoretical contributions and practical impact: Fellow of the Royal Society (elected 2018) Fellow of the Royal Academy of Engineering (2016) 2016 Gödel Prize 2016 CAV Award Two POPL MIP awards Honorary doctorate from Dalhousie University (2018) 2021 IEEE Cybersecurity Award for Practice Throughout his career, O'Hearn has successfully translated theoretical advances into practical tools used at scale in industry. His work on Separation Logic led directly to Infer, while his more recent work on Incorrectness Logic aims to provide foundations for next-generation bug catching tools. He has maintained a strong academic presence while working in industry, continuing his professorship at UCL alongside his role at Meta. O'Hearn leads research efforts at the intersection of formal methods and practical software engineering at Meta, focusing on scaling static analysis techniques to handle the massive codebases typical of modern technology companies. His work has significantly influenced how large tech companies approach software verification and bug detection.

Daniel Fišerمشاهده پروفایل

دانشیار

• Multi-Agent Planning
• Symbolic Search
• Heuristic Functions
• +۴ مورد دیگر

Associate Professor Daniel Fišer is affiliated with the Department of Computer Science at Aalborg University, part of The Technical Faculty of IT and Design. His research focuses on multi-agent planning, symbolic search, and heuristic function optimization. He has contributed to advancements in optimal planning algorithms, heuristic design, and automated planning competitions. Fišer’s work spans theoretical and applied aspects of artificial intelligence, including reinforcement learning and fuzzing biases for policy testing. His research has been recognized with the ICAPS 2023 Best Paper Runner-Up Award and the AAAI 2022 Outstanding Paper Award (Honorable Mention). Recent publications emphasize scalable oversubscription planning, higher-dimensional potential heuristics, and competitive benchmark evaluations in automated planning systems. His contributions bridge theoretical foundations and practical applications in AI planning domains.

Rohan Padhyeمشاهده پروفایل

استادیار

• Software Engineering
• Programming Languages
• Systems
• +۶ مورد دیگر

Rohan Padhye is an Assistant Professor at the Software and Societal Systems Department within Carnegie Mellon University's School of Computer Science . He leads the PASTA Lab and is affiliate faculty at CyLab . Ph.D. in Computer Science from UC Berkeley Master's degree in Computer Science from IIT Bombay His research spans software engineering, programming languages, systems, and security . He develops techniques for automated bug detection using dynamic program analysis and coverage-guided fuzz testing. His work includes tools like ChocoPy for compilers education and Fray for concurrency testing. Recent publications focus on: date/time bugs in Python, LLM-generated property-based tests , exception dependency analysis , and distributed system fuzzing . He has received multiple NSF grants and Amazon Research Awards . 2025: NSF Grant for Practical Controlled Concurrency Testing 2025: Amazon Research Award for property-based testing 2022: Goldwater Scholarship for John Billos (PASTA Lab member) He advises PhD students including Ao Li and Vasudev Vikram, and has mentored numerous undergraduate researchers through the REUSE program . His group's work is funded by NSF, CyLab, and Amazon .

• Computer Science
• Formal Methods
• Programming Languages
• +۳ مورد دیگر

Thomas A. Henzinger is President and Professor at the Institute of Science and Technology Austria (IST Austria), a position held since 2009. Previously, he served as professor at EPFL (2005-2009) and UC Berkeley (1996-2005), establishing himself as a leading figure in formal methods and system verification. His educational background includes a PhD in Computer Science from Stanford University (1991), an MSc from the University of Colorado Boulder (1989), and a Diplom-Ingenieur from Johannes Kepler University Linz (1988). Henzinger's research centers on formal methods for system design and verification. He develops theoretical frameworks and practical tools for analyzing concurrent, distributed, and cyber-physical systems. Key contributions span model checking, abstraction techniques, quantitative analysis, and real-time system verification, with applications in software engineering and biological modeling. Recent publications (2015-2022) demonstrate sustained innovation in asynchronous programming, distributed algorithms, and robustness analysis. His work bridges theoretical foundations with practical verification challenges, particularly in sequentialization of asynchronous programs, Lipschitz robustness for timed systems, and worst-case execution time analysis. Major scientific recognition includes: ACM Fellow (2001) IEEE Fellow (2001) Wittgenstein Award (2000) Royal Society Milner Award (2014) Henzinger has supervised numerous PhD students at UC Berkeley and EPFL, with research funded by NSF, DARPA, and ERC grants including an Advanced Grant. His leadership extends to program committees of premier conferences like PLDI and POPL. As IST Austria President, he drives strategic initiatives for interdisciplinary research while maintaining active contributions to computer science through publications and community engagement.

Piotr Trebickiمشاهده پروفایل

پژوهشگر

• Plant Virology
• Entomology
• Climate Change Impacts
• +۳ مورد دیگر

Dr. Piotr Trebicki is a Researcher in Insect Vectors at Applied BioSciences, Macquarie University. He holds external roles as a Visiting Scientist at the New South Wales Department of Primary Industries (2023–present), Senior Fellow (Honorary) at the University of Melbourne (2020–present), and previously served as Senior Research Scientist at Agriculture Victoria (2013–2022) and Research Associate at Michigan State University (2011–2012). His research focuses on plant virology, entomology, and climate change impacts on plant-pathogen-insect interactions. Key areas include aphid-mediated virus transmission (e.g., BYDV, TuYV), climate-driven pest dynamics, and agricultural disease management strategies. He bridges plant virology, entomology, and physiology to address food security challenges under climate change. Recent work emphasizes virus resistance in crops like canola and oilseed rape, as well as invasive pest genetics and Wolbachia symbiosis. His studies on elevated CO₂ and temperature effects on aphid–plant–virus interactions provide critical insights for sustainable agriculture. Current Projects: AI-driven pest monitoring (banana/fruit spotting bugs) Hemp pest biological control strategies Awards: None explicitly listed, though his work has been cited 7 times (h-index 2 as of 2023). Labs/Teams: Collaborates widely in global plant health networks, contributing to initiatives like the AGFACE CO₂ enrichment program and iMapPESTS surveillance tools.

• Computer Science
• Software Engineering
• Database Systems
• +۴ مورد دیگر

Wei Wang is a faculty member at the University of Waterloo's David R. Cheriton School of Computer Science. His primary research areas include database systems, distributed computing, and software engineering, with a focus on performance optimization, testing methodologies, and formal verification techniques. He has contributed to advancements in garbage collection analysis, graph database testing, and distributed system management. His work often bridges theoretical foundations with practical implementations, addressing challenges in cloud computing and big data processing. Affiliations: University of Waterloo (primary), with collaborative ties to Chinese Academy of Sciences and other institutions. Notable Projects: Ripple (cloud service management), GraphFlow (streaming graph processing), and Gremlin-based testing frameworks. Research emphasizes system reliability and efficiency, including cache optimization strategies for Apache Spark and isolation bug detection in transactional systems. His work has been published in top-tier venues such as ICSE, ISSTA, and VLDB.

Thomas Lembergerمشاهده پروفایل

پژوهشگر

• Software Verification
• Code Analysis
• Software Testing
• +۵ مورد دیگر

Dr. Thomas Lemberger is a researcher at the Software and Computational Systems Lab in the Department of Computer Science at Ludwig-Maximilians-Universität München (LMU Munich). He holds a PhD and is actively involved in software verification research, particularly with the CPAchecker framework. His work spans multiple aspects of formal methods and software testing. Dr. Lemberger's research focuses on software verification, code analysis, software testing, fault localization, and program repair. His work explores cooperative approaches across test generation and formal verification, aiming to combine the strengths of different verification techniques. He has made significant contributions to distributed verification, witness-based validation, and fault localization techniques. His research often addresses practical challenges in scaling verification to real-world software systems. His publication record shows a strong focus on decomposing verification tasks into manageable components, improving verification efficiency through parallelization, and creating practical tools that bridge the gap between theoretical verification techniques and practical software development workflows. Recent work emphasizes cooperative verification approaches that combine multiple techniques to overcome individual limitations. Dr. Lemberger has been nominated for best paper at SPIN 2024 for his work on fault localization with verification witnesses, highlighting the recognition of his contributions to the field. He actively mentors numerous BSc and MSc students on various verification-related topics, covering areas from microservice verification to automatic program repair. His research is supported by German Research Foundation (DFG) projects including DFG-CONVEY, DFG-COOP, and DFG-IDEFIX. Dr. Lemberger is a key contributor to the CPAchecker verification framework and has developed tools like CoVeriTeam GUI that enable no-code composition of verification workflows. His work bridges theoretical verification research with practical tool development for real-world software engineering challenges.

David Brumleyمشاهده پروفایل

استاد

• Software Security
• Formal Methods
• Cryptography
• +۵ مورد دیگر

David Brumley is a Professor of Electrical and Computer Engineering at Carnegie Mellon University with a courtesy appointment in the Computer Science Department. He previously served as Director of CyLab, CMU's Security and Privacy Institute, from 2015 to 2017. His research focuses on developing systems that automatically check software for exploitable bugs using program analysis with security-specific properties. Brumley received his Ph.D. in Computer Science from Carnegie Mellon University, an MS in Computer Science from Stanford University, and a BA in Mathematics from the University of Northern Colorado. Before his academic career, he served as a Computer Security Officer for Stanford University from 1998-2002. Brumley's research focuses on software security techniques that provide users with guarantees. His work sits at the intersection of model checking, formal methods, compilers, and logic, all applied to security problems. He develops efficient symbolic execution, reasoning about bit-level arithmetic in finite fields, sound decompilation, and decision procedures. His research also extends to network security and applied cryptography, focusing on efficient protocols, signature schemes, and privacy-preserving cryptography. A key aspect of his work involves binary code analysis, which allows reasoning about the security of code that actually executes. Brumley's publication record shows a consistent progression from theoretical foundations in program analysis to practical security systems. His work spans symbolic execution, fuzzing, exploit generation, and binary analysis. The Mayhem Cyber Reasoning System, which won the DARPA Cyber Grand Challenge, represents the culmination of his research vision for automated vulnerability detection and patching. His publications demonstrate how theoretical advances in program analysis can be translated into real-world security tools. USENIX Security Best Paper Awards (2003, 2007) International Conference on Software Engineering Distinguished Paper Award (2014) NSF CAREER Award (2010) United States Presidential Early Career Award for Scientists and Engineers (PECASE) (2010) Sloan Foundation Award (2013) DARPA Cyber Grand Challenge Winner ($2,000,000) (2016) Brumley has mentored numerous PhD students who have gone on to successful careers in academia and industry, including co-founders of ForAllSecure. He served as faculty mentor for the CMU Hacking Team Plaid Parliament of Pwning (PPP), which has been ranked #1 internationally and won DefCon 2013. His research has been supported by significant grants including DARPA programs and the NSF CAREER award. He also runs PicoCTF, an annual computer security contest for high school students that has become one of the largest cybersecurity education initiatives of its kind. Brumley leads the development of security systems through both academic research and commercialization. He is the CEO of ForAllSecure, which commercializes the Mayhem system developed through his academic research. His work bridges the gap between theoretical security research and practical security tools used by industry, creating a pipeline from academic innovation to real-world impact.

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

دانشیار

• Software Engineering
• Artificial Intelligence
• Software Reliability
• +۵ مورد دیگر

Song Wang is an Associate Professor in the Department of Electrical Engineering and Computer Science at York University's Lassonde School of Engineering. He joined York University as an Assistant Professor in July 2019 and was promoted to Associate Professor in May 2024. He serves as an Associate Editor of ACM Transactions on Software Engineering and Methodology (TOSEM) and has established himself as a prominent researcher at the intersection of Software Engineering and Artificial Intelligence. Dr. Wang earned his Ph.D. in Computer Engineering from the University of Waterloo in December 2018 under Prof. Lin Tan. He received his MS degree from the Chinese Academy of Sciences in June 2014 under the supervision of Prof. Ye Yang, Prof. Wen Zhang, and Prof. Qing Wang. His undergraduate education includes a BE in Software Engineering and a BHRM in Human Resource Management from Sichuan University in June 2011. Prior to academia, he gained industry experience through internships at Microsoft Research, Morgan Stanley Capital International, Yahoo, and Baidu, and co-founded a startup named QualDivine. Dr. Wang's research focuses on two main directions: (1) leveraging AI technologies to address software reliability challenges (AI for SE), and (2) developing software reliability assurance techniques for AI systems (SE for AI). His recent work has particularly focused on how Large Language Models can optimize and reshape software testing practices. His research has practical impact, with tools and techniques that have detected hundreds of true bugs in real-world software systems. His work spans multiple application areas including mobile testing, fuzz testing, and functional testing. His recent publications (2024-2025) demonstrate a strong focus on the intersection of AI and software engineering, with significant contributions in automated vulnerability detection, API recommendation, bias analysis in generated code, and mobile application testing. His research combines empirical studies with innovative technical approaches, often involving benchmarking and systematic literature reviews to establish foundations for future work. He has published over 60 papers in prestigious IEEE/ACM Software Engineering journals and flagship conferences, with over 2,600 citations. Dr. Wang has received four best paper awards: a Distinguished Paper Award at APSEC'23, an ACM Distinguished Paper Award at ICPC'22, an ACM Distinguished Paper Award at ICSE'20, and a Best Paper Award at PROMISE'19. He was recognized as one of the top-10 most impactful early-career researchers in Software Engineering by the Journal of Systems and Software in 2020 and received the TOSEM Distinguished Reviewer Award in 2023. Dr. Wang currently supervises multiple PhD and Master's students including Mohammad Abdollahi, Haoran Xue, Jiho Shin, Nima Shiri Harzevili, and Moshi Wei. He has successfully guided several students to complete their theses, including Reem Al Eithan (Master's thesis defense in April 2025), Moshi Wei (PhD thesis defense in April 2025), and Nima Shiri Harzevili (PhD thesis defense in February 2025). His research group has received funding from various sources to support their work on software engineering and AI. Dr. Wang leads an active research group focused on AI and software engineering at York University. His team includes PhD students, Master's students, and research assistants working on various projects related to software testing, reliability, and AI applications in software engineering. The group has developed tools that have detected hundreds of true bugs in real-world software systems, with some findings documented in Jira issues and GitHub repositories across numerous open-source projects.

Joseph Deviettiمشاهده پروفایل

دانشیار

• Computer Architecture
• Parallel Programming
• Systems
• +۷ مورد دیگر

Joseph Devietti is an Associate Professor at the University of Pennsylvania in the Department of Computer & Information Science. His research focuses on improving multiprocessor programmability through architecture and systems innovations, including work on cache optimization, deterministic execution, GPU programming, and race detection. PhD, University of Washington (2012) MS, University of Washington (2009) BSE, University of Pennsylvania (2006) His research spans computer architecture and systems, with significant contributions to: Cache Optimization: Runtime prefetching (RPG 2 ), code layout (OCOLOS), and branch target buffer design (Twig) Deterministic Execution: Hardware-software hybrid models (RADISH, RCDC), managed runtime systems (DetFlow), and scalable mechanisms (DMP) GPU Programming: Memory access analysis (GPUDrano), race detection (BARRACUDA), and deterministic architectures (GPUDet) He has received multiple honors including the 2024 Penn Engineering Ford Motor Company Award for Faculty Advising and 2018 Radhia Cousot Young Researcher Best Paper Award . His work has been recognized in IEEE Micro Top Picks (2023, 2009, 2008). Devietti has graduated numerous PhD and Master's students, including Yuxuan Zhang, Omar Navarro Leija, and Akshitha Sriraman, who have taken roles at Google, Bolt Labs, and academic institutions.

Riccardo Paccagnellaمشاهده پروفایل

استادیار

• system security
• hardware security
• microarchitectural security
• +۲ مورد دیگر

Riccardo Paccagnella is an Assistant Professor of Computer Science at Carnegie Mellon University, where he is a core faculty member in the Software and Societal Systems Department (S3D) and CyLab's Security and Privacy Institute, with a courtesy appointment in the Electrical and Computer Engineering Department (ECE). His work focuses on system and hardware security, with particular expertise in microarchitectural vulnerabilities and their implications for secure software. Paccagnella earned his Ph.D. in Computer Science from the University of Illinois Urbana-Champaign in 2023, where he was advised by Chris Fletcher. His doctoral research laid the foundation for his continuing work on hardware security vulnerabilities. Dr. Paccagnella's research centers on system and hardware security, with a focus on uncovering and mitigating new classes of microarchitectural vulnerabilities. His work examines how hardware features like data memory-dependent prefetchers, dynamic frequency scaling, and on-chip interconnects can be exploited to leak sensitive information. He has made significant contributions to understanding side-channel attacks on cryptographic implementations, particularly those related to power and timing analysis. His research bridges the gap between theoretical security models and practical hardware implementations, revealing vulnerabilities in widely used processors from Apple, Intel, and AMD. Paccagnella's recent publications reveal a strong focus on microarchitectural side-channel attacks, particularly those exploiting hardware prefetchers, frequency scaling mechanisms, and on-chip interconnects. His work has demonstrated novel attacks like GoFetch (targeting Apple's M-series chips) and Hertzbleed (turning power side channels into remote timing attacks), which have fundamentally challenged assumptions about constant-time cryptographic implementations. His research spans both theoretical analysis and practical demonstrations, with many of his findings receiving industry recognition through awards like the Pwnie Awards. Dr. Paccagnella's research has been recognized with numerous prestigious awards, including the Pwnie 2024 Award for Best Cryptographic Attack for his GoFetch research, multiple Pwnie Award nominations, the IEEE Micro Top Picks 2023 recognition, and the Intel Bug Bounty Award. His work has also been selected for the Top Picks in Hardware and Embedded Security 2024. These accolades reflect the significant impact of his research on both academic and industry understanding of hardware security vulnerabilities. Paccagnella advises PhD students including Inwhan Chun and Isabella Siu, and is actively recruiting new students for CMU's Security and Privacy-focused PhD programs. His research has been supported by significant funding from the Air Force Office of Scientific Research (AFOSR), the Defense Advanced Research Projects Agency (DARPA), the National Science Foundation (NSF), the Alfred P. Sloan Research Fellowship, and industry partners including Intel, Qualcomm, and Cisco. As a core faculty member of CyLab's Security and Privacy Institute at CMU, Paccagnella collaborates with a broad network of security researchers across multiple departments. His work often involves cross-institutional collaborations, particularly with researchers from the University of Illinois Urbana-Champaign, University of Texas at Austin, and Georgia Institute of Technology. He is part of CMU's vibrant security research ecosystem that includes the Software and Societal Systems Department and the Electrical and Computer Engineering Department.

Kacie Jo Atheyمشاهده پروفایل

استادیار

• Agricultural Entomology
• Biological Control
• Molecular Ecology
• +۳ مورد دیگر

Kacie Jo Athey serves as an Assistant Professor in the School of Integrative Biology at the University of Illinois Urbana-Champaign, with a concurrent appointment as Assistant Professor in Crop Sciences and affiliate status in Entomology. Her research and teaching focus on non-chemical insect control within specialty crop systems, operating from her office in Morrill Hall, Urbana, IL. Dr. Athey's research program integrates field studies with molecular gut content analysis to investigate arthropod food webs and biological control mechanisms. She specializes in predator-prey dynamics in agricultural ecosystems, non-target risk assessment of biocontrol agents, and sustainable pest management strategies. Her methodology combines traditional entomological approaches with cutting-edge molecular techniques to address critical challenges in crop protection and ecological sustainability. Analysis of her 2020-2024 publications reveals consistent application of molecular tools to agricultural entomology problems, spanning date palm systems in Oman, cucurbit production in Illinois, and glacial forelands in Greenland. Her work demonstrates interdisciplinary collaboration across entomology, ecology, and agricultural science, with particular emphasis on density-dependent predation responses and habitat manipulation effects. Dr. Athey directs the Specialty Crops Entomology Lab, which actively engages in extension activities including the Crop Sciences Harvest Open House. The lab maintains a robust social media presence (@specialtycropbugs) to disseminate research findings and promote public understanding of insect ecology and biological control practices.

Bernd Fischerمشاهده پروفایل

استاد

• Automated software engineering
• Logic-based techniques
• Program verification
• +۷ مورد دیگر

Bernd Fischer is a Professor and current Head of Division in the Division of Computer Science at Stellenbosch University, South Africa. He has previously worked at TU Braunschweig, NASA Ames Research Center, and University of Southampton. His academic journey includes a PhD from Universität Passau (defended June 1, 2001). Professor Fischer's research focuses on automated software engineering with particular emphasis on logic-based techniques. His work spans specification-based component reuse, program synthesis, program verification (including annotation inference, software model checking, and human-oriented presentation of verification results), and innovative visualization approaches like tag clouds over concept lattices. His research has led to significant contributions in concurrent program verification, fault localization, and software repository analysis. Analysis of his recent publications reveals strong trends in software verification, particularly in concurrent systems and model checking. His work has consistently focused on developing practical verification tools (CSeq, ESBMC) that have achieved top rankings in international verification competitions. He has also pioneered visualization techniques for software repositories and academic data exploration using concept lattices and tag clouds. His scientific achievements have been recognized with multiple awards including Best Paper Award at ASE 1998, ASE 2012 Most Influential Paper Award, ACM Distinguished Paper Award (2011), Best Presentation Award at SAFECOMP 2010, and multiple Gold and Silver medals in the International Competition on Software Verification (SV-COMP) in 2014, 2015, and 2016. Professor Fischer has successfully supervised numerous PhD and Master's students, both at Stellenbosch University and previously at University of Southampton. His service to the academic community includes committee memberships in IFIP TC-2 Working Group on Program Generation (since 2004), ASE steering committee (since 2007), and GPCE steering committee (since 2011). He has served as General Chair for SPIN 2015 and GPCE'16, and as Program Committee Chair for GPCE 2009 and ASE 2007. His research group has developed several notable tools including AutoBayes (for automatic generation of data analysis programs), ConceptCloud (for browsing software archives), CSeq (a concurrency pre-processor for sequential C verification), and ESBMC (a model checker for C and C++ programs).