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

Holger Patzeltمشاهده پروفایل

استاد

• Entrepreneurial Decision-Making
• Strategic Entrepreneurship
• Entrepreneurial Failure
• +۳ مورد دیگر

Prof. Holger Patzelt is a full professor at the TUM School of Management, specializing in entrepreneurship. He joined TUM in 2010 and focuses on entrepreneurial decision-making, strategic entrepreneurship, and the psychological and economic consequences of failure. He holds dual doctorates in molecular biology and business administration, with additional education from TUM, the University of Karlsruhe, FernUniversität Hagen, and the University of Bamberg. His career includes roles at the Max Planck Institute of Economics and the European Business School. Patzelt teaches entrepreneurship across undergraduate, graduate, and executive programs, emphasizing topics like entrepreneurial motivation, sustainability, and technology ventures. He has received multiple awards for his research, including the Wesley J. Howe Award (2008) and the Fürth Ludwig Erhard Prize (2007). His work spans over 100 publications in top journals like Journal of Management and Entrepreneurship Theory and Practice . Patzelt leads research initiatives at the TUM Entrepreneurship Research Institute, collaborating with global institutions and fostering innovation through projects like the BEST Entrepreneurial Team Project series. His research also explores social entrepreneurship and venture resilience, particularly in crises like the German refugee situation. Patzelt advises startups and contributes to entrepreneurship education programs, including initiatives in prison environments. Education : Chemistry studies at TUM and University of Karlsruhe PhD in Molecular Biology (University of Heidelberg) PhD in Business Administration (University of Bamberg) Research Interests : Entrepreneurial cognition and decision-making Strategic entrepreneurship and venture growth Social entrepreneurship and sustainable development Failure dynamics and recovery strategies Awards : Best Reviewer Award, Entrepreneurship: Theory & Practice (2012) Wesley J. Howe Award (2008) Haarmann Prize (2007) Grants & Labs : Recipient of TUM Research Excellence Award Leads the TUM Entrepreneurship Research Institute Pioneers the BEST project series on entrepreneurial teams

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

مدرس ارشد

• Computer Science Education
• Functional Programming (OCaml)
• Formal Verification
• +۳ مورد دیگر

Michael Clarkson is a Senior Lecturer and Interim Director of Undergraduate Studies (DUS) in the Department of Computer Science at Cornell University. He is a teaching-track faculty member known for his open-source textbook on OCaml programming and his YouTube channel with over a million views. His research interests include functional programming, formal verification, computer security, and innovative teaching methodologies. He has taught over 6,000 students and received Cornell’s highest annual teaching award for teaching-track faculty in 2022. His roles include serving on the Cornell Faculty Senate and advising the Dungeons & Dragons at Cornell club. Clarkson’s academic contributions extend to cybersecurity, election verifiability, and secure voting systems (e.g., Du-Vote ). He has published extensively on topics like hyperproperties, cryptographic protocols, and software security. He advocates for active learning strategies and equitable education practices, emphasizing student belonging and reducing achievement gaps. His work bridges theoretical computer science with practical teaching innovations, reflecting his dedication to both research and pedagogy.

Tony Ciochettiمشاهده پروفایل

استاد

• Commercial mortgage credit risk
• Role of real estate within pension plan portfolios
• ESG and its role in the built environment
• +۳ مورد دیگر

Dr. Tony Ciochetti holds the Elmo James Burke Jr. Chair in Real Estate Finance and Development and serves as Executive Director of the Embrey Real Estate Finance and Development Program at UTSA's Carlos Alvarez College of Business. Previously, he chaired MIT's Center for Real Estate as the Thomas G. Eastman Chair and directed UNC-Chapel Hill's Center for Real Estate Development. His academic credentials include: B.A. in Finance, University of Oregon M.S. in Real Estate and Urban Land Economics, University of Wisconsin-Madison Ph.D. in Real Estate and Urban Land Economics, University of Wisconsin-Madison Dr. Ciochetti's research pioneers commercial mortgage risk analysis, pension fund real estate allocation strategies, and ESG integration in built environments. His work bridges theoretical finance with practical real estate applications, examining international market dynamics, sustainable investment frameworks, and credit risk modeling across diverse economic contexts. His publication trajectory (2000-2015) reveals evolving expertise from foundational commercial mortgage studies to contemporary sustainable real estate research. Early work focused on default risk modeling and pension fund allocation, while later research addressed carbon markets and energy efficiency, demonstrating consistent methodological rigor through proportional hazards models and international market analysis. Recognition includes: Academic Fellow of the Real Estate Research Institute As program director and frequent executive educator, Dr. Ciochetti shapes industry practice through board positions at commercial real estate firms and consulting engagements with investment banks and rating agencies. His curriculum development spans MIT, Cambridge University, and Penn, emphasizing real-world application in asset management and securitization. Global impact characterizes his career through founding Cambridge University's real estate program, six years as Senior Visiting Professor there, and teaching engagements across Asia, Africa, Europe, and the Middle East. He remains active in journal editorial boards and industry associations including the Real Estate Research Institute's Advisory Board.

