Find Academic Supervisors

• Medieval Music
• Digital Musicology
• Music before 1600
• +7 more

Stefan Morent serves as Professor of Musicology with a focus on Digital Musicology and Music before 1600 at the Musicological Institute of the University of Tübingen's Faculty of Philosophy. Since October 2023, he has held the position of Pro-Dean for Studies, Teaching, and Digital Affairs. His academic career spans international research collaborations and leadership roles in major digital humanities projects. Morent earned his doctorate in 1995 from the University of Tübingen, followed by his habilitation in 2004 with the thesis "Das Mittelalter im 19. Jahrhundert. Ein Beitrag zur Kompositionsgeschichte in Frankreich." His educational background includes studies in Musicology (primary), Romance Studies, and Computer Science at Tübingen, recorder performance at Trossingen University of Music, and historical performance practice with Kees Boeke. His research spans medieval music, its performance practice and reception, Renaissance music theory, regional Southwest German music history, 19th-century French music, and Digital Musicology. Morent has pioneered work on digital encoding of neumatic notation, virtual acoustic reconstruction of medieval sacred spaces, and the study of liturgical music fragments. His interdisciplinary approach bridges musicology, computer science, and archival studies. His recent publications demonstrate a consistent focus on digital methodologies applied to medieval music sources, particularly liturgical fragments and neumatic notation. The articles reveal growing emphasis on virtual reconstruction techniques, collaborative digital tools like MEI (Music Encoding Initiative), and interdisciplinary approaches combining musicology with archaeology and computer science. Classical Music Award 'Golden Label' DFG Research Scholarship Habilitation Scholarship from Graduate School 'Ars and Scientia' Doctoral Scholarship from State Graduate Funding Baden-Württemberg Research Fellowship from Herzog August Library Wolfenbüttel Morent has supervised numerous doctoral and master's theses across disciplines, including collaborations with computer science students on digital tools for music encoding. His third-party funding includes major projects like 'Sacred Space: eHeritage and Virtual Acoustics' (ongoing), 'Digital Erschließung mittelalterlicher Musikfragmente' (DFG, 2017-2022), and multiple grants from the University of Tübingen's Zukunftskonzept. He maintains active partnerships with institutions including St. Gallen Abbey Library, Max Planck Institutes, and Swiss cultural foundations. As director of the Schola Cantorum at Tübingen's Musicological Institute and founder of the Ordo Virtutum ensemble, Morent bridges academic research and performance practice. His leadership extends to the 'Sacred Sound' research group and collaborations with the Collaborative Research Center 'Material Text Cultures.' Current projects focus on virtual acoustic reconstruction of medieval sacred spaces and digital encoding of neumatic notation systems.

Christine SmithView profile

Professor

• Architectural History
• Early Christian Architecture
• Medieval Architecture
• +4 more

Christine Smith is the Robert C. and Marian K. Weinberg Professor of Architectural History at Harvard University’s Graduate School of Design (GSD), Department of Architecture. She specializes in Early Christian, Medieval, and Italian Renaissance/Baroque architecture. Her research explores architectural descriptions, liturgical spaces, and the intersection of architecture with ethics, aesthetics, and literary culture. Education: BA (Vassar College, 1966), MA (NYU Institute of Fine Arts, 1968), PhD (NYU, 1975) with a dissertation on the Baptistery of Pisa. Her teaching spans Early Christian architecture, Tuscan Romanesque, Leon Battista Alberti, and courses on Michelangelo, Saint Peter’s Basilica, and Boston’s Gilded Age architecture. Research highlights include a 2019 book translating Maffeo Vegio’s text on Old St. Peter’s Basilica, accompanied by digital reconstructions. Her current project investigates the experience of wonder in architecture across 23 centuries, using primary sources to trace societal perceptions of awe-inspiring buildings. She collaborates with scholars like Joseph O’Connor on architectural historiography and translation projects. Notable publications include Architecture in the Culture of Early Humanism (1992), Retrospection: Baccio Bandinelli and the Choir of Florence Cathedral (1997), and articles on Alberti’s theories, Byzantine poetics, and Pisan cathedral design. She has curated interdisciplinary events, such as Sounds of Medieval Cluny , blending musicology, architecture, and art history. Her work bridges historical analysis with contemporary relevance, emphasizing architecture’s role in cultural narratives and ethical discourse.

