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

Henry F. (Hank) Korthمشاهده پروفایل

استاد

• Database Systems
• Blockchain Systems
• Distributed Systems
• +۷ مورد دیگر

Henry F. (Hank) Korth is a Professor of Computer Science and Engineering at Lehigh University, with a courtesy appointment in the Department of Decision and Technology Analytics in the College of Business. He serves as Director of the Blockchain Lab in the Center for Financial Services and Co-Director of the Computer Science and Business Program. Korth is a Fellow of the ACM and IEEE, and a recipient of the VLDB 10-Year Award and Bell Labs President's Silver Award for contributions to database technologies. PhD in Computer Science from Princeton University MA, MSE in Computer Science from Princeton University BA in Mathematics from Williams College Korth's research spans database systems, blockchain systems, distributed systems, and real-time systems. He has pioneered transaction management in parallel and distributed systems, query processing, and the impact of modern computing architectures on database performance. His recent work focuses on blockchain applications in enterprise databases, including acceleration of zero-knowledge proofs, benchmarking frameworks, central-bank digital currencies, and private-yet-provable accounting systems. His contributions are rooted in both theoretical advancements and practical implementations, such as the QTM™ aggregation engine and the DataBlitz™ main-memory storage manager. Scientific awards include: ACM Fellow IEEE Fellow 10-Year Award at the VLDB Conference Bell Labs President's Silver Award Korth actively supervises research within the Blockchain Lab and is affiliated with the Scalable Software Systems Research Group at Lehigh. His scholarly output reflects a deep engagement with blockchain benchmarking, concurrency control, verifiable databases, and the evolution of database systems in response to technological shifts.

• Organizational Change
• Strategic Change
• Discourse Analysis
• +۷ مورد دیگر

Eero Vaara serves as a Visiting Distinguished Professor in the Department of Management Studies at Aalto University, where his research centers on organizational and strategic change through discursive and narrative lenses. His work critically examines strategy processes, radical transformations like mergers and acquisitions, institutional legitimation, multinational corporation dynamics, and historical perspectives on management. His research interests encompass organizational change, strategic discourse, narrative analysis, institutional theory, and multinational corporate identity. Vaara investigates how language constructs organizational realities during crises, mergers, and cross-cultural interactions, with particular attention to power dynamics in identity politics and the role of historical narratives in strategic renewal. His scholarship bridges theoretical rigor with practical implications for managing complex change in global contexts. Recent publications (2020-2022) reveal consistent thematic focus across top management journals including Academy of Management Journal and Strategic Management Journal. Key trends include the interplay of language and social inequality during global crises like COVID-19, entrepreneurial phenomena in isolated economies such as North Korea, strategic ambiguity in organizational protection, and national identity construction within multinational corporations. His methodological innovations integrate critical discourse analysis with computational approaches like structural topic modeling. Scientific awards highlight his scholarly impact: Best Article Finalist 2023 (Academy of Management Discoveries) 2014 OMT Best Published Paper Award for advancing theoretical understanding of organizations While specific advising relationships and grant funding details aren't documented in the source material, Vaara's collaborative publications demonstrate extensive international research partnerships. His work with scholars across Europe and North America indicates active supervision of doctoral research and leadership in multinational research consortia, particularly in discourse-focused organizational studies. Though laboratory affiliations aren't specified, his methodological work suggests engagement with digital humanities research groups and discourse analysis laboratories, especially evident in publications combining computational text analysis with critical theoretical frameworks.

Ion Stoicaمشاهده پروفایل

استاد

• Distributed Systems
• Cloud Computing
• AI Systems
• +۳ مورد دیگر