Satish Narayanasamyمشاهده پروفایل

استاد

• Computer Architecture
• Trusted Hardware
• Program Analysis
• +۵ مورد دیگر

Satish Narayanasamy is a Professor in the Department of Computer Science and Engineering at the University of Michigan. His research focuses on the intersection of computer architecture, trusted hardware, and program analysis, with particular emphasis on genome sequencing and health analytics. He holds the Morris Wellman Faculty Development Professorship and has received NSF CAREER, ASPLOS, and ISPASS best paper awards, among others. Education: Ph.D. in Computer Science from the University of California, San Diego, advised by Brad Calder. Prior industry experience includes roles at Intel and Microsoft Research, and co-founding the precision health startup Sequal Inc. Research Interests: Accelerated genomics systems, confidential computing using trusted hardware (e.g., SGX), optimistic hybrid analysis for software monitors, and scalable secure hardware design. Projects include GenDP for genome sequencing acceleration, InvisiPage for secure enclaves, and Iodine for dynamic taint tracking. Scientific Awards: NSF CAREER Award ASPLOS Best Paper Award Four IEEE MICRO Top Picks Awards ISCA/ASPLOS/PLDI Hall of Fame Advising & Grants: PhD advisees: Tim Dunn, Joy Dong, Jonah Rosenblum Alumni: Dongyoon Lee, Jie Yu, Abhayendra Singh Funding: NSF MACSS Scholars, SHF grants for genomics computing Labs/Teams: Leading research in accelerated genomics and confidential computing through collaborations with industry and academia. Key tools developed include PinPlay, GenomicsBench, and SquiggleFilter.

• Theatre phenomenology
• Performance analysis
• Intercultural performance education
• +۳ مورد دیگر

Dr. Daniel Johnston is an Honorary Associate in the Discipline of Theatre and Performance Studies at the University of Sydney. His academic journey includes roles as Principal Lecturer at Sheffield Hallam University and teaching stints at institutions like NIDA and Macquarie University. He holds a PhD in Performance Studies from the University of Sydney and an MA in Philosophy from the University of Cambridge. Education: BA, Macquarie University BA (Honours), Sydney MA/BA, Cambridge PhD, Sydney Research Interests: Phenomenology in theatre and performance Shakespearean embodiment and dramatic theory Intercultural performance education Performance analysis methodologies His work bridges philosophy, pedagogy, and practice, with a focus on how embodied experience shapes theatrical creation. Recent Trends in Publications: His research explores intersections between phenomenology and performance, including groundbreaking studies on Shakespearean time, Ibsen's ethics, and the role of breath in post-pandemic theatre. Recent works like Phenomenology for Actors (2021) and Theatre and Phenomenology: Manual Philosophy (2017) establish his reputation as a theorist redefining performance studies. Awards and Honors: 2022 Honorary Virtual Fellowship (ARC Centre) 2013 Excellence in Teaching Award (Sydney) 2000-2002 Cambridge Commonwealth Trust Fellowship Grants and Projects: 2022: 'Performing Citizenship' (Macquarie University) 2017: Sheffield Hallam QR grants on theatre phenomenology 2010: Macquarie University funding for intercultural performance research Labs/Teams: Collaborations include work with Eva Anagnostou at Macquarie's Centre for Ancient Culture, Heritage and Environment, and interdisciplinary projects linking philosophy with performance practices.

• Grid Computing
• Distributed Systems
• Cloud Computing
• +۷ مورد دیگر

