Find Academic Supervisors

Natasha WoodsView profile

Assistant Professor

• Plant Ecology
• Community Ecology
• Shrub Encroachment
• +5 more

Natasha Woods serves as Assistant Professor of Biology at Moravian University since Fall 2019, maintaining active research affiliations with Virginia Commonwealth University and the Virginia Coast Reserve Long-Term Ecological Research site. Her work bridges field ecology with science education reform and diversity initiatives in environmental science. Educational background includes: B.S. in Biology, Jacksonville State University M.S. in Biology, Jacksonville State University Ph.D. in Evolution, Ecology, and Organismal Biology, The Ohio State University Dr. Woods' research integrates plant community ecology with science education innovation . Her field studies examine shrub encroachment in coastal dunes, seedling establishment under disturbance regimes, and soil salinity impacts on maritime forests. Concurrently, she pioneers 4DEE Framework implementation in ecology education and leads diversity initiatives through UNIDE (Undergraduate Network for Increasing Diversity of Ecologists). Her work uniquely connects ecosystem dynamics with pedagogical reform and representation in STEM. Analysis of her 15 most recent publications reveals three converging research trajectories: (1) Coastal ecosystem dynamics under climate stressors (dune elevation effects, salinity impacts), (2) Science education reform through 4DEE Framework adoption, and (3) Systemic barriers to diversity in ecology using narrative analysis. These strands intersect in her NSF-funded DURSiE project examining storm disturbance impacts while creating research opportunities for underrepresented students. Key recognitions include: NSF Building Research Capacity grant (BRC-BIO-DURSiE) Ford Foundation Postdoctoral Fellowship Virginia Coast Reserve Fellowship Biodiversity Faculty Mentoring Network selection Dr. Woods directs the DURSiE project providing field research opportunities for underrepresented students on Hog Island, Virginia. She serves on UNIDE's steering committee developing national strategies for diversity in ecology while mentoring through the Biodiversity Faculty Mentoring Network. Her grant portfolio emphasizes community-engaged research that links ecological fieldwork with institutional change. Her laboratory in Collier Hall of Science 321 supports coastal ecology research through partnerships with the Virginia Coast Reserve LTER site. Current projects examine accelerated storm disturbance effects on shrub-grass dynamics while developing data-focused teaching modules aligned with ESA's 4DEE Framework.

• Human-Computer Interaction (HCI)
• Education Technology
• Computing for Development
• +7 more

Richard J. Anderson is a Professor at the Paul G. Allen School of Computer Science & Engineering, University of Washington, with a focus on Human-Computer Interaction (HCI), education technology, and computing for development. His work bridges theoretical computer science with practical applications in low-resource settings, particularly in Sub-Saharan Africa and South Asia. Key Research Areas: HCI4D (Human-Computer Interaction for Development), digital health systems, agricultural technology scaling, mobile money economies, and blockchain policy integration. Collaborations: Works with institutions like Makerere University (Uganda), International Training and Education Center for Health (UW), and Aurora Health Innovations LLP (India). Recent publications highlight dual-platform agricultural tools in Tanzania, privacy considerations in HIV digital health, and blockchain's role in telecom governance. His work emphasizes scalability, privacy, and structural equity in technology deployment. Scientific Awards: Best Paper (ACM Journal on Computing and Sustainable Societies) Honorable Mention (ACM Conference on Human Factors in Computing Systems) Anderson’s career spans decades, with foundational contributions to parallel algorithms and sustained leadership in computing education research. His projects often integrate active learning and tablet-based classroom interaction systems.

Xiaokang QiuView profile

Associate Professor

• Programming Languages
• Software Engineering
• Program Verification
• +2 more