Ion Stoica is a Professor in the Electrical Engineering and Computer Sciences Department at the University of California, Berkeley, where he holds the Xu Bao Chancellor Chair. He serves as Director of the Sky Computing Lab and is Executive Chairman of both Databricks and Anyscale. His research spans distributed systems, cloud computing, and AI systems, with significant contributions to large-scale data processing frameworks. Stoica's research interests focus on the intersection of AI and systems, with emphasis on developing practical implementations that bridge theoretical foundations with real-world deployability. His work addresses fundamental challenges in distributed computing, resource management, and large-scale machine learning systems. Current projects include Ray (a distributed execution framework), vLLM (a high-throughput inference engine for LLMs), Chatbot Arena (an open platform for human preference evaluations), and SkyPilot (a framework for running AI workloads across clouds). His research output demonstrates a consistent trajectory toward more efficient, scalable systems for modern AI workloads, particularly focusing on optimizing inference performance, resource utilization, and cross-cloud deployment. Recent publications reflect growing interest in large language model serving, video generation optimization, and agent-based systems. ACM Fellow SIGOPS Hall of Fame Award (2015) SIGCOMM Test of Time Award (2011) ACM Doctoral Dissertation Award (2001) Member of National Academy of Engineering Honorary Member of the Romanian Academy Stoica has advised an extensive number of doctoral students who have gone on to prominent positions in academia and industry, including assistant professorships at Stanford, MIT, Carnegie Mellon, and other top institutions. He has received significant research funding through his lab activities and startup ventures. His research group has been particularly successful in translating academic research into widely adopted open-source technologies and commercial products. Stoica leads the Sky Computing Lab at UC Berkeley, which focuses on developing systems for AI workloads across multiple clouds. His research group has produced numerous influential open-source projects including Apache Spark, Apache Mesos, and Alluxio, which have become industry standards for large-scale data processing. The lab maintains strong industry partnerships while pursuing fundamental research in distributed systems and AI infrastructure.

• Embedded Systems
• Real-Time Systems
• Cyber-Physical Systems
• +۷ مورد دیگر

Marco Caccamo is a Professor at the Technical University of Munich (TUM) , holding the Chair of Cyber-Physical Systems in Production Engineering within the Faculty of Mechanical Engineering. He is also a Principal Investigator and Professor at the Department of Computer Science, with courtesy appointments in Electrical and Computer Engineering, Coordinated Science Lab (CSL), and Aerospace Engineering at the University of Illinois at Urbana-Champaign (UIUC). His research spans Embedded Systems , Real-Time Systems , and Cyber-Physical Systems (CPS) , focusing on resource management, reinforcement learning architectures, and 6D pose recognition for robotics. University of Pisa (B.Sc., 1997) Scuola Superiore Sant'Anna (Ph.D., 2002) Research highlights include predictable resource management on heterogeneous platforms, security frameworks for AI-based controllers , and UAV testbed development . His work integrates deep learning and real-time constraints in industrial applications like avionics, farming, and automotive systems. His 15 most recent publications emphasize cache optimization , memory bandwidth regulation , and reinforcement learning for CPS , with a focus on multi-core processors and DNN inference . Awards include the IEEE Fellow (2018), Alexander von Humboldt Professorship (2018), and multiple Best Paper Awards at RTSS, RTNS, and RTAS. NSF CAREER Award (2003) IEEE Fellow (2018) Alexander von Humboldt Professorship (2018) Best Paper Awards (RTSS 2024, RTNS 2023, ECRTS 2019) He has advised numerous Ph.D. students and postdocs, with a track record in UAV development and industrial collaborations . His lab, the Real-Time and Embedded System Laboratory , focuses on real-time OS and predictable computing .

Conrad Wattمشاهده پروفایل

استادیار

• WebAssembly
• Formal Verification
• Programming Languages
• +۴ مورد دیگر

Conrad Watt is an Assistant Professor at Nanyang Technological University (NTU), Singapore , specializing in WebAssembly, formal verification, and concurrency. He previously served as a Research Fellow at Peterhouse, University of Cambridge, and earned his PhD under Peter Sewell. Co-chair of the W3C WebAssembly Community Group Active in WebAssembly standards development, including concurrency specifications Developed mechanizations in theorem provers like Isabelle/HOL Collaborator with industry (wasmtime engine) and academic teams on verification tools Research Focus: Formal verification of low-level languages, concurrency models, and security mechanisms for WebAssembly. His work bridges theoretical rigor with practical applications, including WasmRef-Isabelle and threads projects. Recent Trends: 2025 publications explore separation logic automation and concurrency experiments, while 2024-2023 work emphasizes specification toolchains (SpecTec), verified interpreters, and memory-safe execution techniques. Scientific Awards ACM Doctoral Dissertation Award Honorable Mention EAPLS Best Dissertation Award Advising: Supervises PhD students Qiyuan Xu and Antanas Kalkauskas. Collaborates with researchers like Philippa Gardner and Jean Pichon-Pharabod.