João Nuno De Oliveira e Silva is an Assistant Professor at the Department of Informatics at Instituto Superior Técnico, University of Lisbon. He teaches Concurrent Programming, Systems Programming, and related courses during the 2024/2025 academic semester. His research focuses on distributed systems, grid computing, cloud computing, and cybersecurity, with notable contributions to secure dataflow programming for Android applications, blockchain-based agent collaboration, and distributed computing frameworks like NuBOINC. His work emphasizes parallel execution environments, resource efficiency in dataflow models, and secure middleware solutions for bags-of-tasks. Key research themes include: Grid and distributed computing architectures Secure distributed applications (e.g., SGX enclave migration, anti-repackaging systems) Cloud infrastructure optimization (A2Cloud, geo-replication QoS) Autonomous agent systems for internet routing domains Biometric authentication for legacy systems Automated biological monitoring systems Notable projects include Flowverine (privacy-sensitive Android apps), TEEnder (SGX enclave migration), and Mercury (automatic parallelization middleware). His work bridges theoretical computer science with practical implementations in distributed and cloud environments. He has collaborated on over 30 publications since 2017, focusing on both foundational research and applied systems development. His teaching and research emphasize hands-on experience with modern distributed computing challenges.

Cédric Pellenمشاهده پروفایل

مدرس

• Political Science
• Political Representation
• Transnational Politics
• +۷ مورد دیگر

Cédric Pellen is a Lecturer in Political Science at the University of Strasbourg, affiliated with the SAGE laboratory (Sociétés, acteurs, gouvernement en Europe). He also serves as Director of the University Center for Journalism Education (Cuej), contributing to both academic and professional training in journalism and political analysis. Position: Lecturer in Political Science Institution: University of Strasbourg Research Laboratory: SAGE Administrative Role: Director, University Center for Journalism Education (Cuej) His research focuses on political representation, transnational politics, and the dynamics of political movements in Central and Eastern Europe and among diasporas. Key interests include extraterritorial citizenship, electoral defeat, and the political engagement of French expatriates. His work often intersects with the study of populism, social movements, and post-communist transitions, particularly in Poland. The recent publications of Cédric Pellen reflect a strong trend in comparative political science, emphasizing transnational electoral dynamics, diaspora representation, and the evolution of political movements in post-communist contexts. His work combines qualitative case studies with institutional analysis, often focusing on France and Poland. The recurring themes include the personalization of politics, the impact of electoral defeat, and the transformation of grassroots activism into formal political power. He has not been publicly awarded any scientific prizes or fellowships. Cédric Pellen has not published information on advising students or securing research grants. However, his co-editorship of volumes and extensive collaborative research suggest active participation in academic networks and research projects. His leadership at Cuej indicates involvement in educational programming and institutional development within journalism and political science education. He is affiliated with the SAGE laboratory, a research unit focused on societies, actors, and governance in Europe. This interdisciplinary environment supports his work on political institutions, representation, and European integration, particularly through structured research axes such as 'Field of Power and Representation.'

Alexis Hervais-Adelmanمشاهده پروفایل

پژوهشگر

• Neuroscience
• Language Processing
• Multilingualism
• +۷ مورد دیگر

Dr. Alexis Hervais-Adelman is a Group Leader at the Dynamics of Brain and Language Lab, Faculty of Medicine, University of Geneva. His research centers on the neural mechanisms of language, including speech perception, multilingualism, and the evolutionary origins of human language. Research Interests: His work spans neuroscience, cognitive science, linguistics, and neuroimaging . He investigates how the brain processes speech in challenging environments, the role of the motor system in perception, and how multilingual experience shapes brain structure and function. A key focus is prenatal language development and its implications for language evolution. Publication Trends: His recent publications (2023–2025) emphasize in utero language exposure, auditory cortex anatomy in multilinguals, and co-activation in simultaneous interpreters, reflecting a strong interdisciplinary approach combining evolutionary theory, developmental neuroscience, and cognitive linguistics. Scientific Awards: No awards are mentioned in the provided text. Advising and Grants: He leads a research lab with postdocs (Christopher Ritter, Sophie Slaats), doctoral students (Martina Dordijevic), and staff (Enrico Varano). His research is supported by major grants, including from the Swiss National Science Foundation (SNSF) and the Wellcome Trust, notably as part of the NCCR Evolving Language program. Labs and Teams: He directs the Dynamics of Brain and Language Lab at Campus Biotech, Geneva, and is an integral member of the NCCR Evolving Language consortium, fostering collaborative research on the origins and evolution of human language.