David Van HornView profile

Associate Professor

• Programming Languages
• Formal Methods
• Software Engineering
• +3 more

David Van Horn is an Associate Professor in the Department of Computer Science and UMIACS at the University of Maryland, College Park. His research focuses on programming languages, formal methods, and security, with an emphasis on making software components reusable and trustworthy. He holds academic appointments in both Computer Science and UMIACS and is a co-author of Realm of Racket , an educational book on programming video games co-written with undergraduates. Education: PhD in Computer Science, Brandeis University, 2009 MA and BS in Computer Science, University of Vermont, 2004-2006 Research Interests: His work centers on program analysis, verification, static analysis, and security. He develops techniques to bridge scripting languages and formal verification, aiming to improve software reliability. Recent projects include gradual typing, contract verification, and program synthesis tools like RbSyn and Absynthe. Awards: He has received prestigious recognitions, including the NSF CAREER Award (2019), ICFP Most Influential Paper Award (2020), and OOPSLA Distinguished Paper Award (2018). His work on Abstracting Abstract Machines (2010) influenced static analyses for languages like JavaScript and Erlang. Service and Mentoring: Van Horn serves on the SIGPLAN Programming Languages Mentoring Workshop steering committee and advises Technica, the world’s largest hackathon for underrepresented genders. He mentors PhD students in areas like gradual verification and security. Labs and Teams: He directs the Programming Languages at UMD (PLUM) Lab with Prof. Mike Hicks, focusing on foundational and applied research in programming languages and verification.

Richard SaveryView profile

Research Fellow

• Artificial Intelligence
• Robotics
• Human-Robot Interaction
• +3 more

Richard Savery is an Honorary Research Fellow at Macquarie University's Faculty of Arts, affiliated with the Performance and Expertise Research Centre and the Centre for Applied Artificial Intelligence. His work bridges artificial intelligence, robotics, and music, focusing on creative interactions and trust-building through robotic musicianship. He holds a PhD in Music Technology from Georgia Institute of Technology (2021) and a Master's from UC Irvine. Key roles include developing the NSF-funded Keirzo rapping/drumming robot and publishing the edited book Sound and Robotics (2023). Research interests include emotional musical prosody, human-robot collaboration, and robotic performance. Notable projects include Shimon the singing robot and IVF sonification. Awards include a GANG Award (2015) for game audio. Active in interdisciplinary collaborations, he has composed music for films, ads, and video games, including Gunman Taco Truck and Gathering Sky . His work spans academic grants ($800k NSF-NRI grant), industry partnerships, and public installations like the Un[contained] Arts Festival's beehive exhibit. Over 50 publications highlight his contributions to robotics, music tech, and AI ethics.

Josslyn Jeanine LuckettView profile

Assistant Professor

• Media Studies
• Cinema Studies
• Africana Studies
• +11 more

Josslyn Jeanine Luckett is Assistant Professor in the Department of Cinema Studies at the Tisch School of the Arts, New York University. She is also affiliated faculty of NYU's Asian Film and Media Initiative. Her interdisciplinary background bridges film, Africana studies, ethnic studies, and theology, positioning her at the forefront of critical media scholarship. Her educational journey includes a PhD in Africana Studies from the University of Pennsylvania, an MFA in Dramatic Writing from NYU/Tisch School of the Arts, an MDiv from Harvard Divinity School, and a BA in Ethnic Studies from the University of California, Berkeley. Luckett’s research centers on media studies, jazz and improvisation, and comparative Ethnic Studies, with a focus on race, media, and social justice. She investigates representations of Afrodiasporic spiritual practices in film and television and is currently working on a book project about the pre-history of the L.A. Rebellion through the lens of UCLA’s Ethno-Communications Program. Her scholarship appears in Film Quarterly , Public Books , World Records Journal , Rebel Musics , and the Los Angeles Times . Her creative work includes writing the teleplay for the MTV Original Movie Love Song and serving on the writing staff of Ava DuVernay’s Queen Sugar for its seventh season. Her recent appointment to the National Film Preservation Board of the Library of Congress underscores her national impact in film preservation and scholarship. Fellow, Sundance Institute Screenwriters and Playwrights Labs Fellow, Film Independent Directing Lab Member, Macondo Writers Workshop Member, Writers Guild of America (since 1998) Luckett has mentored emerging writers through institutional and creative affiliations. While no formal advisees are listed, her role as a professor and creative practitioner involves significant guidance to students. She has not received direct grant mentions in the text, but her fellowships and editorial roles indicate sustained research support. She contributes to the academic and cultural mission of NYU through her teaching, research, and public engagement.