Xiaokang Qiu is an Associate Professor at Purdue University's Elmore Family School of Electrical and Computer Engineering. His work bridges theoretical and applied research in programming languages and software engineering. Current Role: Associate Professor at Purdue University Research Focus: Program verification, synthesis, and automated deduction Over the past decade, Xiaokang's research has centered on advancing program synthesis techniques. His work appears in leading venues like POPL, PLDI, and SAS, where he explores: Syntax-guided synthesis for bit-vector operations Concurrent string transformation synthesis Library-based synthesis frameworks Recursive program verification He actively contributes to the academic community as a committee member and session chair at conferences including POPL, VMCAI, and SPLASH. His research addresses fundamental challenges in automating code generation while ensuring formal correctness.

Cezara DrăgoiView profile

Researcher

• Static Analysis
• Formal Verification
• Distributed Systems
• +3 more

Cezara Drăgoi serves as a Researcher (Chargé de Recherche) at INRIA with dual affiliation at École Normale Supérieure's Department of Computer Science and CNRS. She maintains active roles in major programming language conferences including PLDI, POPL, and SPLASH where she contributes to program committees and steering groups, demonstrating her standing in the formal methods community. Her research program focuses on automated formal verification through abstraction techniques, specifically targeting data structures across the spectrum from sequential implementations to distributed systems. Drăgoi develops logic-based frameworks that enable Hoare-style reasoning about content and consistency properties, with particular expertise in identifying suitable fragments of first-order and separation logic for static analysis. Her work bridges theoretical foundations with practical verification challenges in both single-threaded and concurrent environments. Publication trends reveal a clear evolution from foundational work on shape analysis for sequential data structures toward increasingly complex distributed systems verification. This progression culminated in her development of PSync - a domain-specific language for fault-tolerant distributed algorithms with integrated verification capabilities - demonstrating her ability to create practical abstractions that make verification tractable for real-world systems. Steering Committee Member, Static Analysis Symposium (SAS 2025) Program Committee Co-Chair, VMCAI 2023 Multiple program committee roles at PLDI (2017, 2020), POPL (2016-2023), ECOOP (2019), and SPLASH (2020-2024) Session chair for SAS 2021 and VMCAI 2019 Drăgoi actively mentors emerging researchers through internship and PhD opportunities in specialized areas including Byzantine consensus verification (SABC project) and refinement techniques for fault-tolerant asynchronous code (RFTA project). She has developed two influential verification tools: CELIA (a Frama-C plugin for C program verification handling both data and structural properties) and PSync (a language with verification engine for distributed algorithms). Her teaching includes graduate-level courses on abstract interpretation at Université Paris Diderot. She leads verification research within the INRIA/ENS collaboration, focusing on making static analysis tractable for complex distributed systems through innovative synchronous programming abstractions. Current work targets verification challenges in consensus algorithms and communication-closed protocols, with emphasis on bridging theoretical soundness with practical applicability.

Parosh Aziz AbdullaView profile

Professor

• Concurrency
• Distributed Systems
• Program Verification
• +5 more

Parosh Aziz Abdulla is a Chaired Professor at the Department of Information Technology, Uppsala University, Sweden. He is a prominent researcher in the field of theoretical computer science with a focus on formal methods, concurrency, and program verification. His work bridges theoretical foundations with practical applications in software and hardware verification. Professor Abdulla's primary research interests include Concurrency, Distributed Systems, Program Verification, Model Checking, Automata, and Logic. His work spans both theoretical aspects of computer science and practical verification techniques for concurrent and distributed systems. He has made significant contributions to the understanding of memory models, particularly in the context of modern architectures like x86 with persistent memory. His research has evolved from foundational work on infinite-state systems to practical verification techniques for concurrent programs and string constraints. Professor Abdulla has served on numerous program committees for top-tier conferences including PLDI, POPL, CAV, CONCUR, and TACAS, demonstrating his standing in the research community. He has been PC co-Chair for TACAS'11 and has contributed to many other conferences over the years. As an advisor, Professor Abdulla has supervised numerous PhD students to completion, with graduates working on topics ranging from verification of networks of communicating processes to caches, transactions, and memory models. His students have gone on to successful careers in academia and industry. Professor Abdulla maintains an active research agenda, with recent work focusing on verification of quantum circuits, efficient linearizability monitoring, and verification under Intel-x86 with persistency. His research continues to address fundamental challenges in program verification while adapting to new computing paradigms and hardware architectures.