• International Economics
• Economics of Migration
• SME Internationalization
• +۱۲ مورد دیگر

Catherine Mercier-Suissa is a Professor of Economics at iaelyon School of Management, Jean Moulin University Lyon 3, where she conducts research and teaches in international economics and migration policy. She is affiliated with the Magellan Laboratory and leads the thematic research team on International Management. She currently coordinates the H2020 MERGING project on migrant integration and serves as educational manager for the DU Passerelle program for students in exile. Her research focuses on international economics, particularly Chinese direct investment in Europe, SME internationalization, offshoring and relocalization, and migration policies. She has directed major academic programs including the Master in Foreign Trade and has contributed extensively to policy debates through public engagement and applied research. Her recent publications and media contributions highlight a strong thematic trend in business relocation, integration of people in exile, and social innovation. Articles and podcasts analyze the economic and social dimensions of relocalization in France and the role of housing in refugee integration, reflecting her dual expertise in international business and migration studies. Coordinator, MERGING Project (H2020) on migrant integration Educational Manager, DU Passerelle for students in exile Director of External Relations and Executive Education (2018–2023) Member, CNU Section 05 (Economic Sciences) She has supervised numerous academic programs and initiatives, including the VAE (Validation of Acquired Experience), the BMA module on volunteering and association management, and international double-degree programs with Turin and Budapest. She has also conducted consulting studies for SMEs on international expansion and relocalization in France. She is affiliated with the Magellan Laboratory @iaelyon and leads research in organizational management, particularly in international strategies and social innovation. Her work bridges academic research and public policy, contributing to both scholarly and societal debates on economic and migratory challenges in Europe.

Guido Salvaneschiمشاهده پروفایل

استاد

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

Guido Salvaneschi is a Professor at the School of Computer Science , University of St. Gallen, leading the Programming Group . His work bridges Programming Languages and Software Engineering with applications in Distributed Systems, Reactive Programming, and Secure Software Systems. Research Interests Dr. Salvaneschi focuses on: Multitier Programming Languages Consistency Models in Distributed Systems Reactive Programming for HPC and IoT Secure Software Development with Trusted Execution Environments Recent Publications Trends His recent work spans Infrastructure as Code testing ( CONFLANG ), consistency verification ( POPL ), and CRDT-based local-first software ( TSE journal ). Key themes include hybrid consistency enforcement, type-safe distributed abstractions, and automated verification of algebraic properties. Committee Roles ICSE 2026: Research Track Committee POPL 2025: Reviewer ‹Programming› 2025: Steering Committee Chair ISSTA 2025: Program Committee

• Cryptography
• Formal Verification
• Security
• +۷ مورد دیگر

Markulf Kohlweiss is a Senior Lecturer in the Security and Privacy research group at the School of Informatics, University of Edinburgh. He leads the Edinburgh ZK-Lab and conducts interdisciplinary research at the intersection of formal verification, cryptography, and privacy-enhancing technologies, with applications in blockchain systems and secure communication protocols. University: University of Edinburgh School: School of Informatics Department: Security and Privacy research group Academic Rank: Senior Lecturer His research focuses on the design and verification of cryptographic protocols, particularly in privacy-preserving systems, zero-knowledge proofs, and blockchain technologies. He is known for his work on the miTLS and Project Everest initiatives, which aimed to build formally verified implementations of the TLS protocol. His recent work includes foundational contributions to zk-SNARKs, anonymous credentials, and secure smart metering. The trends in his recent publications indicate a strong emphasis on formal verification of real-world protocols, privacy-preserving blockchain designs (e.g., Ouroboros Crypsinous), and the development of composable, reusable cryptographic primitives. His work bridges theoretical cryptography with practical implementation, often using the F* programming language for verification. Levchin Prize for Real-World Cryptography (for work on miTLS and Project Everest) Markulf Kohlweiss mentors several PhD students and has been supported by research grants from IOHK and Microsoft Research. He has served on the program committees of top security conferences including CRYPTO, EUROCRYPT, IEEE S&P, and CCS. He is also actively involved in open-source verified software projects such as HACL* and EverCrypt. He co-leads Project Everest, whose verified components are deployed in systems used by billions, including Windows, Linux, and Firefox. He directs the Edinburgh ZK-Lab, a research group dedicated to advancing zero-knowledge proof systems and their applications in decentralized systems and identity management. The lab collaborates with industry and academic partners on high-assurance cryptographic software.

