Roy Johnsen is a Professor in the Department of Mechanical and Industrial Engineering at the Norwegian University of Science and Technology (NTNU), specializing in corrosion and surface technology. With a Dr.ing. degree from NTH (1984), he has extensive industry experience from Statoil Research Centre (1985-1991) and CorrOcean (1991-2004), where he expanded the company globally. His current research focuses on hydrogen embrittlement, corrosion protection, and integrity management in offshore systems, with collaborations across Europe, Asia, and the Americas.
Sebastijan Dumancic is an Assistant Professor at Delft University of Technology, focusing on neuro-symbolic AI through program synthesis and probabilistic programming. He leads the RAIL lab and collaborates with institutions like Harvard, MIT, and CNRS. His research bridges symbolic AI and machine learning, applying program synthesis to scientific discovery, transportation, and robotics. He holds an FWO-funded PhD from KU Leuven and has participated in initiatives like ELLIS and the Symbolic Computation and Machine Learning Initiative. Program synthesis Probabilistic programming Neuro-symbolic AI Constraint-based learning His recent articles highlight advancements in program synthesis, neuro-symbolic integration, and constraint satisfaction. Projects like Find2Fix and Intelligent Greenhouse Horticulture (funded by NWO) demonstrate practical applications. ELLIS Membership University Teaching Qualification He supervises numerous MSc and PhD students in projects involving logic programming, program synthesis, and probabilistic modeling. Active in workshops and symposia, he contributes to neuro-symbolic AI and scientific discovery.
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.
Loris D'Antoni is an Associate Professor in the Department of Computer Science and Engineering at the University of California at San Diego (UCSD) . He is also a Visiting Academic at Amazon Web Services (AWS) . His research focuses on helping people write trustworthy software through techniques in program synthesis, formal verification, and machine learning robustness. Bachelor and Master in Computer Science from University of Torino (2008, 2010) PhD in Computer Science from University of Pennsylvania (2015) His research integrates programming languages , automata theory , and formal methods to ensure software reliability. Recent work explores semantics-guided synthesis and specification-aligned LLMs , with applications in network security, machine learning fairness, and automated code repair. Key trends in his publications include program synthesis , formal verification , and trustworthy AI systems . He has contributed to tools like AutomataTutor and SemGuS , a framework for customizable synthesis problems using constrained Horn clauses. Phillip R. Certain-Gary D. Sandefur Distinguished Faculty Award NSF CAREER Award Microsoft Research Faculty Fellowship Google and Facebook Faculty Awards Best Paper Award at ICDCN 2023 Distinguished Paper Award at SBES 2021 D'Antoni actively contributes to academic community service as a committee member in PLDI , OOPSLA , POPL , and CAV . He leads the Programming Systems Group at UCSD and collaborates with SemGuS research team on synthesis frameworks.
Neelakantan R. Krishnaswami is a Professor of Computer Science at the University of Cambridge's Computer Laboratory , and a Fellow of Trinity College . His research focuses on the intersection of program verification, programming language design, and foundational topics like type theory and semantics. His work spans areas such as refinement types, parser design, separation logic for systems software, and the semantics of reactive programming. Notable contributions include the Datafun language for higher-order Datalog and the λert type theory for explicit refinement types. He has also developed foundational frameworks for verifying imperative programs using advanced type systems and logical relations. Key publications include 'Explicit Refinement Types' (ICFP 2023), 'flap: A Deterministic Parser with Fused Lexing' (PLDI 2023), and 'CN: Verifying Systems C Code' (POPL 2023). His work frequently addresses challenges in efficiency, correctness, and modularity for both functional and imperative systems. His awards include Distinguished Paper Awards at PLDI 2019 and POPL 2020. His research integrates theoretical rigor with practical tooling, exemplified by contributions to languages like Coq, Lean, and Haskell.
Professor Ali Yapar is a faculty member at Istanbul Technical University in the Electronics and Communication Engineering department. His research focuses on Electromagnetics , Microwave Engineering , and Antenna Technologies , with a particular emphasis on inverse scattering problems and microwave imaging for biomedical applications. He has supervised numerous graduate students and led projects related to breast cancer treatment and rough surface imaging. PhD in Electronics and Communication Engineering from Istanbul Technical University (1997) MSc in Electronics and Communication Engineering (1995) His recent publications analyze advanced techniques for microwave hyperthermia systems, reverse time migration methods, and Newton-based solutions for electromagnetic inverse scattering. Key projects include TUBITAK-funded initiatives on microwave tomography and brain stroke imaging. He serves as a project investigator and executive for electromagnetic research programs. Research areas span Electromagnetic Wave Propagation , Green's Function Applications , and Dielectric Material Analysis . Collaborations include IEEE members and international researchers in computational electromagnetics.
Antonino Vallesi is a Full Professor in Neuropsychology and Cognitive Neuroscience at the University of Padua. He holds a master's degree in Psychology (University of Padua, 2003) and a PhD in Neuroscience (SISSA, Trieste, 2007). He has held roles as Assistant and Associate Professor at SISSA and the University of Padua before achieving his current rank. His research focuses on executive functions, cognitive aging, and temporal processing, employing neuroimaging, EEG, and experimental psychology methods. He has supervised over 10 PhD students, 13 postdocs, and 65 trainees. Education: PhD in Neuroscience, SISSA, Trieste (2007) Master's in Psychology, University of Padua (2003) Research Interests: The anatomo-functional organization of executive functions, cognitive aging, temporal processing, and neuropsychological methodologies. His work explores these areas through advanced techniques like EEG, neuroimaging, and neuromodulation. Awards: Bertelson Award (2011) Outstanding Young Person Award (2011) SIPF Prize (2017) ERC Starting Grant (2013) Advising & Grants: Supervisor of over 10 PhD students and 13 postdocs. Secured significant funding including an ERC grant. Involved in grant reviewing for EU programs (e.g., Horizon 2020) and international agencies. Labs & Teams: Leads the Executive Function Lab at the University of Padua, focusing on cognitive neuroscience and clinical applications.
Stuart Kurtz is a Professor in Computer Science and the College at the University of Chicago, and serves as Master of the Physical Sciences Collegiate Division. He holds the endowed position of George and Elizabeth Yovovich Professor. His research focuses on theoretical computer science, including computational complexity theory, randomness in computation, type theory, and formal logic. He has contributed to foundational areas such as the Berman-Hartmanis Isomorphism Conjecture and the computational properties of random sets. Kurtz is affiliated with the Theoretical Computer Science and Programming Languages Groups at the University of Chicago. He has been recognized with the 2009 Quantrell Award for teaching excellence. His service roles include Director of Undergraduate Studies and Department Chair in Computer Science. He actively mentors Ph.D. students and has advised multiple graduates in complexity theory and related fields. His academic background includes a Mathematics Ph.D. from the University of Illinois, supervised by Carl Jockusch. He approaches type theory as an intersection of formal logic and functional programming. Research interests span measure-theoretic randomness, computational logic, and complexity class separations. His recent work explores connections between theoretical computer science and interdisciplinary fields like physics and statistics. In teaching, Kurtz has instructed courses such as Formal Language Theory, Discrete Mathematics, and Honors Intro Programming. His service contributions include roles in the Computation Institute and Toyota Technological Institute at Chicago. His lab affiliations and collaborative work reflect a strong commitment to advancing theoretical foundations in computer science.
Nina Baur is a Full Professor (W3) of Methods of Social Research at the Department of Sociology, Technische Universität Berlin, within Faculty VI: Planning Building Environment. Her academic roles include Director of the Global Center of Spatial Methods for Urban Sustainability (GCSMUS) and leadership in interdisciplinary research initiatives such as the Collaborative Research Center 'Re-Figuration of Spaces' (CRC 1265). She holds a Ph.D. (Dr. rer. pol.) in Sociology from Otto-Friedrich-University of Bamberg (2005) and a Master’s equivalent (Diplom-Soziologin) from the same institution (1999). Her research focuses on social science methodology, spatial methods, historical sociology, and economic sociology. Key areas include process-oriented methodology, innovation studies, and global methodological challenges. Notable projects involve analyzing commodity chains, urban sustainability, and interdisciplinary research collaboration between sociology, geography, and urban planning. She has received awards such as the DGS Dissertationspreis (2007) and the E.ON Kulturpreis Bayern (2005). Her international collaborations include visiting professorships at IIT Roorkee (India) and Japan Women’s University, and leadership in global academic networks via DAAD and BCGE programs. She serves on editorial boards of journals like Historical Social Research and Kölner Zeitschrift für Soziologie und Sozialpsychologie . Her publications emphasize methodological innovation, cross-cultural research, and spatial sociology. Recent work addresses decolonizing methodologies and global sustainability through spatial analysis frameworks.
Nikolaus Kriegeskorte is a Professor of Psychology and Neuroscience, and Director of Cognitive Imaging at the Mortimer B. Zuckerman Mind Brain Behavior Institute at Columbia University. He is affiliated with the Departments of Psychology, Neuroscience, and Electrical Engineering. Institution: Columbia University Academic Roles: Professor of Psychology and Neuroscience; Director of Cognitive Imaging Email: nk2765@columbia.edu Location: Jerome L. Greene Science Center, 3227 Broadway, L3-064 Research Focus: The lab explores the cognitive neuroscience of vision, modeling biological visual systems with artificial neural networks. Key areas include developing statistical inference and visualization techniques to bridge theory and experimental data, understanding representational geometry in neural systems, and optimizing deep learning frameworks for neuroscience. Recent Publications: Highlighted work spans neural network modeling of visual perception, representational similarity analysis, and the topology of brain representations. The lab's methods, such as the TorchLens Python package, enable transparent extraction and visualization of hidden layer activations in neural networks. Grants: Projects are supported by funding from the National Science Foundation (NSF) - Cognitive Neuroscience and the National Institutes of Health (NIH) - NIMH. Laboratory: The Visual Inference Lab (kriegeskortelab.zuckermaninstitute.columbia.edu) is located at Quad 3D, Zuckerman Institute, 3227 Broadway.
Dr. Tyll Robin Lemke is a researcher at Saarland University in the Department of Modern German Linguistics (Neuere deutsche Sprachwissenschaft). He serves as a scientific staff member in Project B3 of the Collaborative Research Center SFB 1102. His academic focus includes experimental linguistics, syntax, and psycholinguistics, with specialized expertise in ellipsis phenomena and fragment analysis. Lemke's research explores the cognitive underpinnings of language production and comprehension, particularly investigating how predictability, context, and information theory shape linguistic structures. His work employs diverse methodologies including corpus analysis, psycholinguistic experiments, computational modeling, and gamified experimental paradigms to examine ellipsis, fragments, and syntactic phenomena in German. Analysis of Lemke's recent publications reveals consistent themes: the role of predictability in language production, constraints on ellipsis resolution, information-theoretic approaches to language efficiency, and experimental validation of syntactic theories. His research bridges theoretical linguistics with cognitive science through innovative experimental designs. In the upcoming 2025/26 winter semester, Lemke is teaching courses on Experimental Linguistics and Ellipsis in Theory and Experiment. He maintains an active research program within the SFB 1102 collaborative framework and regularly presents at international linguistics conferences.
Nicholas Ross serves as Professor and Department Chair in the Department of Music at Otterbein University, maintaining an active international performance career with recitals at prestigious venues including St. Martin’s-in-the-Field and St. John’s Smith Square in London, the Field Room in Dublin, and the Engelse Kerk in Amsterdam. His academic credentials include: DMA in Piano Performance from Rice University UM in Piano Performance (MMus equivalent) from ArtEz, Netherlands DipTCL from Trinity College of Music, London Ingenieur (MSc equivalent) from Twente University, Netherlands Ross's research centers on the mathematical foundations of musical composition, specifically proportional structures and the golden ratio in works by Mozart, Debussy, and Bartók. His scholarly presentations at international conferences in Lancaster and Krakow bridge analytical musicology with mathematical theory, while his artistic output includes multiple critically acclaimed recordings exploring both classical repertoire and contemporary compositions like Arthur Honegger's chamber works. His publication profile demonstrates consistent interdisciplinary exploration at the intersection of performance practice and structural analysis, with scholarly output focused on quantitative approaches to musical form and artistic recordings showcasing technical mastery across diverse stylistic periods. Major honors recognize his dual excellence as performer and scholar: Faculty Fellowship from Sweet Briar College (2008-2009) Anthony Lindsay Prize for Pianoforte Playing (1993) John Longmire Prize in Debussy competition (1994) John Ireland Prize for Accompanists (1994) MehrooJeejeeboyPrize for Pianoforte Playing (1995) Alec Rowley Memorial Prize (1996) Elisabeth Schumann Prize for Lieder (1996) Robert Meyer-ESU Prize enabling Aspen Music Festival residency (1995) As Department Chair, Ross oversees curriculum development while teaching Applied Piano, Music Theory sequences, and specialized seminars including Music and Ideology. His Sweet Briar College Faculty Fellowship supported advanced research in music-mathematics relationships, though no major external grants are documented. Student mentorship focuses on performance pedagogy within undergraduate programs. No dedicated research laboratories or performance ensembles under his direct leadership are specified in available materials, though his collaborative recording projects indicate ongoing artistic partnerships.
Stefan Woltran is a Full Professor in the Databases and Artificial Intelligence department at TU Wien. He serves as Vice Dean of Academic Affairs for the Informatics Master program and leads the Research Unit for Databases and Artificial Intelligence. His research focuses on logic-based AI, including Propositional Logic, Nonmonotonic Reasoning, Argumentation frameworks, Knowledge Representation, and Logic Programming. He coordinates the Double-Degree Program Logic and Computation. His research projects include analyzing formal properties of logic-based AI approaches, complexity analysis, and developing algorithms via logic and dynamic programming. Notable projects include the HYPAR and REVEAL-AI initiatives exploring abstract argumentation and AI problem-solving. He has contributed to over 150 publications since 2001, focusing on argumentation frameworks, computational complexity, and formal methods. Woltran teaches courses such as Abstract Argumentation, Formal Methods in Computer Science, and Theoretical Computer Science. His work integrates theoretical advancements with practical solver development, such as the ASPARTIX system for argumentation tasks. He actively participates in international conferences and competitions in computational argumentation, emphasizing the application of formal methods to real-world problems.
Kevin Buckelew is an Assistant Professor of Religious Studies at Northwestern University specializing in Chinese Buddhism, with particular expertise in Chan (Zen) traditions and Buddhist-Daoist interactions. He earned his B.A. in Liberal Arts from Sarah Lawrence College and his Ph.D. in East Asian Languages and Cultures from Columbia University. Affiliation: Northwestern University, Religious Studies Department Education: B.A. (Sarah Lawrence College), Ph.D. (Columbia University) His research explores Chan Buddhist claims to authority equivalent to the historical Buddha, focusing on embodiment, gender, and institutional practices during the Song dynasty. He also investigates Buddhist-Daoist intellectual exchanges, particularly regarding theories of liberation and bodily practices. Recent publications include Discerning Buddhas: Authority, Agency, and Masculinity in Chan Buddhism (2025) and co-edited volume Buddhist Masculinities (2023). His work appears in top journals like Harvard Journal of Asiatic Studies and T’oung Pao , supported by Fulbright and Bukkyo Dendo Kyokai grants. Scientific Awards: Fulbright Program Grant Bukkyo Dendo Kyokai Grant Buckelew's scholarship combines textual analysis, historical methodology, and thematic explorations of moral responsibility and gender construction in premodern Chinese religious contexts.
Ambrus Pal is a Reader in Pure Mathematics at the Department of Mathematics, Imperial College London, within the Faculty of Natural Sciences. His research interests span Pure Mathematics, Mathematical Physics, and Applied Mathematics, with a focus on algebraic geometry, number theory, and cohomology theories. He is affiliated with the CNRS-Imperial Abraham de Moivre UMI and contributes to both research and teaching in mathematics. His work often addresses cohomological pairings, arithmetic geometry, and the Brauer-Manin obstruction. Notable projects include studies on p-adic cohomology, motivic Euler characteristics, and the arithmetic Yau-Zaslow formula. Pal has collaborated on international conferences and schools, such as the LMS-CMI Research School on Homotopy Theory and Arithmetic Geometry. His publications reflect a deep engagement with abstract algebraic structures, including quasi-Boolean groups, Grothendieck-Witt rings, and real projective geometry. While his research emphasizes theoretical advances, applications to arithmetic applications and global function fields are recurrent themes. No scientific awards or advising records are explicitly mentioned.