Bradford L. ChamberlainView profile

Adjunct Professor

• Parallel Computing
• Programming Languages
• High-Performance Computing
• +3 more

Bradford L. Chamberlain is a Distinguished Technologist at Hewlett Packard Enterprise and an Affiliate Professor in the Paul G. Allen School of Computer Science and Engineering at the University of Washington. With over two decades of experience in high-performance computing, he has made significant contributions to parallel programming languages, particularly as the technical lead of the Chapel programming language project since 2006. His educational background includes: Ph.D. in Computer Science & Engineering from the University of Washington (2001) M.S. in Computer Science & Engineering from the University of Washington (1995) B.S. in Computer Science from Stanford University (1992) Chamberlain's research focuses on improving programmer productivity for high-performance computing through innovative language design, compiler techniques, and runtime systems. His work centers around the Chapel programming language, which aims to provide a multiresolution programming model that allows developers to express parallelism at varying levels of abstraction while maintaining performance across diverse architectures from laptops to supercomputers. His research spans parallel language design, compiler optimization, data distribution strategies, locality management, and performance portability. Chapel builds on his earlier work with the ZPL language, where he developed region-based approaches for sparse parallel computing. His publication record over the past fifteen years demonstrates a consistent focus on practical approaches to parallel programming, with recent work emphasizing data locality, heterogeneous architectures, and performance portability. His articles show an evolution from foundational language design concepts to increasingly sophisticated implementations addressing real-world HPC challenges, particularly in the areas of domain mapping, iterator abstractions, and memory management for large-scale systems. As a Distinguished Technologist at HPE, Chamberlain has played a key role in growing the Chapel project from a modest effort to one involving nearly 20 full-time developers. His leadership has positioned Chapel as one of the most promising languages for addressing the challenge of productive parallel programming at scale. He has secured funding, established collaborations with academia and industry, and performed extensive outreach through talks, tutorials, and research visits. At the University of Washington, Chamberlain serves as a liaison between academia and industry, participating in student committees, teaching graduate courses like Parallel Computation, and fostering communication between the department and HPE/Cray. His teaching experience spans from undergraduate data structures to graduate seminars on parallel programming environments. He has also volunteered as a tutor for underrepresented students in computer science.

• Memory management
• Concurrent programming
• Formal verification
• +4 more

Jaehwang Jung is a researcher affiliated with Korea Advanced Institute of Science and Technology (KAIST) in South Korea and Rebellions Inc. They have been actively publishing research papers at premier programming languages conferences including PLDI and POPL from 2020 through 2025. Dr. Jung's research focuses on memory management systems and formal verification techniques for concurrent programming. Their work primarily centers around developing and verifying memory reclamation techniques using separation logic, with particular emphasis on pointer-based and epoch-based approaches. They have made significant contributions to the understanding of relaxed memory models and their implications for concurrent data structure verification. Analysis of their publication history reveals a clear progression from foundational work on memory reclamation (2020) toward increasingly sophisticated verification techniques for concurrent systems. Their research spans both theoretical aspects of separation logic and practical implementations of memory management systems, demonstrating strong connections between formal methods and systems programming. As an active member of the programming languages community, Dr. Jung has served as an Artifact Evaluator for POPL 2021 and continues to contribute to advancing the state of the art in concurrent program verification.

Tom PeterssonView profile

Associate Professor

• Economic History
• Business History
• Financial Systems
• +4 more

Tom Petersson serves as Associate Professor and Researcher at Uppsala University's Department of Economic History within the Faculty of Social Sciences. He concurrently holds an administrative role as Analyst in the University Administration's Planning Division under the Vice-Chancellor's Office. His dual academic-administrative position reflects deep institutional integration at Sweden's oldest university. His research spans Economic History and Business History with specialization in Swedish financial systems, banking networks, and industrial development. Key interests include historical network analysis of capitalism, gender perspectives in finance, and the evolution of savings banks. His work frequently examines the interplay between personal relationships and economic structures in Swedish business history. Petersson's publication trajectory reveals consistent focus on Swedish financial history with increasing international comparative dimensions. Recent works analyze risk management frameworks in 19th century banking while earlier research explored computer industry development and gender dynamics in financial systems. His scholarship demonstrates methodological rigor in network analysis applied to historical economic data. Through Uppsala Centre for Business History, he contributes to major collaborative projects examining Stockholm's emergence as a financial hub and the transformation of savings bank foundations. His administrative role in university planning provides practical context for his academic analyses of institutional change.