• Artificial Intelligence
• Curriculum and Pedagogy
• Control Engineering
• +6 more

Dr. Anthony Bartel is an Adjunct Industry Fellow at the School of Social Sciences, Media, Film and Education, Swinburne University of Technology. He teaches Physics, Electronic Instrumentation, and Multimedia Technology to undergraduate and postgraduate students across science, engineering, games, and multimedia disciplines. He has coordinated multiple subjects and courses in these areas. His educational background includes an undergraduate major in Physics, a Master's involving instrumentation for balloon-borne x-ray astronomy, and a PhD in neutron physics instrumentation development. Undergraduate: Physics Master's: Instrumentation for Balloon-Borne Astronomical X-Ray Observatory PhD: Instrument Development for Neutron Physics Experiments Dr. Bartel's research spans Artificial Intelligence, Curriculum and Pedagogy, Control Engineering, Mechatronics, Robotics, and Music Education Technology. His work emphasizes the use of AI and serious games to enhance deliberate music practice and self-regulated learning. He explores feedback models, incentive systems, and progression design in mobile music games to improve educational outcomes. His recent publications (2010–2021) demonstrate a strong trend toward integrating AI with music education, particularly in generating adaptive sight-reading exercises and analyzing percussive sounds. The research bridges computer science, education, and acoustics, focusing on intelligent tools for music practice and systematic sound description. He is available to supervise PhD students and has previously supervised doctoral research in intelligent music tools and percussive audio lexicons. Intelligent Tools for Deliberate Music Practice: Evolving Targeted Sight Reading Exercises (2015–2019) The Percussive Audio Lexicon (2014–2015) Dr. Bartel has not received any publicly listed scientific awards. His teaching and research are supported through institutional roles and collaborative projects in educational technology and instrumentation. He is involved in interdisciplinary teams working on serious games for music education and AI-driven learning systems, contributing expertise in instrumentation, signal processing, and pedagogical design.

Ellen WilesView profile

Senior Lecturer

• Creative Writing
• Literary Anthropology
• Live Literature Events
• +4 more

Dr. Ellen Wiles is a Senior Lecturer in Creative Writing at the University of Exeter, where she combines academic research with literary practice. Her interdisciplinary work bridges anthropology, law, and environmental studies, creating innovative ethnographic narratives through both written and audio formats. Current Artist-in-Residence at CREWW (2024) Previously taught at Queen Mary University of London, City Lit, and The British Library Legal background in human rights law at 39 Essex Chambers (2007-2014) Research focuses on literary anthropology , live literature events , and environmental sound art . Her Storying Water project (funded by South West Water) collaborates with scientists to explore water systems through creative audio. Notable accolades include the Victor Turner Prize for ethnographic writing. As a sound artist , she has created immersive installations for the National Trust and Double Elephant Print Workshop, including Paper Heron (2024) and Riverlandia (2021). Her creative writing interrogates family law, migration systems, and censorship in Myanmar, with The Invisible Crowd (2017) and The Unexpected (2024) receiving critical acclaim.

Peter ColeView profile

Associate Professor

• Indigenous ecological knowings and climate change mitigation
• Indigenous ecoliteracies and ecopedagogies
• Indigenous narrativity, orality and performativity
• +5 more

