R. Luke DuBois is an Associate Professor and Co-Chair of the Technology, Culture and Society Department at the NYU Tandon School of Engineering, where he also directs the Integrated Design & Media program and the Brooklyn Experimental Media Center. He holds a DMA in music composition from Columbia University and is a renowned artist, composer, and performer whose work explores intersections between technology, sound, and visual media. His research focuses on digital media, human-computer interaction, and emerging technologies applied to artistic expression and accessibility. Key roles include directing the SONYC initiative (addressing urban noise pollution via AI) and leading the NYU Ability Project (advancing disability studies through technology). He has collaborated with institutions like the Smithsonian and artists such as Maya Lin, and his work has been exhibited globally, including at the Sundance Film Festival and the Aspen Institute. DuBois co-developed the Jitter software suite for real-time data manipulation and performs in avant-garde groups like Bioluminescence and Fair Use. His artistic practice combines time-lapse phonography, interactive installations, and interdisciplinary projects that critique cultural ephemera while advancing accessibility in STEM and the arts. Recent contributions include browser-based tools for accessible music notation (SoundCells) and sonification techniques for calculus education. He serves on the Board of the ISSUE Project Room and has been featured in major publications like the New York Times and TED Conference talks.
Alexander Hollberg is an Associate Professor in the Division of Building Technology at Chalmers University of Technology, within the School of Architecture and Civil Engineering. His academic role focuses on Computational Sustainable Design, emphasizing the development of digital tools for sustainable building and urban design. He holds a PhD in Parametric Life Cycle Assessment (2016) from Bauhaus University Weimar, an MSc in Architectural Engineering (2011), and a BSc in Civil Engineering (2008) from Technical University of Munich (TUM). His research interests include Sustainable Design Optimization, Stakeholder Interaction, Artificial Intelligence, and Life Cycle Assessment (LCA). He co-founded CAALA, a software and consulting startup in Munich, Germany, advancing tools for real-time environmental performance evaluation in early design stages. Recent work includes studies on digital twins for urban planning, robust renovation strategies, and AI-driven facade optimization. Hollberg was promoted to Docent (Associate Professor) in Computational Sustainable Design in 2022, focusing on bridging computational methods with sustainable environmental transitions. His collaborative projects address tool development for stakeholder engagement, BIM integration, and circular economy frameworks in construction. Key Projects: Development of Bombyx and Twinable tools for real-time LCA and urban simulation Leading the Nordic Build-LCA PhD forum and BIM-based LCSA applications Contributions to IEA EBC Annex 72 guidelines on life cycle environmental impacts Education Background: PhD in Parametric Life Cycle Assessment, Bauhaus University Weimar, 2016 MSc in Architectural Engineering, Bauhaus University Weimar, 2011 BSc in Civil Engineering, Technical University of Munich, 2008 His research outputs prioritize early design-stage decision support through parametric modeling and AI, with a focus on carbon neutrality and material circularity in construction.
Jinhan Kim is a Postdoctoral Researcher at the Università della Svizzera italiana (USI) in the Faculty of Informatics, working in the TAU lab under Prof. Paolo Tonella. He earned his Ph.D. from KAIST under Prof. Shin Yoo, focusing on software engineering research in mutation testing, fault localization, and deep learning system testing. His work bridges traditional software engineering techniques with AI-driven methodologies, emphasizing AI4SE and SE4AI paradigms. Education: Ph.D. in Software Engineering, KAIST, 2023 Research Interests: Mutation Testing Deep Learning System Testing Autonomous Systems Testing Adversarial Attack Detection Empirical Software Engineering Service and Leadership: Organized SBFT 2026 and DeepTest 2026 (co-located with ICSE 2026) Program Committee Member for ASE, ISSTA, Mutation, and DeMeSSAI Board of Distinguished Reviewers for TOSEM (2024–2025) Labs and Teams: Active contributor to the TAU Lab at USI, focusing on advanced software testing and AI integration.
Jeyavijayan 'JV' Rajendran is an Associate Professor in the Department of Electrical and Computer Engineering at Texas A&M University, part of the College of Engineering. He is an ASCEND Fellow and leads the Secure and Trustworthy Hardware (SETH) Lab. His research focuses on hardware security, computer security, and novel applications of AI in secure hardware design. Education: PhD in Electrical Engineering (NYU 2015), MS in Computer Engineering (NYU Tandon 2010), BE in Electronics and Communication Engineering (Anna University 2008). Research Interests: Hardware Security, Computer Security, Logic Locking, Hardware IP Protection, and Reinforcement Learning for Security. He explores AI-driven approaches to detect vulnerabilities, protect intellectual property, and enhance secure hardware design through fuzzing, obfuscation, and formal verification. Notable Awards: 2022 Office of Naval Research Young Investigator Award, 2021 IEEE CEDA Ernest Kuh Early Career Award, 2017 NSF CAREER Award. Lab and Teams: The SETH Lab focuses on trustworthy hardware design, developing techniques to secure integrated circuits against reverse engineering and IP theft. Current projects include LLM-based hardware code generation, formal approaches for hardware fuzzing, and AI-driven vulnerability detection.
Tongguang Li is a Research Fellow at the Department of Human Centred Computing, Monash University. His research focuses on learning analytics, self-regulated learning, and AI applications in education. He has contributed to the development of the FLoRA engine, an AI tool designed to enhance hybrid human-AI regulated learning. Li’s work explores adaptive scaffolding, large language model (LLM) feedback systems, and the integration of multimodal data for educational insights. His recent studies investigate how LLMs like ChatGPT can provide effective feedback to students, analyze rhetorical patterns in writing, and measure the impact of scaffolding on learning processes. Li has been recognized for his research with the Conference Best Full Student Paper Award from the Australiasian Society for Computers in Learning in Tertiary Education (2022). Key themes in his work include understanding self-regulated learning strategies through trace data, optimizing adaptive systems for learner engagement, and leveraging AI for educational innovation. His research bridges cognitive science, data analytics, and educational technology to improve learning outcomes and pedagogical practices.
Riyadh Baghdadi is an Assistant Professor of Computer Science at New York University Abu Dhabi and a Global Network Assistant Professor at the Tandon School of Engineering, NYU. He is also a Research Affiliate at MIT, where he previously completed a postdoctoral fellowship. His academic journey includes a PhD and Master’s from Sorbonne University (INRIA/UPMC) and an engineering degree from Ecole Supérieure d’Informatique in Algiers. Assistant Professor, NYU Abu Dhabi Global Network Assistant Professor, Tandon School of Engineering, NYU Research Affiliate, MIT His research lies at the intersection of compilers, programming languages, and applied machine learning, with a focus on developing advanced compiler techniques for deep learning, high-performance computing, and data-parallel algorithms. He is the lead developer of the Tiramisu compiler , a polyhedral compiler designed to optimize dense and sparse deep learning workloads across diverse architectures including CPUs, GPUs, and FPGAs. Riyadh’s recent publications demonstrate a strong trend toward integrating machine learning into compiler optimization—particularly in cost modeling, loop scheduling, and automatic code generation. His work addresses critical challenges in optimizing sparse neural networks and enabling efficient execution on resource-constrained platforms like smartphones and autonomous vehicles. Outstanding Paper Award, MLSys 2021 He has mentored 18 students and taught core courses such as Computer Systems Organization and Machine Learning at NYUAD. His service to the academic community includes program committee roles at MLSys, IPDPS, ECOOP, and PACT, as well as organizing workshops on polyhedral compilation and machine learning for hardware-software co-design. Riyadh actively contributes to open-source projects and collaborates with industry leaders including Google, Facebook, NVIDIA, and Intel. He leads the development of Tiramisu and collaborates on DSLs like GraphIt and Halide, focusing on performance portability and automation in compiler design.
Lisa Ollinger is a Professor of Production Automation at Ulm University of Applied Sciences (Technische Hochschule Ulm), where she has been serving since October 2019. She teaches courses in Automation Technology 1 and 2 for the Business Engineering program, Industrial Automation for the Digital Production program, and Flexible Automation for the Systems Engineering and Management Master's program. Her educational and professional background includes: Technology Leader for Engineering Projects in Automation and Digitalization at Procter & Gamble GmbH (2014-2019) Researcher at the German Research Center for Artificial Intelligence (DFKI) in the Innovative Factory Systems research area (2012-2014) Research Assistant at TU Kaiserslautern in the Production Automation department (2009-2011) Professor Ollinger's research focuses on the intersection of industrial automation and digital transformation. Her work explores how emerging technologies like Industrial Internet of Things, cyber-physical systems, and digital twins can revolutionize manufacturing and logistics processes. She investigates flexible production systems that can adapt to changing requirements through skill-based engineering approaches and novel communication architectures using OPC UA standards. Her research also extends to robotics applications, particularly industrial robotics and autonomous mobile robots, often leveraging ROS (Robot Operating System) frameworks. Her recent publications demonstrate a strong focus on practical implementations of Industry 4.0 concepts, particularly in warehouse management and production systems. She examines how digital twin technology can enhance logistics operations and how agent-based systems can improve manufacturing resilience. A common thread in her work is the application of OPC UA communication standards to create more flexible, interoperable industrial systems. Professor Ollinger holds significant administrative roles at THU: Dean of the Master's program in Systems Engineering and Management Member of the University Council Member of the Institute for Manufacturing Technology and Materials Testing (IFW) Founding Ambassador for Startup South She maintains active professional connections through ResearchGate, LinkedIn, and ORCID, reflecting her commitment to academic collaboration and knowledge sharing in the field of industrial automation and digital manufacturing.
Ellen Kuhl serves as the Catherine Holman Johnson Director of Stanford Bio-X and the Walter B. Reinhold Professor in the School of Engineering at Stanford University. She holds dual appointments as Professor of Mechanical Engineering and, by courtesy, Bioengineering, leading interdisciplinary research at the convergence of physics, computation, and biology. Her academic credentials include: Habil., TU Kaiserslautern (2004) Ph.D., University of Stuttgart (2000) M.S., Leibniz University of Hanover (1995) B.S., Leibniz University of Hanover (1993) Kuhl pioneers Living Matter Physics , developing computational frameworks that integrate physics-based modeling with machine learning to simulate biological systems across scales. Her work spans cardiovascular dynamics (including the 400-member global Living Heart Project), neurodegenerative disease progression (Alzheimer's tau pathology), and sustainable food systems (mechanics of plant/fungi-based meats). Recent innovations focus on automated model discovery using constitutive neural networks to democratize simulation tools for soft matter systems, with applications in precision medicine and climate-resilient food innovation. Her lab actively bridges engineering fundamentals with urgent societal challenges in healthcare and planetary health. Her publication trajectory reveals accelerating integration of AI with biomechanics, particularly in automated constitutive modeling for diverse tissues and food materials. Key trends include uncertainty quantification in neural networks, physics-informed machine learning for digital twins, and democratization of simulation tools for non-experts – reflecting her commitment to accessible computational science. Major recognitions include: National Science Foundation Career Award (2010) Humboldt Research Award (2016) ASME Ted Belytschko Applied Mechanics Award (2021) ERC Advanced Grant (2024) Fellowships in ASME and AIMBE As Bio-X Director, Kuhl orchestrates major interdisciplinary initiatives connecting engineering with life sciences, securing substantial funding including the 2024 ERC Advanced Grant. Her leadership extends to the US National Committee on Biomechanics and World Council of Biomechanics, while her Living Heart Project demonstrates exceptional translational impact through industry/medical partnerships across 24 countries. The Living Matter Lab operates as a nexus for high-impact research, developing computational tools that transform cardiovascular medicine, decode neurodegenerative mechanisms, and engineer sustainable food alternatives. Current projects leverage AI to accelerate plant-based meat development, model elephant-trunk-inspired soft robotics, and personalize cardiac simulations – all unified by her vision of physics-driven machine learning for global challenges.
Prof. Dr.-Ing. habil. Gero Mühl is a W2-Professor at the University of Rostock, where he holds the chair for "Architecture of Application Systems" since October 2009. His academic journey includes positions as a Heisenberg Fellow at the Technical University of Berlin (2009), postdoctoral research at TU Berlin (2002-2009), and doctoral studies at TU Darmstadt where he received his Dr.-Ing. degree with distinction in 2002. He completed dual Diplomas in Computer Science (Dipl.-Inform.) and Electrical Engineering (Dipl.-Ing.) from FernUniversität in Hagen in 1998. Prof. Mühl's research focuses on Self-Organizing Distributed Systems , with particular expertise in distributed systems, distributed algorithms, event-based systems, middleware, energy-efficient systems, organic computing, sensor networks, web services, and electronic commerce. His work bridges theoretical foundations with practical implementations in real-world distributed environments. His recent publications show a strong trend toward time-sensitive networking, content-based publish/subscribe systems, and P4 programmable data planes. These works address critical challenges in industrial communication, real-time systems, and network reliability. His research group has made significant contributions to making distributed systems more autonomous, reliable, and efficient. Scientific awards and recognitions include: Nomination for the Berlin Science Award for Young Scientists (2008) Heisenberg Fellowship by the German Research Foundation (DFG) (2008) Best paper award in System Software and Security at SAC 2015 Prof. Mühl has been actively involved in numerous research projects and collaborations, particularly focusing on self-organizing and self-stabilizing systems. His work on the REBECA publish/subscribe middleware represents a significant contribution to autonomous distributed systems. He has supervised numerous students and researchers, contributing to the development of the next generation of computer scientists specializing in distributed systems. His laboratory at the University of Rostock focuses on practical implementations of self-organizing distributed systems, with current projects investigating time-sensitive networking, publish/subscribe systems, and energy-efficient distributed computing. The team combines theoretical analysis with practical system development to address real-world challenges in industrial and commercial applications of distributed systems.
Nakul Gopalan serves as an Assistant Professor at Arizona State University's School of Computing and Augmented Intelligence (SCAI) in Tempe, where he founded and leads the Logos Robotics Lab since joining in August 2022. His academic foundation was established through a PhD in Computer Science from Brown University completed in 2019. Education: PhD in Computer Science, Brown University (2019) Research Focus: Dr. Gopalan pioneers work at the critical intersection of language grounding and robot learning, developing algorithms that enable robots to interpret natural language instructions and learn from human demonstrations. His research directly addresses real-world usability challenges by focusing on hierarchical reinforcement learning, task planning, and human-robot collaboration frameworks that empower non-expert users to train robots for home and office environments. Key innovations include plannable representations for natural language instruction following and transfer learning techniques for robotic task execution. Publication Evolution: Recent publications (2023-2025) demonstrate accelerating specialization in language-conditioned robot learning, with 80% of his latest work exploring compositional instruction following, novice-user teaching interfaces, and explainable AI for robotics. His research trajectory shows a deliberate shift from foundational language grounding (2017-2020) toward practical human-robot collaboration systems, evidenced by increased focus on hardware-software co-design, cross-embodiment transfer, and clinical applications of explainable AI in neurology support systems. Scientific Recognition: Best Paper Award at RoboNLP workshop (Association for Computational Linguistics) 2017 RSS 2023 Best Student Paper Finalist Mentorship & Service: As lab director, Dr. Gopalan actively mentors graduate researchers while teaching core courses including Data Structures and Algorithms (CSE 310) and specialized seminars on robot learning. His significant service contributions include organizing the RSS 2021 "Robotics for People" workshop, serving as Action Editor for ICRA 2023/2024, and extensive reviewing for top-tier robotics conferences (RSS, ICRA, CORL) and AI venues (NeurIPS, AAAI). Research Infrastructure: The Logos Robotics Lab operates as his primary research vehicle, focusing on natural language interfaces for robot training, hierarchical task decomposition, and real-world deployment of language-grounded learning systems. Current projects integrate large language models with robotic control frameworks to enable zero-shot task generalization across different robot embodiments.
Prof. Dr. Ulrich Frank is a full Professor of Business Information Systems and Enterprise Modeling at the University of Duisburg-Essen, Faculty of Computer Science. He serves as Director of IS:link, an international student exchange network he founded. His academic career spans multiple prestigious institutions including University of Mannheim, GMD, IBM Almaden Research Center, University of Koblenz-Landau, and University of Duisburg-Essen since 2004. His educational background includes: Business Administration studies (minor in Applied Computer Science) at University of Cologne Doctorate in Political Science from University of Mannheim (1986) Habilitation at University of Marburg (1993) Prof. Frank's research focuses on multi-perspective enterprise modeling, with particular emphasis on object-oriented and multi-level modeling approaches. His work bridges business administration and computer science, exploring conceptual modeling, knowledge management systems, business process reorganization, and the theoretical foundations of business informatics. He has made significant contributions to modeling languages like FMMLx and XModelerML, advancing multi-level modeling techniques for enterprise information systems. His recent publications demonstrate a strong focus on multi-level modeling languages, with particular attention to UML extensions, language engineering, and the application of large language models in systems engineering. The research trajectory shows consistent development of modeling frameworks that support enterprise architecture, business process modeling, and domain-specific language design, with increasing attention to AI-assisted modeling approaches in recent years. Prof. Frank has received significant recognition through editorial positions at leading journals: Co-Editor of Enterprise Modelling and Information Systems Architectures Co-Editor of Business & Information Systems Engineering Co-Editor of Information Systems and E-Business Management Co-Editor of Software and Systems Modeling Member of the Standing Committee of the European Conference on Information Systems (ECIS) Prof. Frank has served in numerous academic leadership roles including as Chairman of the Examination Board for Business Information Systems, member of the Research Commission at University of Duisburg-Essen, and Appointment Commissioner (2021-2023). He has reviewed for major funding organizations including the German Research Foundation, Federal Ministry of Education and Research, and Swiss National Science Foundation. As founder and senior consultant of IS:link, Prof. Frank leads an international student exchange network connecting universities worldwide. His research group focuses on multi-perspective enterprise modeling (MEMO), developing frameworks and tools for business information systems design and implementation.
Prof. Mohamed El Moursi is a Professor in the Electrical Engineering Department at Khalifa University, Abu Dhabi, UAE. He serves as Director of the Advanced Power and Energy Center (APEC) and Theme Director for renewable energy Integration at the Virtual Research Institute (VRI) for Sustainable Energy Production, Storage, and Utilization (funded by ASPIRE). An IEEE Fellow (Class of 2024) and Distinguished Lecturer of IEEE Power and Energy Society, he holds leadership roles in UAE's scientific community including membership in the MOHAMED BIN RASHID Scientists Council. His academic credentials include: BSc in Electrical Power Engineering from Mansoura University, Egypt (1997) MSc in Electrical Power Engineering from Mansoura University, Egypt (2002) PhD in Electrical Engineering (Power Systems/Power Electronics) from University of New Brunswick, Canada (2005) El Moursi's research pioneers renewable energy integration in modern power systems, focusing on hybrid AC/DC grid stability, AI-driven grid management, and transportation electrification. His work bridges theoretical innovation with industrial applications, particularly in grid stability assessment for high-renewable penetration systems. Key contributions include developing operational platforms like the SAVE software for UAE's national grid and REMS tools for international energy management. He has secured $27,027,129 in research funding from global sources including Europe, North America, GCC nations, and South Korea. Major projects encompass the ASPIRE-funded Virtual Research Institute, TRANSCO/Manitoba Hydro's SAVE Tool, and MIT-collaborative initiatives on grid resilience. To date, he has graduated 10 PhD and 35 MSc students, many receiving national thesis awards. His distinguished recognition includes: IEEE Fellow (2024) Khalifa Award for Education (2022) UAE Ministry of Energy R&D Award (2023) Mission Innovation Champion (2019) Abu Dhabi Technology Development Committee Gold Medal (2015) Multiple editorial awards from IEEE Transactions As APEC Director, El Moursi leads a multidisciplinary team developing cutting-edge solutions for grid modernization. His center maintains strategic partnerships with TRANSCO, ELIA GRID International, and Dubai Electricity and Water Authority, translating research into real-world grid stability and energy management systems through tools like SAVE and REMS.
Johannes Schöning is a Professor of Human-Computer Interaction (HCI) at the University of St. Gallen and leads the Ubiquitous Media Technology Lab . His research focuses on developing user interfaces that empower individuals and communities through data-driven decision-making, with interdisciplinary applications in geographic information science, public health, medical contexts, and extreme environments like space missions. He emphasizes methodological rigor from AI, computer graphics, and cognitive psychology. Organizes AlpCHI 2026 Chair of ACM Eugene Lawler Award Committee Editorial Board, AI Perspectives (Springer Nature) Research Trends : His publications from 2025–2024 reveal a focus on Mixed Reality (autoethnography, weight perception), Accessibility (visual impairment support), Environmental HCI (CO2 eco-feedback), and Geospatial Technologies (navigation externalities, map analytics). Interdisciplinary work appears in journals like Nature and PLOS ONE . Scientific Recognition : ACM Distinguished Member Best Paper & Accessibility Awards (Interact 2019, MobileHCI 2015) Junior Fellow, Gesellschaft für Informatik (2013) Academic Service : Active in conference leadership (SIGCHI Switzerland Chair 2021–2023, ISS 2016 Program Chair) and reviewing for top venues including ACM CHI , Ubicomp , and IEEE VR . Regular reviewer for European science foundations and DFG/BMBF proposals.
Dr. Lucie Kruse is a researcher at the Department of Informatics, University of Hamburg, specializing in Human-Computer Interaction (HCI) and Virtual Reality (VR). Her work focuses on immersive user interfaces for cognitive and physical training, particularly for older adults and those with dementia. She has been an active member of the University of Hamburg's HCI group since 2018 and served on the Ethics Commission since 2023. Her research interests include: Virtual Reality Exergames Serious Games Assistive Technologies Accessibility in VR Mental Health Applications Her publications from 2021-2025 demonstrate expertise in designing VR systems for healthcare, analyzing age-related interaction patterns, and developing inclusive interfaces. She has received multiple awards including the 2024 Honorable Mention for Best Poster at ACM SUI and the 2023 Honorable Mention at ACM CHI. Scientific Awards: Honorable Mention for Best Poster Award at ACM SUI (2024) Runner-Up Prize at Metaverse for the Good (2024) Honorable Mention at ACM CHI'23 Interactive Demo (2023) Honorable Mention at ACM VRST (2021) She has supervised multiple theses on topics like AI agents for mental health, accessibility of chatbots for seniors, and VR exergame design. Her work spans collaborations with institutions like HITLab NZ and Western Sydney University's MARCS Institute.
Sean Welleck is an Assistant Professor at Carnegie Mellon University's School of Computer Science, specifically within the Language Technologies Institute (LTI). He leads the L3 Lab and serves as an advisor for the AI for Math Fund. His academic journey includes a PhD from New York University under Kyunghyun Cho and postdoctoral positions at the Allen Institute for Artificial Intelligence and the University of Washington with Yejin Choi. Dr. Welleck's educational background shows a strong foundation in computer science. He earned his PhD in Computer Science from New York University, where he worked under the mentorship of Kyunghyun Cho and Zheng Zhang. Prior to this, he completed his MSE and BSE in Computer Science from the University of Pennsylvania, demonstrating a long-standing commitment to the field. Dr. Welleck's research focuses on bridging informal and formal reasoning with AI, with particular emphasis on developing learning, inference, and evaluation algorithms for large language models. His work spans multiple cutting-edge areas including mathematical reasoning , code generation , inference algorithms , and AI reasoning agents . A significant portion of his recent work involves combining AI with formal methods for mathematics, where he has developed frameworks like Llemma (an open-source language model for mathematical reasoning) and meta-generation (for inference-time algorithms). His research is characterized by a strong theoretical foundation coupled with practical applications that push the boundaries of what AI systems can achieve in formal reasoning domains. Analysis of Dr. Welleck's recent publications reveals a clear research trajectory focused on enhancing language models' capabilities in formal reasoning and mathematical problem-solving. His work demonstrates an evolution from foundational research in neural text generation to increasingly sophisticated approaches that integrate formal methods with deep learning. Key trends include the development of inference-time algorithms that improve model performance without additional training, frameworks for mathematical reasoning that connect informal and formal proofs, and novel evaluation methodologies for language models. His publications consistently appear in top-tier conferences including NeurIPS, ICLR, ICML, and ACL, reflecting the high impact of his contributions to the field. Dr. Welleck's scientific achievements have been recognized with several prestigious awards: NAACL 2025 Best Paper Award ICLR 2025 Oral Presentation (Top 2%) ICLR 2025 Spotlight Presentation (Top 5%) NeurIPS 2021 Outstanding Paper Award (Top 0.1%) for MAUVE NVIDIA AI Labs Pioneering Research Award (2017 and 2018) As an educator and mentor, Dr. Welleck actively guides the next generation of AI researchers. He currently advises multiple PhD students including Pranjal Aggarwal, Weihua Du, Andre He, and Seungone Kim (some co-advised with other faculty), along with MS students Riyaz Ahuja, Jiewen Hu, Qinyue Tan, and Thomas Zhu, and undergraduate Tate Rowney. At CMU, he teaches advanced courses such as Neural Code Generation and Advanced NLP, and has previously taught at New York University and the University of Washington. His commitment to education extends to creating resources like the Thesis Review Podcast and developing tutorials on neural theorem proving that have been presented at major conferences. Dr. Welleck leads the L3 Lab at CMU, which focuses on the intersection of language, learning, and logic. The lab brings together students and researchers to tackle challenging problems in AI reasoning, with particular emphasis on mathematical reasoning and code generation. Recent initiatives include the development of Llemma, an open-source language model specialized for mathematical reasoning, and work on inference-time algorithms that enable language models to improve their performance through additional computation during inference rather than through additional training.