• Molecular Ecology
• Population Genomics
• Microbial Ecology
• +6 more

Spiros Papakostas serves as Assistant Professor of Microbial and Molecular Ecology at the International Hellenic University's Department of Science and Technology since 2012, with concurrent roles as Principal Investigator at Aristotle University of Thessaloniki's Department of Biology since 2022. His educational background includes: B.Sc. in Biology from Aristotle University of Thessaloniki Ph.D. in Population Genetics and Molecular Ecology from Aristotle University of Thessaloniki (2008) Specializing in Molecular Ecology and Population Genomics, his research examines eco-evolutionary dynamics through genomic, epigenetic, and metagenomic approaches. Key methodologies include proteomics, functional genomics, and next-generation DNA sequencing applied to aquatic organisms and microbial communities. His work bridges fundamental evolutionary theory with applied environmental challenges like biodiversity monitoring and sustainable aquaculture. Publications reveal a strong focus on environmental adaptation mechanisms, with recent work emphasizing eDNA applications, thermal response epigenetics, and hatchery-induced evolution. Research spans both theoretical frameworks (e.g., growth rate hypothesis testing) and practical conservation applications. Current research leadership includes: HORIZON project (2023-2026): Developing eDNA reference libraries for European aquatic biodiversity monitoring HFRI project (2021-2025): Systems biology modeling for Mediterranean aquaculture sustainability Teaching responsibilities cover advanced genomic techniques including Data Science, Metagenomics, Population Genomics, and Next Generation DNA Sequencing.

Christopher AndertonView profile

Adjunct Assistant Professor

• Mass Spectrometry Imaging
• Spatial Metabolomics
• Inter-Kingdom Interactions
• +3 more

Christopher Anderton is a Chemist and team leader for the Biogeochemical Transformations team at Pacific Northwest National Laboratory (PNNL), within the Environmental Molecular Sciences Division and the Environmental Molecular Sciences Laboratory (EMSL) user program. He concurrently serves as an Adjunct Assistant Professor at the Graduate School of Biomedical Sciences, University of Texas Health Science Center San Antonio. His educational background includes: PhD in Chemistry, University of Illinois Urbana-Champaign (2010) BS in Chemistry, University of Colorado (2005) Dr. Anderton's research centers on Inter-Kingdom Interactions , Spatial Metabolomics , and Mass Spectrometry Imaging . Leveraging multimodal imaging methods, he investigates chemical interactions across biological kingdoms—particularly in soils and the rhizosphere—to understand environmental resilience mechanisms. His work has significantly advanced mass spectrometry imaging capabilities at EMSL for analyzing bacterial communities, plant-microbe systems, and human health processes. Analysis of his 2020 publications reveals dominant trends in applying advanced imaging techniques to diverse systems: plant-microbe symbiosis (soybean nodules, Setaria roots), soil microbiome dynamics under climate change, and clinical lipidomics in kidney disease. His methodological innovations focus on spatial metabolome visualization and multimodal imaging integration across environmental and biomedical contexts. Dr. Anderton actively contributes to professional communities through the American Society for Mass Spectrometry Publications Committee and as a Founding Member/Executive Committee Member of the Imaging Mass Spectrometry Society. He leads collaborative research initiatives at PNNL's EMSL facility while mentoring through his adjunct professorship and STEM Ambassador role.

• Business Model Sustainability
• Corporate Governance
• Energy Sector Management
• +4 more