Peter Cole serves as an Associate Professor in the Department of Curriculum and Pedagogy at the University of British Columbia's Faculty of Education, where his office (Scarfe 2329) and direct phone line (604–827–5383) reflect his active institutional presence. His work bridges Indigenous knowledge systems with contemporary educational challenges through community-engaged scholarship. Cole's research centers on Indigenous ecological knowings and climate change mitigation , exploring how Indigenous ecoliteracies form the foundation for sustainable pedagogies. His investigations into Indigenous narrativity and performativity reveal how oral traditions transmit ecological wisdom across generations, while his focus on community-based research methodologies establishes ethical frameworks for Global North/Global South collaborations. This work consistently addresses ecojustice and sustainability education , with particular attention to Indigenous agrobiodiversity conservation and language regeneration as critical components of cultural resilience. Analysis of Cole's publication trajectory (2010-2024) reveals a distinctive narrative approach using Coyote and Raven figures to explore ecojustice pedagogies, with recent work (2020-2024) advancing innovative concepts like musical diacritics of water and cross-species communication. His scholarship demonstrates consistent thematic threads: decolonizing STEM education through survivance narratives, protecting Indigenous intellectual property, and developing land-based learning models that integrate Indigenous epistemologies with climate crisis response. No scientific awards were documented in the available sources. Information regarding graduate student supervision and research funding mechanisms was not specified in the provided materials, though his community-based research methodologies suggest collaborative grant partnerships with Indigenous communities. Cole's narrative-driven approach implies engagement with Indigenous knowledge-keeper networks and interdisciplinary research collectives focused on ecological justice, though specific laboratory or team structures were not detailed in the source materials.

• Design for Cultural Heritage
• Innovative Materials
• Packaging Design
• +5 more

Doriana Dal Palù is an Associate Professor at the Department of Architecture and Design (DAD), Polytechnic University of Turin, specializing in Design for Cultural Heritage , Innovative Materials , and Product Sound Design . She serves as Program Coordinator for the Bachelor's Degree in Design and Communication and leads international collaborations with institutions like IRCAM (Paris) and TU Delft (NL). Her research focuses on Technological Paradigm Shifts in materials, including the AI-TW (transparent wood) and BIOMAPS (biobased polymers) Horizon Europe projects. She founded MATto, a materials library with over 1,000 sustainable materials, and explores sensory design through packaging and architectural acoustics. Key publication trends include Sustainability , Material Innovation , and Acoustic Design . She mentors PhD student Riccardo Caradonna and contributes to design education through international conferences.

Balint LaczkoView profile

Research Fellow

• Music Technology
• Sonification
• 3D Audio
• +6 more

Balint Laczko is a Doctoral Research Fellow at the RITMO Centre for Interdisciplinary Studies in Rhythm, Time and Motion, affiliated with the Faculty of Humanities at the University of Oslo. His research focuses on image sonification and interdisciplinary studies in autophagy, combining expertise in music technology, machine learning, and computer vision. Education: Master's degrees in Classical Composition (Liszt Academy of Music, Budapest, 2017) and Performance Technology & Electroacoustic Composition (Norwegian Academy of Music, Oslo, 2021). Research interests include 3D audio, audiovisual analysis, and the development of tools for musical gesture analysis. His work bridges artistic and technical domains, with publications in conferences like ICAD and ACM. Key projects: AUTORHYTHM (biological-music tech collaboration), Sonification Pilot (bioRITMO).

William AlvesView profile

Associate Professor

• Ethnomusicology
• Indonesian Gamelan Music
• Computer Music
• +7 more

William Alves is an Associate Professor of Music in the Department of Humanities, Social Sciences, and the Arts (HSA) at Harvey Mudd College in Claremont, California. He is a composer, video artist, and scholar with deep expertise in ethnomusicology, particularly Indonesian gamelan, computer music, visual music, and alternate tuning systems. Alves co-directs MicroFest, Southern California’s annual festival of microtonal music, and directs the American Gamelan and Electronic Music ensembles at the Claremont Colleges. Associate Professor of Music, Harvey Mudd College Department of Humanities, Social Sciences, and the Arts (HSA) Director, American Gamelan Ensemble Director, Electronic Music Ensemble Co-Director, MicroFest Festival of Microtonal Music His research and creative work explore the intersections of music, technology, and global cultural traditions. He is particularly known for his work in world music pedagogy, having authored the widely adopted textbook Music of the Peoples of the World , now in its third edition, and for his biography of composer Lou Harrison. His compositions span gamelan, electronic music, and multimedia works, often blending Western and non-Western traditions. Alves’s publications and creative output reflect a strong interdisciplinary focus, with articles in journals such as Perspectives of New Music , Computer Music Journal , and SEAMUS Journal . His recent works explore microtonality, electroacoustic composition, visual music, and cross-cultural musical synthesis. The themes across his articles and compositions include global musical traditions, technological innovation in sound, and the blending of visual and auditory art forms. His scholarly and artistic contributions have been recognized through a Senior Fulbright Scholarship in Indonesia (1993–1994), where he studied and taught traditional music. He has also been active in performance, participating in Javanese and Balinese gamelan ensembles and West African drumming groups. Senior Fulbright Scholar, Indonesia (1993–1994) Co-author, Biography of Lou Harrison Author, Music of the Peoples of the World (3rd ed.) Published recordings: The Terrain of Possibilities , Imbal-Imbalan , Mystic Canyon , Guitars and Gamelan Video works: Celestial Dance (published by Kinetica Video Library) Alves has advised and mentored students through ensemble direction and coursework, though specific names of advisees are not listed. He has taught a wide range of courses including Music of the Peoples of the World , Electronic Music , Film Music , and Music Since 1900 . He has also contributed to academic discourse through publications and festival leadership. There is no mention of formal research grants, but his Fulbright award indicates significant recognition and funding support in the past. He is affiliated with the Society for Ethnomusicology and has led or participated in various musical ensembles and festivals, contributing to a vibrant interdisciplinary arts community at the Claremont Colleges. His work continues to bridge academic scholarship with artistic practice, fostering innovative approaches to music and culture.