Michael Ferdmanمشاهده پروفایل

دانشیار

• Computer Architecture
• Operating Systems
• Machine Learning
• +۷ مورد دیگر

Michael Ferdman is an Associate Professor in the Department of Computer Science at Stony Brook University, where he leads research in computer architecture and systems. His office is located in Room 343 at Stony Brook, NY 11794-2424, and he can be contacted via phone (631-632-8449) or email. Ferdman directs the Computer Architecture and Systems Laboratory (compas.cs.stonybrook.edu), focusing on next-generation server infrastructure. Ferdman's research spans the entire computing stack with emphasis on: FPGA integration for server environments (Intel HARP, Microsoft Catapult) Machine learning accelerators for convolutional neural networks Server systems optimization in the post-Moore era Network processing and software-defined networking Programming models for emerging memory technologies (HBM, 3D XPoint) Reconfigurable hardware and high-level synthesis His work addresses both performance and security challenges in modern computing infrastructure. Analysis of his 15 most recent publications (2022-2025) reveals consistent focus on: Hardware acceleration techniques (FPGAs, specialized processors) Memory hierarchy optimization and cache management Security vulnerabilities in web applications and systems Post-Moore computing architectures Parallel processing and distributed systems His research shows strong emphasis on practical implementations bridging hardware and software layers. Awards recognizing his contributions include: Graduate Teaching Award (2014) Best Paper Award at ASPLOS XVII Best Paper Finalist at HPCA XVII Three IEEE Micro Top Picks selections (2009, 2012) He teaches advanced courses including CSE 502, CSE 602, and CSE 506 at Stony Brook University.

Alessandro Ottavianoمشاهده پروفایل

پژوهشگر

• Computer Architecture
• Embedded Systems
• Real-Time Systems
• +۳ مورد دیگر

Dr. Alessandro Ottaviano is a Researcher affiliated with the Department of Digital Integrated Circuits and Systems at ETH Zürich. His work focuses on advanced computer architecture and embedded systems, particularly in the domains of RISC-V processors, real-time systems, and heterogeneous computing. He contributes to the design of time-predictable virtual memory solutions, mixed-criticality systems, and energy-efficient hardware-software interfaces. Key research areas include modular processor architectures, hardware monitoring for safety-critical applications, and power management in high-performance computing (HPC) systems. His recent projects involve developing controllers for 2.5D systems-in-package and creating open-source networking solutions for mixed-criticality environments. Ottaviano’s work often emphasizes open-source hardware design and scalable system-level approaches to address challenges in autonomous systems and edge computing. He collaborates on advancements in interrupt handling for virtualized systems, peripheral event linking for IoT devices, and FPGA-based thermal emulation for many-core processors. His research bridges theoretical computer architecture principles with practical implementations in embedded and real-time systems.

Gang (Gary) Tanمشاهده پروفایل

استاد

• Computer Security
• Formal Methods
• Programming Languages
• +۲ مورد دیگر

Gang (Gary) Tan is a Professor at the Pennsylvania State University's College of Engineering, specializing in computer security, formal methods, and programming languages. He co-directs the Institute for Networking and Security Research (INSR) and leads the Security of Software (SOS) Group, focusing on compiler, programming language, and formal method techniques to enhance computer security. Education: B.E. in Computer Science from Tsinghua University Ph.D. in Computer Science from Princeton University His research integrates formal verification with practical security applications, particularly emphasizing: Compiler-based security enforcement Side-channel mitigation in speculative execution Fairness analysis in machine learning systems Formal grammar approaches for software reliability Key article trends show: Security-focused formal methods (15% of publications) ML fairness verification (20% of recent work) Compiler-based security solutions (30% of output) Side-channel defense mechanisms (25% of research) Parser design and formal grammar synthesis (10% of contributions) Scientific achievements include: NSF CAREER Award Google Research Awards (2x) PLDI 2024 Best Paper James F. Will Career Development Professorship Outstanding Research Award at Penn State Ruth and Joel Spira Excellence in Teaching Award Dr. Tan actively contributes to academic communities through: DARPA ISAT study group membership Program committee roles (CGO 2024, ECOOP 2018, etc) Leadership in security research initiatives