Klaus-Michael Ahrend is a Professor of Business at Darmstadt Business School, part of Darmstadt University of Applied Sciences since 2015. Concurrently, he serves as CEO of HEAG (Hessische Elektrizitäts-AG) in Darmstadt, Germany since 2008. His dual expertise bridges academic research and practical business leadership, with a focus on sustainability, corporate governance, and innovation in both public and private sectors. His work particularly emphasizes the energy sector and public administration, reflecting his professional experience in utility management and academic research. Dr. Ahrend's educational background includes a dissertation titled "Eine Typologie der strategischen Kontrolle im deutschen Konzern am Beispiel eines Energieversorgers" (A Typology of Strategic Control in German Corporations Using an Energy Provider as an Example) completed in 2001. His academic journey culminated in his professorship at Darmstadt University of Applied Sciences, where he has been teaching and conducting research since 2015. Professor Ahrend's research interests center on business model sustainability, corporate governance (particularly in the energy sector), public sector innovation, and the intersection of big data with design thinking. His work explores how organizations can create sustainable value while balancing economic, environmental, and social considerations. He investigates innovative governance models for public enterprises and utilities, focusing on how strategic participation management can enhance public value creation. His research also examines digital transformation in regional development through smart region initiatives. Analysis of Professor Ahrend's publications reveals a consistent focus on sustainability and governance across multiple sectors. His recent works emphasize business model innovation for sustainability, with particular attention to public sector applications. A notable trend is his exploration of how traditional business models in energy and public administration can be adapted for sustainable value creation. His research bridges theoretical frameworks with practical implementation, often addressing the tension between corporate value and public value in regulated industries. The recurring themes across his publications include strategic control mechanisms, innovation laboratories in public administration, and the integration of data-driven approaches with human-centered design methodologies. While specific scientific awards are not documented in the available information, Professor Ahrend's extensive publication record in reputable outlets including Zeitschrift für Corporate Governance demonstrates significant scholarly contribution to his fields of expertise. His work appears in both academic journals and professional publications, indicating impact across academic and practitioner communities. Regarding academic advising, no specific information about doctoral or master's students is provided in the available records. Similarly, details about research grants are not explicitly mentioned, though his publication output suggests successful research funding. Professor Ahrend's dual role as both academic and CEO of HEAG indicates a strong connection between theoretical research and practical business application, potentially facilitating industry-academia collaborations. Though specific laboratory or research team information is not detailed in the provided materials, Professor Ahrend's publications on "Innovationslabore im Öffentlichen Sektor" (Innovation Laboratories in the Public Sector) suggest his involvement in establishing or studying innovation frameworks within public administration. His work with co-authors like Timon Hölle on this topic indicates collaborative research efforts focused on experimental approaches to public sector challenges.

Judy WajcmanView profile

Professor

• Work and Organizations
• Science and Technology Studies
• Feminist Theory
• +2 more

Judy Wajcman serves as the Anthony Giddens Professor of Sociology at the London School of Economics and Political Science and holds a dual affiliation as Principal Investigator for the Women in Data Science and Artificial Intelligence research project at the Alan Turing Institute. She concurrently serves on the AI100 Standing Committee and maintains status as a Fellow of the British Academy. Her research critically examines intersections between technology, gender, and social organization, with particular emphasis on how digital systems reshape work patterns, temporal experiences, and power structures. Key contributions include theoretical frameworks analyzing the gendered dimensions of technological design and the sociological implications of algorithmic systems in contemporary capitalism. Major recognitions include: Ludwik Fleck prize (2017) for Pressed for Time: The Acceleration of Life in Digital Capitalism Election as Fellow of the British Academy As Principal Investigator of the Alan Turing Institute's Women in Data Science and Artificial Intelligence project, she directs interdisciplinary research examining gender representation, bias mitigation, and career pathways in AI development ecosystems through empirical studies and policy engagement.

Shilad SenView profile

Professor

• Computer Science
• Data Science
• Human-Computer Interaction
• +7 more

