Ranjit Jhala is a Professor of Computer Science Engineering at UC San Diego's Jacobs School of Engineering, where he leads the Programming Systems Group. His research spans Programming Languages and Software Engineering, focusing on building reliable systems through Type Systems, Model Checking, Program Analysis, and Automated Deduction. His current projects include Flux for Rust verification, Liquid Haskell refinement types, and techniques for analyzing timing channels. Professor Jhala teaches courses on Programming Languages (CSE 130) and Graduate Programming Languages (CSE 230), with extensive experience teaching compilers and verification topics. Professor Jhala advises several students including Alexander Bakst, Ben Cosman, and Marc Andrysco. Notable former students include Niki Vazou (Postdoc at Maryland), Ravi Chugh (University of Chicago), and Patrick Rondon (Google).
Matthew Fluet is an Associate Professor and Graduate Program Director in the Department of Computer Science at Rochester Institute of Technology's Golisano College of Computing and Information Sciences. He received his PhD in Computer Science from Cornell University and his BS in Mathematics from Harvey Mudd College. Prior to joining RIT, he was a research assistant professor at the Toyota Technological Institute at Chicago. Dr. Fluet's research focuses on programming languages, with particular emphasis on: Functional programming Compiler construction Program analysis Type systems Parallelism and concurrency His research has resulted in several significant projects including Manticore (a heterogeneous-parallel functional programming language), MaPLe/MPL (a functional language for provably efficient and safe multicore parallelism), and contributions to MLton (a whole-program optimizing Standard ML compiler). His work is supported by multiple National Science Foundation grants. Dr. Fluet has published extensively in top programming languages conferences including ICFP, POPL, PLDI, and PPoPP. His recent work focuses on automatic parallelism management, type-and control-flow analysis, and memory management for parallel systems, demonstrating a consistent research trajectory in making parallel programming safer and more accessible through language design. His notable research grants include: National Science Foundation (CISE Research Infrastructure): $224,329 (2014-2017) National Science Foundation (Software and Hardware Foundations): $236,744 (2014-2018) National Science Foundation: $412,261 (2011-2014) National Science Foundation: $91,867 (2008-2012) Dr. Fluet actively mentors graduate students, currently advising several MS project and thesis students. He teaches courses including Programming Skills (with focus on Rust), Compiler Construction, and Programming Language Concepts. He also serves in leadership roles including as Graduate Program Director for the Computer Science MS program and participates in departmental governance through the CS Curriculum Committee and GCCIS Curriculum Committee. He is an active member of the programming languages community, having served on program committees for major conferences and as Information Director for ACM SIGPLAN (2015-2018), demonstrating his commitment to advancing the field through research, education, and community service.
Hui Liu is a Professor in the School of Computer Science and Technology at Beijing Institute of Technology, where he leads research in AI-based software development with a focus on LLM applications. His work spans software refactoring, quality improvement, and maintenance, funded by the National Natural Science Foundation of China and the National Key Research and Development Program of China. PhD from Peking University (2008) Former graduate student at Software Engineering Institute, Peking University Distinguished member of China Computer Federation Secretary-General of CCF Technical Committee on Software Engineering Professor Liu's research centers on LLM-based program generation, evaluation and testing of large language models, software refactoring techniques, and automatic construction of software engineering datasets. His work bridges artificial intelligence and software engineering, with particular emphasis on improving code quality through empirical studies and machine learning techniques. Current projects include code contamination detection, context-aware naming recommendations, and refactoring validation using LLMs. His research has evolved from traditional code smell detection to cutting-edge applications of large language models in software development. Liu's publication record shows a strong trend toward LLM applications in software engineering, with recent work focusing on code review generation, commit message generation, and refactoring validation using large language models. His research combines empirical methods with machine learning approaches, often analyzing large code corpora from open-source projects. The work spans both theoretical foundations and practical tool development, with several contributions merged into Eclipse as part of the open-source community. ACM Distinguished Paper Award (ESEC/FSE 2023) ACM Distinguished Paper Award (ICSE 2022) RE'2021 Best Research Paper Award IET Software Premium Award (2018) New Century Excellent Talents in University (2013) Beijing Higher Education Young Elite Teacher (2013) Professor Liu actively mentors PhD and Master's students, with recent graduates including Waseem Akram (awarded Outstanding Graduate) and several students publishing at top venues. His research is supported by major Chinese funding agencies, and he serves on program committees for leading software engineering conferences including ASE, ICSE, and FSE. He maintains strong industry connections through contributions to Eclipse and studies of open-source ecosystems like Rust. Liu leads a research group focused on AI for software engineering, with active projects on code generation, refactoring, and quality improvement. The group collaborates extensively with international researchers and contributes directly to open-source tools, particularly in the Eclipse ecosystem where multiple refactoring improvements have been merged.
Zhiyuan Wan is an Associate Professor in the College of Computer Science and Technology at Zhejiang University, China. His academic career spans multiple prestigious institutions across North America and Asia, with a focus on advancing software engineering practices through empirical research and tool development. Dr. Wan's educational background includes: Ph.D. in Computer Science from Zhejiang University (2014) His postdoctoral journey featured positions at: University of British Columbia, Canada (2019-2020) Singapore Management University (2018) Zhejiang University (2016-2020) Lehigh University, United States (2014-2015) Dr. Wan's research program centers on empirical software engineering with particular expertise in blockchain technologies and software security. His work bridges theoretical insights with practical tool development, focusing on: Smart contract security and vulnerabilities in cryptocurrency ecosystems Code search and recommendation systems for developer productivity Empirical studies of developer practices and challenges Impact of machine learning on software development workflows His approach combines rigorous empirical methods with practical tool building to address real-world challenges faced by software practitioners. Analysis of Dr. Wan's recent publications reveals a strategic evolution toward blockchain security research, beginning around 2020 with studies on smart contract security and expanding to cover NFT ecosystems, Solana blockchain transactions, and cross-chain vulnerabilities. His work consistently applies empirical methods to uncover practical insights while developing tools that directly address identified challenges in software development. Dr. Wan actively contributes to the software engineering community through service on program committees for major conferences including ASE, ICSE, ESEC/FSE, and ISSTA. His academic leadership extends to mentoring relationships with students and collaborators across international institutions, though specific advisees are not documented in the provided materials.
Daniel Campo serves as Associate Professor, Chair of the Department of Graduate Built Environment Studies, and Director of the Graduate Program in City and Regional Planning at Morgan State University's School of Architecture and Planning in Baltimore, Maryland. His leadership extends to the Joint MIT-MSU City Planning Initiative and waterfront studies collaboration with the Maryland Port Administration. Postdoctoral Fellow, Institute for Urban Research, University of Pennsylvania Ph.D., University of Pennsylvania, City and Regional Planning M.U.P., Hunter College of the City University of New York B.A., State University of New York at Binghamton Dr. Campo's research focuses on postindustrial urbanism, examining how communities transform neglected industrial landscapes through DIY interventions and cultural preservation. His work bridges urban planning, historic preservation, public space studies, and cultural landscape theory, with particular emphasis on Rust Belt cities, waterfront redevelopment, and the intersection of art with urban planning. His ethnographic approach reveals how grassroots movements reshape urban environments in economic decline. His publications demonstrate consistent focus on postindustrial urban transformation, particularly how communities reclaim and reinterpret industrial heritage sites. The research trajectory shows evolution from Brooklyn waterfront studies to broader Rust Belt investigations, increasingly emphasizing community-led preservation tactics and the role of cultural memory in urban regeneration. National Endowment for the Humanities Research Fellowship (2010-11) Morgan State University Outstanding Researcher Award (2015) University Appreciation Award – Research As Principal Investigator for multiple Maryland Port Administration projects including the Masonville Cove Design study and Climate Change Mapping Project, Dr. Campo leads significant waterfront research initiatives. His Smart Family Foundation grants supported groundbreaking work on postindustrial DIY preservation and Rust Belt icon recovery. He actively mentors students through professional projects and thesis guidance while collaborating with organizations like AIA Baltimore and the North Brooklyn Parks Alliance. Dr. Campo directs the MIT-MSU Planning Collaborative and leads Morgan's waterfront studies team working with the University of Maryland Center for Environmental Studies, focusing on South Baltimore's working waterfront. His Chance Ecologies Public Art Project investigations demonstrate interdisciplinary integration of creative practice with academic research.
Dr. Hunmin Kim serves as Assistant Professor in the Department of Electrical and Computer Engineering at Mercer University's School of Engineering, specializing in security and operational resilience of cyber-physical systems with applications in autonomous vehicles, UAVs, and smart grids. His educational background includes: PhD in Electrical Engineering from Pennsylvania State University (2018) BSE in Mechanical Engineering from Pusan National University (2012) Dr. Kim's research centers on developing attack/fault detection mechanisms, robust control frameworks, and path planning algorithms for cyber-physical systems operating in dynamic environments. His work addresses critical security vulnerabilities and coordination challenges in multi-agent systems, with emphasis on verifiable safety guarantees for autonomous operations. Analysis of his 2023-2025 publications reveals strong thematic convergence in resilient control under adversarial conditions, motion planning in complex environments, and assistive technology applications. His work consistently bridges theoretical control systems with practical implementations in autonomous vehicles and UAVs, featuring increasing integration of machine learning techniques for adaptive security. Professional recognition includes: Nomination for 2024 Clayton R. Paul Teaching Excellence Award Dr. Kim actively mentors undergraduate researchers through Mercer's Bear Day events and honors projects, guiding student teams in developing gesture-based drone controls, EMG signal processors, and assistive navigation devices for visually impaired individuals. He maintains extensive peer review commitments across 45+ journals/conferences annually including IEEE Transactions on Automatic Control and Automatica. He contributes to the Collaborative Center for Computing at Mercer University and serves on the IEEE CSS Technology Conferences Editorial Review Board.
David Brian Collinge is Professor of Plant Pathology at the Department of Plant and Environmental Sciences (PLEN), Faculty of Science, University of Copenhagen. Since 2023, he has served as Head of the Section for Microbial Ecology and Biotechnology, overseeing approximately 40 employees across 4 research groups. Previously, he was Head of the Section for Plant Pathology from 2003-2006. His academic journey began with a BSc in Genetics from the University of Liverpool (1979) followed by a PhD in Genetics from the University of Newcastle Upon Tyne (1982). Professor Collinge's research focuses on the nature of plant defense mechanisms, pathogenicity mechanisms, signal sensing and transduction in plants, and the exploitation of these mechanisms for disease control in developing countries. His work extensively examines fungal interactions with plants across various lifestyles including necrotrophs, biotrophs, and endophytes. His research group has worked with multiple biological systems involving fungal pathogens since 1988, including studies on Pea with Ascochyta pisi, Rape with Leptosphaera maculans, Wheat with Septoria tritici and Fusarium graminearum, Maize with Maize Rayado Fino Virus, and Norway Spruce with Ceratobasidium bicorne. The bulk of his research effort has concerned Barley with the Powdery Mildew Fungus (Blumeria graminis) and Fusarium graminearum. His recent publications (2022-2025) reveal a strong focus on fungal endophytes for plant disease control, particularly examining the interactions between beneficial fungi and cereal crops to combat Fusarium diseases. His work demonstrates how endophytic fungi can activate plant defense mechanisms to suppress pathogens, with significant implications for sustainable agriculture. His research spans molecular mechanisms of plant-microbe interactions, mycotoxin detoxification pathways, and the development of biological control strategies as alternatives to chemical pesticides. NOVA Prize (2008) for Nordic MSc programme in Plant Pathology President of BSPP (2022) Joint Editor in Chief of CABI Plant Health Cases (since 2022) Associate Editor for European Journal of Plant Pathology (since 2004) and Plant Pathology (since 2011) Professor Collinge has supervised 31 completed PhD students and has been responsible for 4 PhD courses and 2 BSc/MSc level courses in plant biotechnology and plant pathology. He has participated in acquiring over 100 million Danish Kroner for research funding, including coordination of several major research programs such as the Marie S. Curie Horizon 2020 ETN "BestPass" (2015-2019) and Danida FFU projects on Black Sigatoka in banana. His leadership extends to being Coordinator for Denmark for Nordic PhD courses in plant pathology (2001-2017) and serving on numerous national and international examination boards and review committees. His research group, the "Plant Pathology and Microbiology" group, has maintained up to 10 employees since 1988 and has established collaborations across multiple continents, with visiting professorships at McGill University, Huazhong Agricultural University, and University of Pretoria. The group's current focus on endophytic fungal interactions aims to uncover defining principles in crop protection and plant tolerance across biotic and abiotic stresses, with potential applications for sustainable food security worldwide.