Sara Sejin ChangView profile

Professor

• Contemporary Art
• Shamanic Film Installations
• Postcolonial Theory
• +7 more

Sara Sejin Chang (also known as Sara van der Heide) is a Korean-Dutch artist born in 1977 in Busan, South Korea, who currently serves as Interim Professor administering the Chair of Spatial Concepts at the University of Braunschweig (HBK) for the 2024-2025 academic year, replacing Candice Breitz. Based in Berlin, Chang creates shamanic film installations that combine film, historical research, rituals, drawings, texts, and sound compositions to challenge Eurocentric thinking, racialization, and persistent colonial narratives. Her work has been exhibited internationally at major venues including Moderna Museet Stockholm, Kunstinstituut Melly Rotterdam, Centraal Museum Utrecht, and ARGOS Brussels, and she has participated in significant biennials such as the Berlin Biennale, Dhaka Art Summit, and Busan Biennale. Chang's research interests focus on the intersection of Korean shamanism and contemporary art practice as a means of healing colonial trauma, particularly examining transnational adoption narratives between Korea and the Netherlands. Her work critically engages with the historical relationship between these two countries, including the participation of 3,418 Dutch soldiers in the Korean War (1950-1953) and the subsequent adoption industry that saw approximately 40,000 people adopted from the Global South to the Netherlands. She interrogates Eurocentric systems of categorization, racialization, and their penetration into all levels of contemporary Western society, proposing what she terms 'meta-cosmic and inclusive approaches to modernity' that transform conventional understandings of value and time. Through her practice, Chang seeks to repair historical ruptures, particularly those affecting diasporic communities, and create spaces for ancestral reconnection. Chang's artistic output demonstrates a consistent trajectory toward using shamanic practices as frameworks for decolonial critique and healing. Her recent major work Dismemberment (2024) employs the Korean Ssitgimgut ritual tradition to symbolically heal 'sick Europe' through a dismemberment and cleansing process, while Four Months, Four Million Light Years (2020) addresses colonial narratives behind transnational adoption through a shamanic healing journey across time and space. These works, along with her long-term project The Mother Mountain Institute , form a cohesive body of work that challenges the normalization of racialization within European society while proposing alternative knowledge systems rooted in Korean shamanic traditions. Scientific Awards: Theodora Niemeijer Prize (2023) - the largest Dutch Art Prize Berlin Artistic Research Grant Fellowship (2022-2023) Jeanne Oostingprize for 'Claim to Universality; Colour Theory Exercise 1-12' Chang's practice extends beyond traditional academic advising, functioning instead through collaborative research frameworks and institutional critique. Her work has been supported by significant grants including the Mondriaan Fund and the Berliner Programm Künstlerische Forschung. She operates through what she terms 'the Mother Mountain Institute,' a conceptual framework that connects her artistic practice with shamanic knowledge systems and decolonial theory. This institute serves as both a research platform and a metaphorical space for healing colonial ruptures, particularly those affecting transnationally adopted individuals. Chang's work consistently challenges the 'whiteness of contemporary art spaces' in European cities, using these spaces themselves as metaphors for the colonial structures they inhabit while simultaneously transforming them into sites of ritual and healing.

Alessandro RaganoView profile

Researcher

• Machine Learning
• Audio Processing
• Quality of Experience (QoE)
• +6 more