Andrea Greveمشاهده پروفایل

مدرس

• Cognitive Psychology
• Memory Studies
• Neuroscience
• +۳ مورد دیگر

Dr Andrea Greve is a Lecturer in the Department of Psychology at the University of Cambridge . Her research focuses on cognitive processes related to memory, prediction error, and learning mechanisms. Key areas of interest include declarative memory formation, semantic predictions, and the influence of novelty on memory retention. She has explored topics such as word learning in variable-choice paradigms, the role of hippocampal lesions in memory binding, and predictive coding in neuroimaging contexts. Her work integrates experimental psychology with neuroscience methodologies, particularly leveraging neuroimaging techniques to investigate memory systems. Notable contributions include studies on false memory effects, the nonmonotonic relationship between object-location memory and expectedness, and the impact of prior knowledge on memory encoding. Dr. Greve has also contributed to methodological advancements, such as improved MRI anonymization for MEG coregistration. While her research spans multiple decades, recent efforts (2023–2025) emphasize predictive frameworks and their applications in understanding cognitive phenomena like semantic surprise and episodic memory formation. Her findings challenge traditional assumptions about fast mapping in adults and highlight the importance of integrating computational models with empirical data. Dr. Greve collaborates extensively with neuroimaging and cognitive science teams, contributing to interdisciplinary projects that bridge theoretical and applied research in memory systems. Her work maintains a strong focus on methodological rigor, particularly in experimental design and data interpretation.

• Formal Verification
• Software Testing
• Programming Languages
• +۱۲ مورد دیگر

Alastair F. Donaldson is a Professor and Director of Research in the Department of Computing at Imperial College London, where he leads the FastPL research group. His work bridges formal methods, software testing, and programming languages, with a focus on enhancing the reliability of high-performance and parallel software systems. He has held key roles including Director of Research (since 2023) and previously served as Lecturer (2011–2014), Senior Lecturer (2014–2017), and Reader (2017–2020) before being promoted to Professor in 2020. His research interests include formal verification, compiler testing, GPU programming, concurrency, and fuzzing. He has made significant contributions to the verification of GPU kernels, metamorphic testing of graphics drivers, and the development of tools like GPUVerify and GraphicsFuzz. His work combines theoretical rigor with practical impact, demonstrated by the acquisition of his startup GraphicsFuzz by Google in 2018 and his subsequent roles as Senior Software Engineer and Visiting Researcher at Google. His recent publications reflect a sustained focus on compiler and system reliability, with trends in fuzzing, formal specification, and automated testing of complex systems such as WebGPU, CXL cache coherence, and large language models for code generation. His work increasingly integrates empirical validation with formal techniques to uncover subtle bugs in real-world systems. Scientific awards and recognitions include: 2017 BCS Roger Needham Award EPSRC Early Career Fellowship Fellow of the British Computer Society Best Paper awards at EuroSys 2024, MET 2021, IISWC 2019, IWOCL 2019, and ICST 2016 Best Industry Paper at ICST 2024 ACM SIGSOFT Distinguished Paper at ISSTA 2023 ACM SIGPLAN Most Influential OOPSLA Paper Award (2012 paper), awarded in 2022 Best Student Paper at PPoPP 2014 He has advised numerous PhD students and leads a vibrant research group. He has secured significant research funding and collaborates extensively with industry and academia. His service includes leadership roles such as General Chair of PLDI 2020, PC Chair of ECOOP 2019, and Steering Committee Chair of PLDI (2022–2025). He also serves on the advisory board of PACM-PL and on program committees for top venues including POPL, OOPSLA, PLDI, ICSE, and ISSTA. He leads the FastPL research group, which focuses on the design and implementation of programming tools and techniques for reliable software. The group conducts cutting-edge research in compiler testing, formal methods, and high-performance systems, fostering collaboration across academia and industry.