• Database Systems
• Privacy-Preserving Technologies
• Trusted Execution Environments
• +۵ مورد دیگر

Nicolas Anciaux is a Professor at the French Institute for Research in Computer Science and Automation (INRIA), specializing in privacy-preserving data management systems. His research focuses on developing secure and privacy-respecting technologies for personal data management, with particular expertise in trusted execution environments, data minimization techniques, and privacy-by-design approaches. He has established himself as a leading researcher through numerous publications in top-tier venues including VLDB, SIGMOD, and EDBT, with a publication record spanning over two decades from 2001 to 2025. Dr. Anciaux completed his PhD in 2004 with a thesis on 'Database Systems on Chip' and his habilitation in 2014 on 'Privacy-respecting personal data management,' both from Versailles Saint-Quentin-en-Yvelines University. His academic journey shows a clear evolution from secure chip database management systems to comprehensive personal data protection frameworks. His research interests encompass database security, privacy-preserving technologies, trusted execution environments, personal data management systems, and privacy-by-design solutions. Anciaux's work uniquely bridges theoretical foundations with practical implementations, focusing on how individuals can maintain control over their personal data while still benefiting from data-driven services. His recent work has expanded into the intersection of privacy technologies with edge computing and large language models, addressing emerging challenges in these rapidly evolving domains. Analysis of his recent publications (2023-2025) reveals a strong focus on practical privacy-enhancing technologies that balance functionality with security. His work increasingly addresses the challenges posed by large language models and their privacy implications, while maintaining his longstanding expertise in secure database systems. Key themes include data minimization techniques, membership inference attack prevention, secure personal data processing at the network edge, and privacy-preserving frameworks for textual data processing. Dr. Anciaux has received recognition for his contributions to privacy-preserving database technologies, though specific awards aren't detailed in the available information. His work has influenced both academic research and practical implementations in secure data management. He has maintained long-term collaborations with researchers including Luc Bouganim (30 publications), Philippe Pucheral (41 publications), Iulian Sandu Popa (14 publications), Benjamin Nguyen (13 publications), and Guillaume Scerri (9 publications), suggesting leadership in a research group focused on secure data management. His Minimum Exposure Project demonstrates his commitment to practical privacy solutions that limit data collection in online forms. His laboratory work has focused on building practical implementations of privacy-preserving technologies, including the MILo-DB personal database system, GhostDB for secure querying, and Edgelet computing frameworks. These projects demonstrate his commitment to translating theoretical privacy concepts into usable technologies that can be deployed in real-world scenarios, including medical applications and smart city environments.

Jan Münchمشاهده پروفایل

مدرس

• Digital Transformation
• Innovation Management
• Information Systems
• +۲ مورد دیگر

Jan Münch is an External doctoral candidate and Lecturer at the Chair of Information Systems and Management within the Faculty of Business and Economics at the University of Augsburg, affiliated since May 2022. He teaches Bachelor-level Electronic Commerce and supervises master theses, integrating academic rigor with industry-derived insights from his corporate innovation experience. His academic foundation includes Bachelor's and Master's degrees in Business Administration from the University of Augsburg, specializing in 'Strategy and Information.' Key milestones include: Bachelor thesis: 'Entry strategies for platform-based markets in the age of digitization' Master thesis: 'The impact of corporate entrepreneurship on dynamic capabilities' Research centers on digital transformation of organizations, with deep focus on Digital Innovation Units and how corporate entrepreneurship initiatives (e.g., corporate labs) enhance digital dynamic capabilities. His work examines platform-based market entry strategies, digital innovation ecosystems, and organizational agility in digitized environments, reflecting a practitioner-scholar approach. Recent publications address critical IS challenges: the 2023 AMCIS paper explores social dynamics of information credibility on digital platforms, while the 2021 work clarifies foundational terminology in digital transformation research. Collectively, these contributions advance understanding of behavioral and organizational dimensions in information systems. As a thesis supervisor, he guides master's students in digital innovation research within the Faculty of Business and Economics. His industry background includes pivotal roles at Andreas Schmid Group—Operations Manager (driving Corporate Innovation Lab creation) and authorized officer (leading digitalization, startup investments, and new digital business units)—providing applied context for academic work. Embedded in Prof. Veit's research team, Münch collaborates on digital innovation projects while leveraging his industry experience in corporate labs. This dual perspective uniquely informs his investigation of how Digital Innovation Units catalyze organizational transformation, positioning him at the intersection of academic theory and corporate digital strategy execution.

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

