Mark Steedman is Professor of Cognitive Science at the University of Edinburgh's School of Informatics, with adjunct appointment at University of Pennsylvania. His research spans computational linguistics, AI, and cognitive science, focusing on Combinatory Categorial Grammar (CCG) and its applications. His research examines: Combinatory Categorial Grammar parsing and semantics Language model capabilities and limitations Cross-linguistic semantic inference Brain modeling of language processing Recent publications analyze hallucination sources in large language models, cross-linguistic entailment graphs, and brain-computer parallels in structure-building. He develops computational models integrating symbolic and distributional approaches to semantics. Honors include ACL Lifetime Achievement Award (2018) and George E. Davis Medal (2001). He serves on editorial boards of major linguistics journals and has authored influential books including 'The Syntactic Process' and 'Taking Scope'.
Nick Koudas is a Professor in the Department of Computer Science at the University of Toronto, specializing in large-scale data management, data systems, and applied machine learning. His research integrates machine learning techniques into scalable data platforms to enhance the analysis of massive datasets. He holds a PhD from the University of Toronto, an MSc from the University of Maryland, and a Bachelor's degree from the University of Patras. Education: PhD, University of Toronto MSc, University of Maryland at College Park Bachelor's degree, University of Patras, Greece Research Interests: Relational Deep Dive (ReDD): Natural language query execution over unstructured documents Streaming Video Queries (SVQ): Interactive query processing for video streams Reliable Text-to-SQL: Generating accurate SQL queries with human-in-the-loop assistance Machine Learning Integration in Data Systems Publications: Focus on video analytics, query processing, and reliable natural language interfaces. Notable works include optimizing video queries, declarative frameworks for temporal constraints, and abstention-based SQL generation. Awards: Inventor of the Year (1st Prize), University of Toronto (2011) Best Paper Awards at international conferences Entrepreneurship & Advising: Co-founder of Sysomos (Meltwater Group), Aislelabs (Constellation Software), and Workorb Advisor to mapintent and ktau Labs & Teams: Leads research groups developing systems like ReDD and SVQ, emphasizing collaboration between academia and industry.
Rogério de Lemos is a Senior Lecturer in Computing Science and Director of Postgraduate Research (PGR) at the School of Computing, University of Kent. He previously served as an invited assistant professor at the University of Coimbra, Portugal, and as a Senior Research Associate at the Centre for Software Reliability (CSR) at the University of Newcastle upon Tyne, UK. Dr. de Lemos' research focuses on architecting resilient systems, particularly in resilient AI, self-adaptive software systems, and authorization infrastructures. He belongs to both the Programming Languages and Systems Group and the Cyber Security Group at the University of Kent. His specific research interests include: Software engineering for self-adaptive systems assurances and resilience evaluation Dynamic generation of processes Handling insider threats using self-adaptive authorization Architectural abstractions for fault tolerance Verification and validation of dependable software architectures Software development for safety-critical systems Dependability and bioinspired computing His publication trends show increasing emphasis on practical applications of self-adaptive systems in cyber security contexts, with recent work spanning network traffic analysis, cryptographic function detection, and cloud-edge security architectures. His research bridges theoretical foundations with practical implementations, particularly in cyber security and resilient systems architecture. Dr. de Lemos currently leads the "Collaborative and Confidential Information Sharing and Analysis for Cyber Protection" project funded by the European Union's Horizon 2020 Programme. His past projects include "ADAAS: Assuring Dependability in Architecture-based Adaptive Systems" and multiple collaborations with NCR on sensor fusion and fault tolerance. As Director of Postgraduate Research, he oversees the School of Computing's research degree programs and likely supervises PhD students in resilient systems and cyber security, though specific student names are not listed in the available information.
Golan Levin is Professor of Electronic Art at Carnegie Mellon University's School of Art, with courtesy appointments in the School of Design, School of Architecture, School of Computer Science, and Entertainment Technology Center. From 2009 to 2022, he served as Director and Co-Director of CMU's Frank-Ratchye STUDIO for Creative Inquiry, a laboratory dedicated to supporting atypical, anti-disciplinary research at the intersection of arts, science, technology, and culture. Levin's research spans interactive art, digital fabrication, information visualization, and generative design. He explores the critical potential of visualization, generative computation for expressive form, and how abstraction connects to realities beyond language. His practice engages interactive gestural robotics, nonverbal interaction aesthetics, and tactical applications of personal digital fabrication through responsive artifacts and media provocations that highlight human-machine relationships. His publications reveal consistent innovation in real-time audiovisual systems, interactive fabrication interfaces, and pedagogic tools for artists. Key trends include slit-scan video techniques, tangible augmented-reality performance, and noise-based visualizations, demonstrating his commitment to expanding human action vocabulary through digital media while bridging artistic expression with computational systems. Levin's work has received significant recognition: Permanent collection inclusion at Museum of Modern Art (MoMA) Whitney Biennial exhibition "50 Designers Shaping the Future" by Fast Company (2012) Competitive grants from National Endowment for the Arts, National Endowment for the Humanities, Creative Capital, and Rockefeller MAP Fund As an educator, Levin teaches "studio courses in computer science" on interactive art, experimental capture, and generative design, emphasizing computation as a medium for critical inquiry. His research funding from major cultural institutions supports interdisciplinary exploration at the arts-technology nexus. The Frank-Ratchye STUDIO for Creative Inquiry, which he directed for 13 years, remains a vital hub for anti-disciplinary collaboration, continuing his legacy of fostering creative agency through technology-infused artistic practice.
Tim Van de Cruys is a Senior Lecturer at the Faculty of Arts, KU Leuven, serving as Head of the Centre for Computational Linguistics (CCL). He maintains significant affiliations with LECTIO (KU Leuven Institute for the Study of the Transmission of Texts, Ideas and Images), Leuven.AI (KU Leuven Institute for Artificial Intelligence), and LILI (KU Leuven Interdisciplinary Language Institute). His work bridges computational linguistics, artificial intelligence, and humanities research with practical applications across multiple disciplines. Dr. Van de Cruys specializes in computational semantics and creative language generation, with particular expertise in applying NLP techniques to historical and classical texts. His research spans multiple domains including: Natural Language Processing for ancient languages (Latin, Ancient Greek) Computational approaches to lexical and compositional semantics Large language models and their applications in humanities research Creative language generation and human-AI collaboration Named entity recognition and disambiguation in historical contexts Non-autoregressive modeling for sequential generation tasks His recent publications demonstrate a strong focus on applying cutting-edge NLP techniques to humanities challenges, particularly in processing ancient languages. He frequently employs transformer models to address named entity recognition, word sense discrimination, and semantic analysis in low-resource language contexts. His work consistently bridges formal linguistic theory with practical computational applications, creating valuable tools for digital humanities scholars. As promotor and co-promotor on numerous research projects extending through 2029, Dr. Van de Cruys supervises PhD students working at the AI-humanities intersection. His current major projects include "Living Corpora" (exploring human-AI collaboration in digital humanities), "Stochastic processes and non-autoregressive models for sequential generation," and "NIKAW" (exploring knowledge networks from classical antiquity). These projects demonstrate his commitment to advancing both theoretical understanding and practical applications of computational linguistics. He teaches various courses including Computational Linguistics, Scripting Languages, Programming for Humanities, Computational Creativity, and AI for Humanities, training students to work at this critical interdisciplinary crossroads. His leadership of the Centre for Computational Linguistics positions him at the forefront of computational linguistics research in Belgium, where he continues to expand the boundaries of what's possible at the intersection of language, computation, and humanistic inquiry.
Cyrille Artho is an Associate Professor in the Division of Theoretical Computer Science at KTH Royal Institute of Technology, actively contributing to research in formal methods, software testing, and cybersecurity. His work spans model checking, smart contract security, and concurrent systems verification, with significant contributions to tools like Java Pathfinder and Modbat. PhD from ETH Zurich (2005) with dissertation on multi-threading fault detection Teaches Software Safety and Security, Software Engineering Fundamentals, and supervises degree projects His research focuses on developing formal techniques for safety-critical systems, particularly in blockchain security and distributed applications. Recent work emphasizes smart contract verification, anomaly detection in microservices, and trusted execution environments for secure cloud analytics. The 15 most recent publications reveal a strong trend toward blockchain security (6 articles), formal verification of distributed systems (5), and novel testing methodologies (4), with increasing integration of machine learning for vulnerability detection. As chair of the FTSCS workshop series and contributor to major conferences like ASE and ICST, Artho has significantly shaped the formal methods community. His leadership in organizing workshops demonstrates commitment to advancing safety-critical systems research. Principal investigator for C3.ai DTI Cyber Safety Cage for Networks project Develops Modbat framework for model-based API testing Active in Digital Futures research initiative at KTH
Mehmet Esat Belviranli is an Assistant Professor in the Computer Science Department at the Colorado School of Mines, where he directs the High Performance Systems and Software Lab (HyperSys). His research focuses on increasing resource utilization in heterogeneous architectures through runtime systems, scheduling algorithms, and performance modeling, with publications in top venues including MICRO, PPoPP, and SC. Education: Ph.D. in Computer Science, University of California, Riverside (2016) M.S. in Computer Science, Bilkent University (2009) B.S. in Computer Science, Bilkent University (2006) Belviranli's research spans heterogeneous architectures, runtime systems, performance modeling, parallel programming, autonomous computing, deep learning acceleration, cyber-physical systems, and edge-cloud platforms. His work develops analytical models and programming abstractions to address resource management, scheduling, and security challenges in diversely heterogeneous systems, with applications in edge computing, autonomous systems, and machine learning acceleration. Recent projects emphasize real-world constraints and security implications. His publication trends reveal increasing focus on edge-cloud resource management (e.g., HARNESS), security vulnerabilities in heterogeneous systems (e.g., MC3), and deep learning acceleration under resource constraints. Key themes include memory contention modeling, scheduling for cyber-physical systems, and concurrent DNN execution, reflecting a shift toward practical deployment in security-sensitive edge environments. Scientific Awards: U.S. Air Force Research Lab Summer Faculty Fellowship Award (2022) U.S. Air Force Research Lab Summer Faculty Fellowship Award (2021) Oak Ridge National Laboratory Significant Event Award (2019) Best Paper Finalist, IEEE HPEC 2018 Outstanding Paper Award, DATE 2024 Belviranli mentors Ph.D. students Ismet Dagli (MLCommons Rising Star 2024, CGO'24 SRC finalist) and Justin Davis (DATE'24 Outstanding Paper Award winner). He has secured $2M+ in funding from NSF, DoE, and SRC, including an NSF-SaTC grant on mobile security (2024), a DoE grant on superconductive systems (2023), and an NSF FuSe grant on graphene nanoribbons (2023), often leading multi-institutional teams from Rochester, Virginia, Arizona, and Minnesota. The HyperSys Lab develops ecosystems for high-performance heterogeneous systems, with recent projects including HARNESS for edge-cloud resource management and MC3 for mobile SoC security. The lab has received equipment donations from Google Coral.ai and Xilinx, and collaborates with national labs on security challenges and next-generation semiconductor technologies.
Dr. Jing Li is an Associate Professor and Eduardo D. Glandt Faculty Fellow at the University of Pennsylvania , holding dual appointments in the Electrical and Systems Engineering and Computer and Information Science departments. As co-director of the CyberSavvy nationwide security research center and director of the Penn Computational Intelligence Lab (PennCIL) , she pioneers innovations in non-von Neumann computing paradigms. Her research spans post-CMOS technologies, in-memory computing, and hardware-software co-design for security and AI applications. PhD in Computer Engineering, Purdue University (2009) BSc in Electrical Engineering, Shanghai Jiaotong University (2004) Research Focus: Dr. Li's work addresses fundamental challenges in computer systems across the stack. Key areas include: In-Memory Computing: Liquid Silicon architecture combining RRAM with silicon CMOS through monolithic 3D integration Security Engineering: Transforming computer security from "Art" to formal "Engineering" discipline within CyberSavvy Virtualization: Cloud FPGA abstraction layers decoupling compilation from runtime resource management Graph Analytics: Degree-aware optimization techniques for massive-scale graph processing Deep Learning Systems: Roofline model extensions for FPGA-based CNN acceleration Scientific Impact: Awarded DARPA Young Faculty Award , NSF CAREER Award , and IBM CEO Milestone Award , her team has achieved world records in energy-efficient computing (ENIAD supercomputer). With 46 U.S. patents and over 80 publications, she leads ecosystem development for emerging computing architectures through initiatives like the open-source MEG simulation platform . Community Leadership: Dr. Li serves on program committees for flagship conferences ( ISCA , FPGA Symposium ), chairs the International Memory Workshop , and contributes to the MLsys conference's inaugural committee. She actively mentors through multiple PhD openings and industry collaborations.
Aleksandar Kostic is a Lecturer in the Department of Architecture and Built Environment at South East Technological University (SETU), where he also serves as Lead Researcher. He holds a PhD from University College Dublin, awarded in 2022, and is actively contributing to the academic and professional architecture community. PhD in Design Theory, University College Dublin (2022) His research lies at the intersection of philosophy and architectural design, with a strong focus on design theory, epistemology, ethics, and aesthetics. He explores fundamental questions such as aporia (intellectual impasses) in design, the influence of Platonic philosophy, and the ethical responsibilities of architects. His work emphasizes critical thinking and philosophical inquiry in architectural practice and education. The trends in his publications reveal a consistent engagement with philosophical concepts applied to architectural problems. From examining 'aporetic' design challenges to analyzing Plato’s views on expertise, his research bridges abstract thought and practical design. Recent works continue this trajectory, addressing ethical values, non-material aspects of design, and the role of contradiction in innovation. Nomination for MIES EU Award for Architecture (2009) Aleksandar Kostic advises PhD students and is actively involved in research dissemination through publications, peer-review, and conference organization. He serves on the steering committee of the All Ireland Architecture Research Group and is a member of the Centre for Platonic Studies at Trinity College Dublin and the Royal Institute of the Architects of Ireland. His peer-review activities include journals such as She JI and Building Material . He is a key member of the Architecture Research Group at SETU and collaborates across disciplines, particularly with philosophy. His upcoming activity includes organizing the 'Ethics in Architecture' conference in 2025, highlighting his leadership in integrating ethical discourse into architectural research.
Shuran Song is an Assistant Professor of Electrical Engineering at Stanford University, with a courtesy appointment in Computer Science. Previously, she was faculty at Columbia University. She holds a Ph.D. in Computer Science from Princeton University and a BEng from HKUST. Her research focuses on the intersection of computer vision and robotics, particularly in embodied AI, robot manipulation, and sensorimotor learning. Song's work emphasizes learning from physical interactions to enable robots to perform complex tasks autonomously. She leads the Robotics and Embodied AI Lab (REAL@Stanford) and has received prestigious awards, including the NSF Career Award, Sloan Fellowship, and Microsoft Faculty Fellowship. Education: Ph.D., Computer Science, Princeton University; BEng, HKUST Affiliations: Stanford School of Engineering, Department of Electrical Engineering Research interests include deformable object manipulation, visuomotor policy learning, and generalizable robot skills. Her lab develops algorithms for robots to learn through interaction, with applications in household assistance (e.g., TidyBot) and industrial automation. Notable contributions include the TossingBot and Diffusion Policy frameworks. Publications span robotics, computer vision, and AI conferences (RSS, ICRA, CVPR), focusing on policy learning, deformable object handling, and embodied intelligence. Awards highlight her impact in advancing robot learning and perception. Advises doctoral and master's students in robotics and AI, and collaborates on grants from NSF, DoD, and industry partners. Teaches courses on robot perception and embodied AI at Stanford.
Kenneth Ross is a Professor in the Computer Science Department at Columbia University in New York City. His primary appointment is within the Department of Computer Science, with affiliations including the Foundations of Data Science Committee. His work bridges theoretical database research and practical system implementation. His research focuses on database systems with particular expertise in query processing, query language design, data warehousing, and architecture-sensitive database system design. Additional research spans computational biology, especially analysis of large genomic data sets. Current projects include Linear Algebra Operators in Databases for machine learning workloads and Repeats and Somatic Mutation analysis in genomics. His work consistently addresses the intersection of hardware capabilities and database system design. Ross leads the Database Research Lab at Columbia, which has produced significant work on query optimization, GPU database processing, and hardware-conscious database systems. His recent publications demonstrate strong focus on adapting database systems to modern hardware including GPUs, SIMD processors, and persistent memory. His scientific recognition includes: Packard Foundation Fellowship Sloan Foundation Fellowship NSF Young Investigator Award Distinguished Faculty Teaching Award (2008) Ross actively advises undergraduate engineering students (juniors with last names P-Z) and has taught foundational courses including Introduction to Databases and Programming and Problem Solving for over two decades. His teaching portfolio shows consistent engagement with both theoretical concepts and practical implementation challenges in computer science education.
Barbara Gail Montero is the Rev. John A. O’Brien Professor of Philosophy at the University of Notre Dame, where she holds a faculty position in the Department of Philosophy within the College of Arts and Letters. She earned her BA from the University of California, Berkeley, and her PhD from the University of Chicago. Her research focuses on two core areas: the metaphysical relationship between mind and body, and the role of consciousness in expert action. Notably, she explores how physicalism interacts with abstract entities and how athletes defy skill plateaus through orthogonal models of attention and automaticity. Her key publications include Continuous Improvement: Intertwining Mind and Body in Athletic Expertise (2022, co-authored), A Very Short Introduction: Philosophy of Mind (2021), and Thought in Action: Expertise and the Conscious Mind (2016). She has also published influential papers on pain memory gaps, expertise-induced amnesia, and critiques of flow-state theories. Montero’s interdisciplinary work bridges philosophy with dance performance, as seen in collaborations like Curved Spacetimes: Where Friedrich Nietzsche Meets Virginia Woolf . Her teaching spans philosophy of mind, logic, and science, emphasizing neural plasticity and conscious engagement in expertise.
Monica Lam is the Kleiner Perkins, Mayfield, Sequoia Capital Professor in Stanford University's School of Engineering and holds a courtesy professorship in Electrical Engineering. She leads the Stanford Open Virtual Assistant Laboratory and has pioneered work in virtual assistants, privacy protection, and compiler design. Her research includes the Almond virtual assistant, privacy-preserving IoT systems, and the ThingTalk programming language. She co-authored the seminal 'dragon book' on compilers and co-founded Tensilica (now part of Cadence). Education: Bachelor of Science (Honors), Computer Science, University of British Columbia, 1980 Master of Science, Computer Science, Carnegie Mellon University, 1982 Doctor of Philosophy (PhD), Computer Science, Carnegie Mellon University, 1987 Research Interests: Dr. Lam's work focuses on conversational AI with privacy guarantees, compiler optimization for parallel computing, and open-source virtual assistant ecosystems. She is a leader in decentralized systems, having developed frameworks like SociaLite for large-scale graph analysis and Musubi for mobile social networking without centralized platforms. Article Trends: Recent publications emphasize multimodal interactions, multilingual dialogue systems, and LLM-driven applications in areas like question answering, persuasive chatbots, and adaptive assistants. Her work bridges foundational AI research (e.g., semantic parsing) with real-world deployments (e.g., privacy-compliant IoT). Awards & Honors: Member of the National Academy of Engineering ACM Fellow Popular Science's Best of What's New Award (Security, 2019) Advising & Grants: Lam oversees the Open Virtual Assistant Initiative, a collaborative project to build open-source semantic models. Her NSF CNS grant (CNS Core) focuses on federated privacy systems. She has advised over 50 students in AI and systems research, though specific names are not listed in the provided texts. Labs & Teams: Directs the Stanford Open Virtual Assistant Laboratory, collaborates with the Stanford NLP group, and maintains ties to industry through former startup Tensilica's legacy in embedded processors.
Emmett Witchel is a Professor of Computer Science at the University of Texas at Austin , with research spanning computer architecture, systems, networking, security, and privacy . His work focuses on low-level systems optimization and secure concurrent execution. Research Interests: Concurrent systems, secure execution environments, GPU integration, distributed systems. Teaching: CS 380L (Advanced Operating Systems), CS 371M (Mobile Computing). Scientific Awards: Runner-up Best Paper, ASPLOS 2013 Runner-up Award for Outstanding Research, USENIX Symposium 2012 IEEE Micro Top Pick Award 2007 ACM Honorable Mention 2004 George M. Sprowls Award, MIT EECS 2004 Recent Publications demonstrate leadership in CXL pod databases ( Tigon ), stateful serverless computing ( Boki ), SmartNIC-accelerated file systems ( LineFS ), and GPU security ( Telekine ). His work bridges hardware-software co-design and practical systems implementation.
Luca Iocchi is a Full Professor at Sapienza University of Rome, where he teaches in the Master in Artificial Intelligence and Robotics program. He is affiliated with the Department of Computer, Control, and Management Engineering and the Faculty of Engineering of Information, Computer Science and Statistics. Iocchi serves as an Associate Editor for Artificial Intelligence Journal and has been the scientific coordinator of Spoke of PNRR project FAIR (Future AI Research). His educational background includes: Master in Engineering in Computer Science (Laurea in Ingegneria Informatica) cum Laude, Sapienza Università di Roma, 1995 PhD in Engineering in Computer Science (Dottorato in Ingegneria Informatica), Sapienza Università di Roma, 1999 Professor Iocchi's research focuses on cognitive robotics, task planning, multi-robot coordination, robot perception, robot learning, human-robot interaction, and social robotics. His work has significant applications in security, surveillance, and environmental monitoring. He has published over 200 referred papers with an h-index of 46 (Google Scholar). His research bridges theoretical AI with practical robotic systems operating in real-world environments, with a particular emphasis on developing intelligent systems that can interact effectively with humans. His recent publications show a strong trend toward multi-agent reinforcement learning, trust modeling in human-AI teams, UAV coordination, and planning systems. There's a clear focus on making robotic systems more reliable, efficient, and capable of operating in complex real-world scenarios like healthcare facilities and smart cities. His work increasingly integrates formal planning approaches with machine learning techniques. Professor Iocchi has received numerous scientific awards: 1999 Top Paper Award WebNet'99 2006 Best Paper Award RoboCup 2006 2008 Best Robotics Demo Award AAMAS 2008 2014 Best Paper Award For Engineering Contribution RoboCup 2014 2017 RoboCup@Home SSPL 2017 - 3rd place 2018 Canada-Italy Innovation Award 2019 Best Paper Award For Engineering Contribution RoboCup 2019 As an academic advisor, Iocchi has directed the PhD Program in Engineering in Computer Science from 2020 to 2023. He has been Principal Investigator for numerous research projects including SciRoc (European Robotics League), AI4EU (European AI project), BUBBLES, AIPlan4EU, ROSITA, Trust Your Agents, and FAIR. His research has been supported by EU H2020 programs, national grants, and industry collaborations, demonstrating strong connections between academia and practical applications. Professor Iocchi is actively involved with the Cognitive Cooperating Robots Lab (LabRoCoCo) and is a key member of the RoboCup Federation, having served as Vice-President from 2019 to 2024. He has played a significant role in benchmarking domestic service robots through RoboCup@Home and the European Robotics League Service Robots (ERL-SR), which he helped establish. His leadership in organizing international scientific robot competitions has been instrumental in advancing the field of service robotics.
