Michael Carbin is the Jamieson Career Development Assistant Professor of Electrical Engineering and Computer Science at the Massachusetts Institute of Technology (MIT) and leads the MIT Programming Systems Group. His research focuses on programming systems that address system uncertainty to enhance performance, energy efficiency, and resilience, particularly in environments involving neural networks , approximate computing , and unreliable hardware . His work spans probabilistic programming , quantum computing , and machine learning systems . Articles highlight contributions in pruning neural networks , quantum data structures , and compiler optimization , reflecting trends in deep learning , formal verification , and language-driven systems . Scientific Awards : MIT Frank E. Perkins Award (2020) Sloan Research Fellowship (2020) Facebook Research Award (2019) NSF CAREER Award (2018) Best Paper Awards at OOPSLA (2013, 2014) He has advised numerous graduate students and postdocs including Eric Atkinson, Cambridge Yang, and Charles Yuan, and served on program committees for conferences like POPL, OOPSLA, and ICLR. His group collaborates with institutions such as MIT CSAIL and explores applications in quantum algorithms and probabilistic inference .
Katia Bianchini is a Research Fellow at the Max Planck Institute for Social Anthropology in Halle, Germany, with a focus on the intersection of law and anthropology in refugee and immigration contexts. She holds a PhD in Law (University of York), an LLM in Comparative Laws (University of San Diego), and a Law degree (Università di Pavia). Her work bridges empirical legal analysis with anthropological methodologies to address issues such as statelessness, asylum adjudication, and the rule of law in migration policies. Education PhD in Law, University of York (2011–2016) LLM in Comparative Laws, University of San Diego (1999–2000) Law degree, Università di Pavia (1992–1998) Bianchini’s research interests include refugee law , immigration law , statelessness , EU law , and human rights law . Her current project examines legislation and responses to missing and deceased sea migrants in Italy , analyzing legal frameworks for search, identification, and burial practices, particularly along the Central Mediterranean Route. She emphasizes the importance of legal anthropology to understand gaps between abstract law and its real-world application. The trends in her publications reflect a focus on statelessness determination procedures , asylum law (notably witchcraft-based claims), humanitarian visas , and rule of law challenges in migration contexts. Her work spans journal articles , book chapters , and monographs , often combining legal analysis with empirical data from interviews and fieldwork. Scientific Awards Erasmus scholarship, University of Leuven, Belgium (1997–1998) Grants and Professional Activities include visiting researcher roles at Fordham University and the University of Oxford, as well as editorial work for the Statelessness and Citizenship Review and the CUREDI Database . She has presented extensively on topics like statelessness in the UK , cultural diversity in asylum adjudication , and NGO criminalization in Mediterranean rescue operations .
Tianmin Shu is an Assistant Professor in the Department of Computer Science at Johns Hopkins University , with a joint appointment in the Department of Cognitive Science . He is the founding director of the Social Cognitive AI (SCAI) Lab and was previously a Research Scientist at MIT, working with Josh Tenenbaum and Antonio Torralba. His research goal is to advance human-centered AI by engineering machine social intelligence —building systems that understand, reason about, and interact with humans in real-world settings. His work is inherently interdisciplinary, integrating machine learning, computer vision, robotics, and social cognition. Research Interests: Theory of Mind Reasoning: Developing models that infer human mental states from multimodal behavioral data. Embodied Assistance: Creating agents capable of assisting humans in physical environments through verbal and non-verbal collaboration. Learning from Human Feedback: Extracting reward-relevant preferences from rich human input to guide agent behavior. Social Scene Understanding: Recognizing and reasoning about group activities and social roles from visual and physical cues. Computational Social Cognition: Modeling how humans perceive and interpret social and physical interactions. Scientific Awards: Outstanding Paper Award at ACL 2024 for "MMToM-QA: Multimodal Theory of Mind Question Answering" Grants & Collaborations: Tianmin Shu has led or co-organized several high-impact workshops and tutorials, including the NeurIPS 2023 Tutorial on "Language Models Meet World Models" and the RSS 2024 Workshop on "Social Intelligence in Humans and Robots". His lab has also developed open-source platforms like VirtualHome-Social and SimWorld for multi-agent interaction research. Lab & Team: As director of the Social Cognitive AI (SCAI) Lab at Johns Hopkins University, Tianmin Shu leads a multidisciplinary team focused on building socially intelligent systems. His lab is located in Malone Hall 213 and collaborates closely with the Departments of Computer Science and Cognitive Science.
Anna Levina is an Assistant Professor for Computational Neuroscience at the University of Tübingen , affiliated with the Department of Computer Science under the Faculty of Science. Her research focuses on the self-organization of neuronal activity, critical dynamics in neural networks, and the excitation/inhibition balance in cortical circuits. Current positions: Assistant Professor (since 2018), Group Leader (2017-2018), Equality Officer (Computer Science) Previous roles: IST Fellow (2015-2017), Associated Researcher (2011-2015), Postdoc/PI (2011-2015), Postdoc (2008-2011) Her research integrates mathematical modeling , statistical physics , and computational neuroscience to study criticality phenomena, neural avalanches, and adaptive network dynamics. Key interests include: Self-organized criticality in neural systems Excitation/Inhibition balance mechanisms Network topology and dynamics Timescale analysis in neural processing Stochastic modeling of neural activity Recent publications reveal trends in understanding critical dynamics across biological and artificial networks, with applications to memory systems, sensorimotor integration, and disease modeling. She has received recognition as an IST Fellow .
Chantal Pellegrini is a Lecturer and PhD student at the Chair of Computer Aided Medical Procedures (Prof. Navab) at Technical University of Munich (TUM). Her research focuses on Deep Learning applications in medical imaging, including explainable AI for radiology report generation and Vision-Language Models for clinical decision support. She actively contributes to the DHM, NARVIS Lab, and RobUSt research groups. Teaching responsibilities include courses such as 'Computer Aided Medical Procedures', 'Medical Augmented Reality', and 'Surgical Robotics'. She supervises student projects in medical AI and healthcare innovation, with recent projects involving multimodal report generation and graph pretraining for medical applications. Education: BSc/MSc Computer Science (TUM), current PhD student since 2022 Labs: DHM (German Heart Center), NARVIS Lab, RobUSt Robotics & Ultrasound Research Keywords: Medical Image Understanding, Radiology Reports, LLMs in Healthcare Her publications span surgical OR dataset development, reinforcement learning for clinical decisions, and explainable X-ray diagnosis systems. She mentors MA/BA students in medical AI and project management for healthcare applications.
Torsten Grust is a Professor of Computer Science at the University of Tübingen, leading the Database Systems research group since 2008. Previously, he held professorships at TU München and TU Clausthal. He earned his M.Sc. (Diploma) and Ph.D. in Computer Science from Universität Konstanz in 1994 and 1999, respectively. His research focuses on database languages, query and programming language technology, and scalable processing of non-relational queries. He bridges database and programming language research, emphasizing mutual benefits between the fields. **Education:** Ph.D. in Computer Science, University of Konstanz (1999) M.Sc. (Diploma), Computer Science, University of Konstanz (1994) Visiting Scientist, IBM Silicon Valley Laboratories (2000) **Research Interests:** Design and optimization of database languages Query compilation and execution engines Integration of functional programming with SQL Query provenance and debugging **Awards and Honors:** ACM SIGMOD Reproducibility Award (2021) University of Tübingen Teaching Award (2021/22) Winner of Dyalog 2019 APL Program Solving Competition Member of the VLDB Endowment Board of Trustees (2022–2027) **Advising & Grants:** Guided numerous students, including alumni such as Alexander Ulrich, Benjamin Dietrich, and Christian Duta Recipient of grants supporting research in query compilation, provenance analysis, and database language design **Labs & Teams:** Leads the Database Systems research group at University of Tübingen Collaborates with the National Institute of Informatics (Tokyo) on query and programming languages
Prof. Sebastian Rudolph is a Professor of Computational Logic at the Institute for Artificial Intelligence , Faculty of Computer Science , TU Dresden. Since 2021, he has been an Affiliate Member of the Faculty of Mathematics. His research spans theoretical and applied artificial intelligence, focusing on Knowledge Representation and Reasoning through formalisms like Description Logics, Existential Rules, and Formal Concept Analysis, with applications in Semantic Technologies. 2017 : ERC Consolidator Grant for decidability principles in logic-based knowledge representation 2006-2013 : Postdoctoral researcher, project leader, and Privatdozent at KIT's Institute AIFB 2011 : Habilitation at KIT Earlier : PhD in Algebra and teaching qualification in mathematics, physics, and computer science at TU Dresden His recent publications address decidability of logical reasoning, non-monotonic extensions in formal concept analysis, standpoint logics, and multiagent systems. He supervises the DeciGUT and KIMEDS projects, and is involved in the SECAI and ScaDS.AI centers. Teaching activities include courses on Theoretical Computer Science, Existential Rules, and Formal Concept Analysis.
Dr. Jay Pujara is a Research Associate Professor of Computer Science at the University of Southern California (USC) and Director of the Center on Knowledge Graphs. He is also a Principal Scientist at the Information Sciences Institute (ISI) and leads research teams in data science and AI. Ph.D., University of Maryland, College Park (2016) M.S. and B.S. in Computer Science, Carnegie Mellon University Research Interests include artificial intelligence, probabilistic models, knowledge graph construction, statistical relational learning, NLP, and streaming inference. His work focuses on scalable algorithms for big data and uncertainty modeling in dynamic environments. Recent Publications highlight advancements in knowledge graphs, LLM reasoning, and table understanding. Notable topics include non-verbal abstract reasoning , faithful conversational datasets , and KGQA re-ranking . Scientific Awards : SWSA Ten-Year Award (2023), Outstanding Paper (IUI 2019), Top Reviewer (NeurIPS 2018), Best Paper (SRL Workshop 2016) Advising & Grants : Mentored 12+ graduate students, including Ph.D. advisees on topics like causal modeling and neuro-symbolic tasks. Secured NSF funding for table understanding in paleoclimate studies.
Zachary Kincaid is an Associate Professor in the Department of Computer Science at Princeton University's School of Engineering and Applied Science. His research focuses on program analysis, logic, and programming languages, with an emphasis on making program analysis compositional and robust. He received his PhD from the University of Toronto under the supervision of Azadeh Farzan. His work has been implemented in the Duet program analyzer, and he has an Erdős number of 3. Dr. Kincaid's research interests include: Compositional program analysis techniques Algebraic approaches to program analysis Termination analysis and ranking function synthesis Verification of concurrent and parallel programs Automated reasoning and decision procedures Analysis of numerical programs and loops His recent publications show a strong focus on developing novel techniques for program analysis that bridge theoretical computer science with practical verification tools, particularly in nonlinear analysis, quantified reasoning, and compositional verification. Dr. Kincaid has received research support from ONR grant N00014-19-1-2318 for his work on robust program analysis. He has advised graduate students including: Current: Jake Silverman, Nicolas Koh, Nikhil Pimpalkhare Graduated: Shaowei Zhu (PhD 2024, Researcher at Amazon), Charlie Murphy (PhD 2023, Postdoc at University of Wisconsin–Madison) Dr. Kincaid teaches courses including: COS 320 – Compiling Techniques (Spring 2024, 2022, 2020, 2019) COS 516 / ELE 516 – Automated Reasoning about Software (Fall 2025, 2022, 2018) COS 217 – Introduction to Programming Systems (Fall 2024) COS IW – Practical Solutions to Intractable Problems (Fall 2023, Spring 2023, 2018, 2017) COS IW – Little Languages (Spring 2018) COS 597D – Reasoning about concurrent systems (Fall 2016)
Professor Catharina Stroppel is a distinguished researcher and educator in the Department of Mathematics at the University of Bonn, Germany. She maintains an active research program in representation theory and related fields, with significant contributions to categorification, knot theory, and higher category theory. Her office is located at Endenicher Allee 60, Room 4.007, Bonn, and she is supported by secretary Alev Erisöz-Reinke. Stroppel's research primarily focuses on representation theory of Lie algebras, connections to topology (particularly knot and manifold invariants), categorification, and diagram algebras. Her work bridges abstract algebra with topological applications, exploring combinatorial aspects of representation theory including Schubert calculus, Kazhdan-Lusztig theory, and canonical bases. She has made substantial contributions to understanding Hecke algebras and their representation theory, as well as developing connections between categorification and topological quantum field theories. Her recent publications demonstrate a consistent research trajectory advancing semi-infinite highest weight categories, geometric categorifications, and the interplay between quantum algebra and topology. The work shows increasing sophistication in handling higher categorical structures while maintaining concrete connections to classical representation theory problems. Her research has evolved from foundational work in categorification to more complex structures involving higher categories, quantum groups, and geometric interpretations. Indagationes Mathematicae Best Paper Prize (2022) Honorary Doctorate from Uppsala University Invited Plenary Speaker at the International Congress of Mathematicians (2022) Professor Stroppel has supervised numerous doctoral students, including current PhD candidates Jonas Nehme, Liao Wang, Lukas Bonfert, and Daniel Bermudez Montana. Her former PhD students include Till Wehrhan, Anna Mkrtchyan, Tashi Walde, Tomasz Przezdziecki, Arik Wilbert, Joanna Meinel, Hanno Becker, Antonio Sartori, Hoel Queffelec, Gisa Schaefer, and Sebastian Holzmann. She actively participates in the academic community through the Oberseminar Representation Theory (Darstellungstheorieseminar DAS), which she co-organizes with Johannes Flake, held Fridays 2:15-4pm in Endenicher Allee 60 - SR 1.008. Stroppel leads the Algebra and Representation Theory working group in Bonn and maintains strong connections with the Hausdorff Center for Mathematics, which recently received seven additional years of funding. Her research program continues to expand, with upcoming teaching responsibilities including V4A3 Representation Theory II for the WS25/26 semester.
Konstantin Voigt, Professor of Musicology II , serves at the University of Würzburg within the Faculty of Philosophy and Institute of Music Research. His research spans medieval Latin song traditions, music theory, notation systems, and digital humanities applications. He also explores 20th-century composers like Arnold Schoenberg and the reception of medieval music in popular culture. Current: Chair of Musicology II, University of Würzburg (2024–) Previous: Tenure-track Professor, University of Freiburg (2020–2024) Education: PhD (Würzburg), MA (Erlangen-Nürnberg), Musicology & Art History Voigt's research bridges premodern music history with digital methodologies, focusing on: Medieval Latin song structures (9th–13th centuries) Development of musical notation and visualization Digital editions as tools for manuscript analysis Intermedial relationships in postmodern composition Stefan George’s poetry in Schoenberg’s works His recent publications analyze scribal practices in Paris 1139 manuscripts and digital approaches to monophonic music. He co-leads the Weave Lead project on French music reception in Central Europe before 1350 and contributes to the Corpus monodicum digital edition. Collaborations include PD Dr. Hana Vlhova-Wörner (Prague) and institutions like the Schola Cantorum Basiliensis.
Steve Zdancewic is the Schlein Family President's Distinguished Professor and Associate Chair in the Department of Computer and Information Science at the University of Pennsylvania's School of Engineering and Applied Science. He is a leading researcher in programming languages, formal methods, and computer security with over two decades of impactful contributions to the field. His research interests span programming languages, type theory, logic, computer security, quantum programming, and formal verification. Zdancewic has made significant contributions to information-flow security, memory safety, program synthesis, and the verification of low-level systems. His work often bridges theoretical foundations with practical applications, particularly through the development of verified systems using Coq and other proof assistants. Analysis of his recent publications reveals a strong focus on formal verification techniques, particularly using Interaction Trees and the Coq proof assistant. His research trajectory shows consistent evolution from foundational work on information-flow security toward increasingly sophisticated verification of complex systems including LLVM, quantum computing, and distributed systems. His work demonstrates a commitment to building practically useful verification tools while maintaining rigorous theoretical foundations. Distinguished Paper Award for Semantics for Noninterference with Interaction Trees (ECOOP 2023) Schlein Family President's Distinguished Professor (2021) Distinguished Paper Award for Interaction Trees (POPL 2020) Christian R. and Mary F. Lindback Foundation Award for Distinguished Teaching (2018) IEEE MICRO top picks (2013) Alfred P. Sloan Fellow (2009-2010) NSF CAREER award (2004) Zdancewic has advised numerous PhD students who have gone on to successful careers in academia and industry. His research has been supported by significant grants from NSF, including the NSF Expedition on the Science of Deep Specification. He is actively involved in multiple major research projects including Vellvm (verified LLVM), DeepSpec, and quantum programming verification. Zdancewic also co-organizes Penn's PL Club programming languages research group with Benjamin Pierce and Stephanie Weirich.
Prof. Sabine Schulte im Walde is an Associate Professor at the University of Stuttgart's Institute for Natural Language Processing. She holds affiliations with the International Max Planck Research School for Intelligent Systems (IMPRS-IS), ELLIS Society, and CLARIN-D. Her research focuses on computational modeling of lexical-semantic phenomena, including compositionality of noun compounds and particle verbs, abstract/concrete semantics, and diachronic language change. She has contributed to datasets on association norms for German compounds and led projects on multimodal semantic analysis. Research Interests: Her work bridges computational linguistics and cognitive science, emphasizing data-intensive methods. Key areas include semantic classification of verbs, metaphor detection, and evaluating semantic relations using distributional models. She explores how abstractness influences plausibility judgments and investigates semantic shifts in compounds over time. Awards: Nominated for AcademiaNet by the German Research Foundation (DFG). Active in professional societies including ACL, GSCL, and DGfS. Publications span over 50 peer-reviewed articles in venues like Computational Linguistics and ACL. Labs/Teams: Leads research on computational terminology and semantic change analysis at the Stuttgart Research Focus Language and Cognition (SRF). Collaborates internationally on projects like the DURel annotation tool for diachronic semantics.
Tej Chajed is an Assistant Professor in the Department of Computer Science at the University of Wisconsin-Madison, where he conducts research in formal verification of systems software. His work focuses on building and proving the correctness of critical systems, particularly file systems and concurrent software. Dr. Chajed earned his PhD from MIT in the PDOS group, followed by a one-year postdoc at VMware Research before joining UW-Madison. His academic journey reflects a strong commitment to bridging theoretical formal methods with practical systems implementation. Chajed's research centers on formal verification techniques for systems software, with particular emphasis on concurrent and crash-safe systems . His work aims to eliminate bugs in critical software through mathematical proofs of correctness. Key contributions include DaisyNFS (a verified concurrent file system), the Perennial framework for reasoning about crash safety, and Goose for connecting proofs to Go code. His research spans the intersection of programming languages, operating systems, and formal methods, developing practical tools that bring verification to real-world systems. His recent publications demonstrate a consistent trajectory toward more practical and scalable verification techniques for increasingly complex systems. The research shows progression from foundational verification frameworks to applied work on specific systems like file systems, journaling, and distributed protocols. A notable trend is the focus on making verification more accessible and practical for systems developers, bridging the gap between theoretical formal methods and real-world software engineering. Dr. Chajed serves on numerous program committees including OSDI 2025 PC, PLDI 2024 PC, SySDW 2023 PC, ECOOP 2023 ERC, CPP 2023 PC, POPL 2023 PC, PLDI 2022 PC, POPL 2022 AEC, EuroDW 2021 PC, POPL 2021 AEC, PLDI 2020 AEC, POPL 2020 AEC, and SOSP 2019 AEC, reflecting his standing in the systems and programming languages research community. In teaching, Chajed has developed and instructed courses on systems verification, operating systems, and protocol verification. He previously helped create MIT's 6.826 (Principles of Computer Systems) during his PhD. His passion for technical communication was cultivated during his time as a Communication Fellow in the EECS Communication Lab at MIT, where he continues to offer guidance to students on writing and presentation skills. His research group at UW-Madison focuses on advancing the state of the art in systems verification, with current projects centered around practical verification frameworks for concurrent and crash-safe systems.
Aaron Cassidy is an American composer and conductor based in Berlin and Hannover. He serves as Professor of Composition and Director of Incontri – Institut für neue Musik at the Hochschule für Musik, Theater und Medien Hannover. His work emphasizes innovative graphical notations prioritizing physical sound production and non-geometrical rhythm theory. Cassidy’s compositions have been performed globally across 29 countries, with 12 commercial recordings on major labels like Kairos and NEOS. As a conductor, he specializes in contemporary and historical repertoire, leading over 100 world premieres with ensembles such as Ensemble Musikfabrik and ELISION. Notable engagements include the Munich Biennale and Melbourne Recital Centre. His recent research includes a 2025 reflection on non-geometrical rhythm and collaborative Erasmus+ residencies in Klagenfurt. Current projects include works for bassoon, violin-piano duet, and ANAM residency with ELISION in Melbourne (2025). Cassidy’s academic focus bridges compositional theory and performance practice. His research explores notation’s role in shaping musical interpretation, with particular attention to rhythm’s non-metric frameworks. Recent works like Reassessing Non-Geometrical Rhythm (2025) synthesize a decade of theoretical development. His teaching integrates experimental techniques and historical context, fostering innovation in Hannover’s new music institute.