Alessandro Ragano is a Postdoctoral Researcher at the Insight Centre for Data Analytics , where he has been investigating Quality of Experience (QoE) aspects of audio archives and developing data-driven approaches for QoE estimation and audio restoration using deep learning since 2018. Education: MSc in Computer Science and Engineering from Politecnico di Milano (Italy) BSc in Computer Engineering from Università Degli Studi di Salerno (Italy) His research integrates machine learning , audio signal processing , and multimedia quality assessment to improve speech enhancement, audio restoration, and perceptual modeling. Recent trends in his publications focus on self-supervised learning , objective quality metrics , and audio dataset generation with applications in speech separation, music representation, and audio inpainting. He actively contributes to open-source tools like Binamix and AQP for audio research and quality evaluation.

Daniele BAGLIONIView profile

Professor

• Italian historical linguistics
• Etymology
• Historical phonetics
• +7 more

Daniele BAGLIONI is a Full Professor and current Director of the Department of Humanities at Ca' Foscari University of Venice, where he also serves as a member of the Academic Senate. His academic career spans over two decades with progressive appointments from researcher (2011-2018) to associate professor (2018-2020) and finally to full professor since June 2020. He coordinates multiple research projects including CHANGES, DIA, and MIA, all funded by major Italian and international organizations. His research focuses on five primary areas: Italian historical linguistics (particularly etymology and historical phonetics), the history of Italian outside Italy (especially in the medieval and early modern Mediterranean), contact between Romance languages and other Mediterranean languages, the history of Italian linguistics, and invented languages in Italian literature. His work bridges philology, historical linguistics, and cultural studies with a strong emphasis on Mediterranean cross-linguistic interactions. Analysis of his recent publications reveals a consistent focus on language contact phenomena, particularly allographic traditions where Italo-Romance varieties appear in non-Romance scripts. His work spans both theoretical linguistics and applied philological studies, with increasing emphasis on digital humanities approaches in his most recent projects. CNR Research Promotion Award (2004) FFABR (Fund for Financing Basic Research Activities) (2009) Member of Scientific Committee of "Italian Linguistic Studies" Member of Advisory Board of "Romanica Olomucensia" Reviewer for "Lessico Etimologico Italiano" (LEI) Professor BAGLIONI has supervised approximately 80 undergraduate theses and 12 doctoral theses (7 defended), demonstrating significant mentoring activity. His current research is supported by multiple grants including CHANGES (MUR/PNRR), DIA (MUR/PRIN 2022), and MIA (MUR/PRIN 2022), totaling millions in research funding. He has coordinated the Doctorate in Italian Studies at Ca' Foscari University from 2019-2023 and currently directs the Department of Humanities. His research group includes Davide Mastrantonio and collaborators across European institutions, with particular strength in Mediterranean linguistic studies. The MIA project specifically focuses on Italo-Romance texts written in non-Romance characters, representing a unique intersection of paleography, historical linguistics, and cultural studies.

• Programming Languages
• Formal Verification
• Weak Memory Models
• +4 more

Azalea Raad is a Reader (Associate Professor) in the Department of Computing at Imperial College London, leading the Veritas Lab. She holds a PhD in Computer Science from Imperial College London and is a UKRI Future Leader Fellow since 2021. Her research focuses on programming languages, formal verification, and persistent memory systems, particularly addressing challenges in weak memory models, concurrency, and software correctness. Affiliations: Co-director of the UK Research Institute on Verified, Trustworthy Software Systems Adjunct roles at Facebook (2020–2022) and Bloomberg (2022–present) Education: MEng from Imperial College London PhD in Computer Science from Imperial College London Research Interests: Azalea’s work bridges theoretical foundations and practical system implementation, emphasizing: Formal semantics of persistent and weak memory systems Verification frameworks for concurrent and persistent programs Bug detection in libraries and binaries Transactional memory and system validation Publications: Her recent work explores compositional bug detection, persistent programming principles, and scalable non-termination analysis. Key contributions include frameworks like IsaBIL and Memento, and foundational papers on RDMA robustness and C/C++ memory model extensions. Awards: UKRI Future Leader Fellowship (2021–present). Research recognized through collaborations with industry (e.g., Intel PMDK validation). Labs/Teams: Leads the Veritas Lab, advancing formal methods for trustworthy software systems.