Shilad Sen is a Professor and Chair of Computer Science at Macalester College in St. Paul, Minnesota, with a concurrent position as Principal Scientist at Microsoft. His academic appointment is within the Mathematics, Statistics, and Computer Science (MSCS) Department at Macalester College. Professor Sen's research focuses on member-maintained websites that empower Internet users to contribute valuable information, with particular emphasis on tagging systems, recommender systems, and combinations of the two. His work draws upon the fields of Human-Computer Interaction (HCI), data-mining, psychology, and computer systems design. He has made significant contributions to understanding geographic barriers in Wikipedia content and developing systems that help users better contribute to online communities. His research trajectory shows a consistent focus on understanding how people interact with information systems and how to design better systems that support community knowledge building. His work spans both theoretical contributions to understanding online communities and practical system development, including projects like Cartograph, Localness, WikiBrain, and Macademia. His recent work at Microsoft focuses on developing AI systems for products like Microsoft Outlook. Professor Sen teaches a wide range of computer science courses including Object-Oriented Programming and Data Structures, Internet Programming, and Collective Intelligence. His research has been published in top-tier venues including CHI, with his 2015 paper 'Barriers to the Localness of Volunteered Geographic Information' being particularly influential in understanding geographic inequalities in Wikipedia content. BA in Mathematics from Northwestern University (1999) BM in Saxophone Performance from Northwestern University (1999) PhD in Computer Science from University of Minnesota (2009) Before his academic career, Sen worked at Sourcelight Technologies building movie recommenders for companies like Blockbuster Video and Comcast, and also had positions at Google, IBM Research, Thomson Reuters R&D, and Target Corporation. Outside of academia, he is an avid jazz saxophonist and squash player.

Eugenia S. VasileiadouView profile

Assistant Professor

• Inorganic Materials Chemistry
• Energy Storage
• Energy Conversion
• +4 more

Eugenia S. Vasileiadou serves as Assistant Professor of Chemistry at Bryn Mawr College, where her research program focuses on developing novel inorganic (nano)materials for sustainable energy applications through precise structural and synthetic control. She earned her Ph.D. with concurrent pedagogical training at Northwestern University's Searle Center for Advanced Learning and Teaching, completing a formal teaching certificate program, conducting IRB-approved educational research, and serving as a teaching consultant. Her research spans energy storage/conversion materials, solid-state chemistry, and environmental applications, emphasizing structure-property relationships in optoelectronic and electrochemical systems. She integrates archaeological materials chemistry and art conservation science into her environmental sustainability framework, targeting applications in solar cells, batteries, and bioimaging. Dr. Vasileiadou actively develops data-driven Diversity, Equity, and Inclusion (DEI) programming to advance women and underrepresented minorities in STEM, publishing curricula that bridge materials science with social impact. In the Vasileiadou lab, students master synthetic inorganic chemistry, solid-state characterization, and device fabrication while contributing to sustainable energy solutions. Her teaching encompasses general, inorganic, materials, and environmental chemistry with specialized modules in crystallography and renewable energy systems.

• Business Intelligence on Social media
• Information Assurance
• Cyber Security

Tianxi Dong serves as Assistant Professor in Finance and Business Analytics at Trinity University, with concurrent appointments in Data Science and Global Supply Chain Management, and active involvement in Sustainable Business and Environmental, Social, and Governance Strategy initiatives. Her academic credentials include: Ph.D. in Business Administration from Texas Tech University M.S. in Management Science from Shanghai University of Finance and Economics B.S. in Management Science from Shanghai University of Finance and Economics Dr. Dong's research program centers on Business Intelligence on Social media , Information Assurance , and Cyber Security , examining how social media analytics can enhance business decision-making while developing robust security frameworks for information systems. Her industry background at multinational firms provides practical grounding for theoretical investigations. Publication analysis reveals consistent focus on social media dynamics and security applications, with contributions spanning social platform behavior modeling (Delicious/Flickr/YouTube), topic-community structure in tagging systems, work system security risk methodologies, and ontology-based e-procurement frameworks for Chinese government systems. Professional recognition includes: AT&T Chancellor's Fellowship