Lin Zhongمشاهده پروفایل

استاد

• Computer Science
• Quantum Computing
• Operating Systems
• +۳ مورد دیگر

Lin Zhong is the Joseph C. Tsai Professor of Computer Science at Yale University, leading the Efficient Computing Lab. He holds a Ph.D. from Princeton University and M.S./B.S. degrees from Tsinghua University. Previously, he served at Rice University from 2005 to 2019. His research focuses on optimizing computing efficiency, quantum error correction, operating systems, and mobile systems. Education: Ph.D., Princeton University M.S., Tsinghua University B.S., Tsinghua University Research Interests: His work spans quantum computing (e.g., decoding algorithms for surface codes), operating systems (safety, correctness, and lightweight kernels), and mobile/networking systems (massive MIMO, energy-efficient designs). Recent trends include integrating large language models (LLMs) into robotics and securing cloud-based AI workflows. Awards: NSF CAREER Award ACM SIGMOBILE RockStar (2014) and Test of Time (2022) Fellowships from IEEE and ACM Best Paper Awards at ACM MobileHCI, IEEE PerCom, ACM MobiSys, and more Lab & Teams: His Efficient Computing Lab explores systems for quantum error correction (e.g., FPGA-based decoders), secure embedded systems, and LLM-driven robotics. Projects include TimelyLLM (real-time LLM serving) and Blindfold (confidential memory management).

Gustavo Faverón Patriauمشاهده پروفایل

استاد

• Latin American Literature
• Contemporary Literature
• Political History
• +۱۲ مورد دیگر

Gustavo Faverón Patriau is Professor and Chair of the Department of Romance Languages and Literatures at Bowdoin College, with affiliations in Latin American, Caribbean, and Latinx Studies and Hispanic Studies. He holds a PhD from Cornell University and has held visiting positions at Stanford University, Middlebury College, and Universidad Cayetano Heredia. His academic work centers on Latin American contemporary literature and political history, with a focus on the limits of visual and linguistic representation, the portrayal of mental illness in narrative, and the writings of Jorge Luis Borges. His research spans literary theory, cultural criticism, and journalistic inquiry, often bridging scholarly and public intellectual spheres. His recent publications reveal a consistent engagement with themes of abjection, memory, trauma, and the philosophical dimensions of narrative. He frequently analyzes canonical and marginal texts through interdisciplinary lenses, drawing on philosophy, visual culture, and historiography. His scholarship often intersects with his creative work, which includes novels and editorial projects that explore similar intellectual terrain. Among his scientific awards and recognitions are being a finalist for the III Vargas Llosa Biennial Novel Prize, receiving accolades from Letras Corsarias and Rockdelux, and being recognized by the Spanish newspaper ABC for his blog Puente Aéreo as one of the most influential in the Hispanic world. He has served on the board of Diacritics , directed literary journals such as Dissidences , La Vaca Multicolor , Somos , and Visto & Bueno , and co-edited major volumes like Bolaño salvaje and Toda la sangre . He regularly presents at international literary festivals and academic conferences, and has conducted numerous interviews and media appearances across Latin America and Europe. His creative and scholarly work has been translated into ten languages, underscoring his transnational impact. He continues to publish prolifically in both academic and literary venues, maintaining a dynamic presence in contemporary Hispanic intellectual life.

Scott McCabeمشاهده پروفایل

استاد

• Social Tourism
• Consumer Behavior
• Responsible and Ethical Tourism
• +۴ مورد دیگر