دانشیار

• Applied Cryptology
• Embedded systems security
• Secure computer architecture
• +۷ مورد دیگر

Thomas Eisenbarth is an Affiliate Associate Professor in the Department of Electrical and Computer Engineering at Worcester Polytechnic Institute (WPI), with a collaborative appointment in the Department of Computer Science. Since August 2017, he has also served as a Professor at the Institute for IT Security, University of Lübeck, Germany. His research spans applied cryptology, embedded systems security, side-channel analysis, and cloud security. Ph.D. in ECE, Ruhr University Bochum, Germany Former researcher at Center for Cryptology and Information Security (CCIS), Florida Atlantic University Member of Horst Görtz Institute for IT Security (HGI) during doctoral studies His research focuses on applied cryptology , secure computer architecture , side-channel and physical attacks , and cloud and virtualization security . He leads research efforts in identifying and mitigating microarchitectural vulnerabilities, particularly in cryptographic implementations. His work is closely tied to the Vernam Group at WPI. The most recent publications highlight trends in cache-based side-channel attacks , particularly in cloud and trusted execution environments (e.g., SGX). His research demonstrates practical attacks on cryptographic implementations, including false dependency exploits and cross-VM leakage, while also proposing countermeasures like CacheShield and MASCAT. The recurring themes include microarchitectural vulnerabilities , hardware-software interaction risks , and privacy threats in virtualized environments . Scientific contributions and recognitions include: Best Paper Award, CHES 2008 Editor, Springer’s Journal of Cryptographic Engineering Guest Editor, IEEE Embedded Systems Letters Special Issue on Embedded System Security General Co-Chair: CARDIS 2020, CARDIS 2021, CHES 2013 TPC Co-chair: CARDIS 2017, SPACE 2017, LightSEC 2014, WESS 2013 PC Member: USENIX Security, IEEE S&P, CRYPTO, EuroCRYPT, and others Thomas Eisenbarth has advised and collaborated with numerous researchers and students, many of whom are co-authors on his publications. His service includes extensive editorial and conference leadership roles. He has not received major grants explicitly mentioned in the text, but his sustained publication record and leadership suggest active funding. He is involved in promoting research exchanges with Europe, particularly Germany, through DAAD, DFG, and Fulbright programs. His research lab, the Vernam Group , focuses on practical side-channel analysis, secure hardware design, and cryptographic implementations. The team works on both offensive techniques (e.g., cache attacks) and defensive mechanisms (e.g., masking, threshold implementations). They utilize FPGA platforms, cloud environments, and embedded systems to evaluate real-world security.

• Secure Systems
• Operating Systems
• Distributed Systems
• +۵ مورد دیگر

Nickolai Zeldovich is the Joan and Irwin M. (1957) Jacobs Professor of Electrical Engineering and Computer Science at MIT and a member of the Computer Science and Artificial Intelligence Laboratory (CSAIL). His research focuses on building practical secure systems through the integration of formal methods with real-world system design. His research interests span secure systems, operating systems, distributed systems, formal verification, and cryptography. Recent work emphasizes automated reasoning for distributed system liveness, leakage-free hardware security modules, and privacy-preserving web technologies. Projects include CryptDB (encrypted databases), FSCQ (verified file systems), Algorand (cryptocurrency), and Vuvuzela (private messaging). His publication trends show consistent output in formal verification of distributed systems (Shipwright, Grove), hardware security (K2 Architecture), and privacy technologies (Tiptoe). Recent work increasingly combines theoretical verification with practical implementation constraints. Best Paper Awards at ACM SOSP (2013, 2015, 2017) Sloan Research Fellowship (2010) NSF CAREER Award (2011) MIT EECS Jamieson Award for Excellence in Teaching (2024) ACM SIGOPS Mark Weiser Award (2017) Amazon Research Award (2023) He advises PhD students through the PDOS research group with active grants from Amazon, Google, NSF, and DARPA. His teaching includes core courses like Computer Systems Security and Operating System Engineering, emphasizing hands-on security analysis. The PDOS lab maintains strong industry connections with multiple startup spin-offs and regular technology transfer to production systems. He leads the PDOS (Parallel and Distributed Operating Systems) Research Group, which focuses on building verified, secure, and high-performance systems through close collaboration between theory and practice.