Scott McCabe is a Professor of Marketing at Birmingham Business School, University of Birmingham. He earned his PhD from the University of Derby in 2001, focusing on visitor motivations in the Peak District National Park, and holds an MA in Leisure and Tourism Studies from the University of North London (1993) and an HND in Leisure Studies from the University of Salford (1991). Current co-editor in Chief of the Annals of Tourism Research Editorial board member of Tourism Management Elected fellow of the International Academy for the Study of Tourism (2019+) His research spans social tourism , responsible tourism , tourist emotions , and socio-linguistic methodology , with significant work on wellbeing outcomes from supported holidays for disadvantaged families. He has contributed to Annals of Tourism Research , Journal of Travel Research , and other top-tier journals. Recent publications address topics like qualitative research sampling , tourism theory , dark tourism motivations , and smart destination engagement . His work combines tourism policy critique , consumer behavior analysis , and methodological innovation . Scientific awards include fellowships and leadership roles in international tourism research committees. He has served as VP for the International Sociological Association's Tourism Research Committee and co-chairs the Academy of Marketing's Tourism Marketing SIG.

Ryan P. Huangمشاهده پروفایل

دانشیار

• Computer Systems
• Operating Systems
• Distributed Systems
• +۷ مورد دیگر

Ryan P. Huang is an Associate Professor in the Computer Science & Engineering department at the University of Michigan, College of Engineering, where he leads the Order Lab. Previously, he was an Assistant Professor at Johns Hopkins CS department from 2017 to 2022. His research focuses on computer systems, particularly operating systems and distributed systems, with emphasis on reliability, efficiency, and defensibility across cloud data centers and mobile devices. Dr. Huang's research interests center on pushing the boundaries of cloud systems availability and observability. His work addresses critical challenges such as gray failures and partial failures in distributed systems, developing principled techniques for failure detection and localization. His research spans multiple thrusts including Panorama for enhanced observability, Watchdog for runtime checking, OmegaGen for partial failure localization, and Narya for predictive failure mitigation. He also investigates energy-efficient mobile systems and system misconfiguration prevention. His recent publications demonstrate a strong trend toward addressing silent failures in distributed systems, with multiple papers accepted to top-tier conferences including SOSP and OSDI in 2025. His work bridges theoretical principles with practical system implementations, focusing on real-world challenges in cloud infrastructure and distributed computing environments. NSF CAREER award recipient Multiple Best Paper Awards (OmegaGen, Argus, LeaseOS) CRA Outstanding Undergraduate Researcher Award honorable mentions for advisees Dennis Ritchie doctoral dissertation award honorable mention Dr. Huang actively mentors PhD students including Yuzhuo Jing, Wanning He, Yuxuan Jiang, and others. His lab has produced graduates who have gone on to faculty positions at institutions like University of Virginia and Boston University. He serves on program committees for major systems conferences including SOSP, OSDI, and NSDI, contributing significantly to the academic community. The Order Lab maintains active research collaborations and regularly publishes in top-tier venues, with multiple papers accepted to SOSP and OSDI in 2025.

• Medical Sociology
• Science and Technology Studies
• Environmental Sociology
• +۴ مورد دیگر

Sara Shostak is a Professor of Sociology and Health: Science, Society & Policy at Brandeis University, where she also serves as the inaugural director of the Vic '63 and Bobbi Samuels '63 Center for Community Partnerships and Civic Transformation (COMPACT). Her work bridges sociology, public health, and environmental studies, focusing on health inequalities, urban agriculture, and community partnerships. She holds affiliations across multiple departments including the Heller School for Social Policy and Management, Women’s, Gender, and Sexuality Studies, and Environmental Studies. Shostak earned a Ph.D. from the University of California, San Francisco, an M.P.H. from UCLA, and a B.A. from Reed College. Her research emphasizes interdisciplinary approaches to understanding how social structures and environmental factors shape health outcomes, particularly through projects involving marginalized communities and stakeholders like farmers, healthcare providers, and policymakers. Her research interests include medical sociology, science and technology studies, environmental racism, and food justice. She has pioneered studies on urban agriculture’s role in addressing health inequities and explored ethical dimensions of genetic testing in epilepsy families. Her work often integrates community engagement and participatory methods to ensure research impacts policy and practice. Awarded the Eliot Freidson Outstanding Publication Award and the Robert K. Merton Book Award, Shostak has secured grants from the National Science Foundation, Robert Wood Johnson Foundation, and Merck Family Fund. Her teaching innovations have been recognized with the Michael L. Walzer '56 Award for Teaching. She leads COMPACT to foster civic engagement and partnerships between Brandeis and local communities, emphasizing transformative change through collective action.