Dr. Jeewanie Jayasinghe Arachchige is a Lecturer in the Department of Computer Science at Vrije Universiteit Amsterdam, Faculty of Science. She teaches undergraduate courses including Bachelor Project Computer Science, Professional Development, and Software Engineering Processes for the academic year 2024–2025. Her research focuses on process mining , healthcare informatics , and data security . She applies process mining to analyze healthcare pathways and subpopulation treatment variations, develops explainable AI frameworks for predictive analytics, and examines data governance in emerging architectures like Data Lakehouses. Her work intersects legal informatics, particularly formalizing Sri Lankan civil court processes using ontology engineering. Recent publications highlight trends in balancing simplicity and complexity in process modeling, Industry 4.0 healthcare applications, and cybersecurity in model-driven web development. She has contributed to over 20 peer-reviewed articles since 2006, spanning topics from service-oriented architectures to value network analysis. Her teaching and research emphasize practical applications of IT in healthcare, legal systems, and enterprise environments. No ancillary activities are currently recorded.
Joydeep Biswas is an Associate Professor in the Computer Science Department at the University of Texas at Austin, where he serves as the Director of the Autonomous Mobile Robotics Laboratory (AMRL). He is also affiliated with Texas Robotics, the UT Machine Learning Laboratory, and UT Good Systems. Previously, he was an Assistant Professor in the College of Information and Computer Sciences at the University of Massachusetts Amherst. Dr. Biswas earned his PhD in Robotics from Carnegie Mellon University in 2014 and his B.Tech in Engineering Physics from the Indian Institute of Technology Bombay in 2008. His educational background has provided him with a strong foundation in both theoretical and applied aspects of robotics and artificial intelligence. Dr. Biswas's research focuses on enabling long-term autonomy for mobile robots operating in human environments. His work spans robot perception, motion planning, control systems, and AI, with the ultimate goal of creating self-sufficient autonomous mobile robots that can perform tasks accurately and robustly in real-world settings. He is particularly interested in perception, planning, and failure recovery for autonomous mobile robots, which supports his vision of having autonomous service mobile robots deployed at campus-to-city scale, both indoors and outdoors, performing assistive tasks over deployments spanning years. His IJCAI 2019 Early Career Spotlight talk summarizes much of his research to date and ongoing interests. His recent research has shown a strong trend toward social navigation, human-robot interaction, and the application of machine learning techniques to robotics problems. There's a clear progression from fundamental robotics research toward more complex, real-world applications that require robots to understand and navigate human social spaces effectively. His work increasingly integrates large language models and other advanced AI techniques with traditional robotics approaches, as evidenced by his recent publications on topics like preference-conditioned navigation, social navigation benchmarks, and instruction-following navigation systems. Dr. Biswas has received numerous prestigious awards including the NSF CAREER Award (2021), J.P. Morgan Faculty Research Award (2019), Amazon Research Award (2019), and a grant from Northrop Grumman Mission Systems (2018). These awards recognize his innovative contributions to the field of robotics and autonomous systems. As a dedicated educator and mentor, Dr. Biswas actively supervises PhD and master's students, with his PhD student Sadegh Rabiee winning the student poster award at the Northrop Grumman University Symposium 2019. He has secured significant grant funding from the National Science Foundation for projects including 'Introspective Perception and Planning for Long-Term Autonomy' and 'Interactive Synthesis and Repair For Robot Programs,' demonstrating his ability to secure competitive research funding and his commitment to advancing the field. Dr. Biswas leads the Autonomous Mobile Robotics Laboratory (AMRL), which serves as a hub for interdisciplinary research in mobile robotics. The lab has developed notable resources such as the UT Campus Object Dataset (CODA) for 3D perception research and SOCIALGYM, a framework for benchmarking social robot navigation. His team regularly deploys robots on the UT Austin campus and in urban environments to test and refine their approaches in realistic settings, bridging the gap between simulation and real-world application.
Jiwon Yun is an Associate Professor in the Department of Linguistics at Stony Brook University. She holds a Ph.D. in Linguistics from Cornell University (2013) and a B.S.E. in Computer Science & Engineering from Seoul National University (cum laude with honors). Her research focuses on speech prosody, syntax-semantics interfaces, and computational modeling of sentence processing, with special attention to East Asian languages like Korean, Mandarin, and Japanese. Dr. Yun teaches undergraduate and graduate courses in computational linguistics, semantics, pragmatics, and experimental phonetics. Her work bridges theoretical linguistics and experimental methods, examining how prosody interacts with syntactic and semantic structures. Recent publications investigate prosodic disambiguation of syntactic ambiguities, computational models of relative clause processing, and intonation patterns in Korean and Mandarin. She has developed tools for automated speech corpus analysis and maintains a Hangul-Yale Romanization Converter for linguistic research. Her research has been published in journals like Humanities and Social Sciences Communications , Linguistic Inquiry , and Journal of East Asian Linguistics . Teaching responsibilities include courses such as LIN 335 (Computational Linguistics) and LIN 627 (Computational Semantics).
Dr. George Stamou is a Professor at the School of Electrical and Computer Engineering of the National Technical University of Athens (NTUA), serving as Director of the Artificial Intelligence and Learning Systems Laboratory (AILS). His expertise spans knowledge representation, machine learning, neural networks, and semantic technologies. He leads interdisciplinary initiatives such as the postgraduate program 'Data Science and Machine Learning' (2018–2022). Research Interests: Focuses on knowledge graphs, interpretable AI, semantic web applications, and multimodal learning. His work integrates formal logic systems (e.g., description logics) with modern deep learning techniques, addressing challenges in explainability, bias detection, and ethical AI applications. Publications: Over 150 articles in AI journals/conferences with an h-index of 34 (Google Scholar). Notable contributions include datasets like CHORDONOMICON (music analysis), GOSt-MT (gender bias in MT), and methodologies for counterfactual explanations in machine learning. Awards & Committees: Active in W3C and RuleML standardization bodies. Co-organized major AI conferences. Recognized for contributions to semantic interoperability and knowledge-based systems. Labs & Teams: Directs AILS-NTUA lab and collaborates with CISRI (Computer & Information Systems Research Institute). Engages in EU projects like CultureLabs (cultural heritage digitalization) andsmarty4covid (health data analysis).
Lorraine (Xiang) Li is an Assistant Professor in the Department of Computer Science at the University of Pittsburgh’s School of Computing and Information (SCI). Her research focuses on the intersection of natural language processing, commonsense reasoning, knowledge representation, and machine learning, particularly in designing probabilistic models and evaluation methods for implicit commonsense knowledge in language. Li holds a PhD from the University of Massachusetts, Amherst, and previously worked as a young investigator with the Mosaic team at AI2. She has an M.S. in Computer Science from the University of Chicago, where she conducted research at TTIC. Her work emphasizes advancing AI’s ability to reason contextually and generate robust, human-like understanding through probabilistic frameworks. Key research themes include bias detection in reasoning models, iterative model editing, domain adaptation with LLMs, and evaluating commonsense through probabilistic measures. Her recent publications explore challenges like confirmation bias in chain-of-thought reasoning and geographical robustness in object recognition. Li actively contributes to the NLP community, serving on program committees for ACL, EMNLP, NAACL, and ARR. Though no formal awards are listed, her prolific publication record reflects her impact in AI research. She currently leads research in procedural knowledge models (e.g., Plasma) and long-tail knowledge generation, advancing foundational AI methodologies.
Roland Greene is the Mark Pigott KBE Professor and Anthony P. Meier Family Professor of the Humanities at Stanford University, holding dual appointments in the Department of English and the Department of Comparative Literature. He serves as Director of the Stanford Humanities Center and co-chair of the Renaissances and Poetics Workshop research groups. Educated at Brown University (A.B., 1979) and Princeton University (Ph.D., 1985), his academic career includes prior roles at Harvard and Oregon universities. His research focuses on Renaissance literatures of England, Latin Europe, and the transatlantic world, with expertise in poetry and poetics from the Renaissance to the present. Major works include Five Words: Critical Semantics in the Age of Shakespeare and Cervantes (2013) and editing the Princeton Encyclopedia of Poetry and Poetics (2012). Recent lectures address topics like Juan Caramuel’s Metametrica , Baroque aesthetics, and digital humanities challenges. Greene has advised over 50 Ph.D. students, many of whom hold academic positions globally. Awards include American Academy of Arts and Sciences membership and leadership roles like MLA President (2015–2016). His work engages with interdisciplinary themes such as colonial baroque, digital humanities, and global literary history.
Joseph Eremondi is an Assistant Professor in the Department of Computer Science at the University of Regina, Faculty of Science, Canada. He began his tenure in 2024 after serving as a Royal Society Newton International Fellow at the University of Edinburgh, where he conducted postdoctoral research with Ohad Kammar in the Laboratory for Foundations of Computer Science. He earned his PhD from the University of British Columbia (UBC) under the supervision of Ron Garcia at the UBC Software Practices Laboratory. His research is centered on programming languages theory, with a strong focus on type systems that enhance software reliability and usability. He is particularly known for his work in dependent types, gradual typing, and the integration of both paradigms. His research interests include: Dependent pattern matching and its semantic foundations Gradual dependent types and approximate normalization Error message generation and usability in dependently typed languages Static analysis using set constraints and SMT solvers Theoretical properties of reversal-bounded counter automata and shuffle operations His recent publications, appearing in premier venues like POPL, ICFP, and CPP, reflect a consistent trajectory toward making advanced type systems more accessible and practical. Key themes include coverage semantics for dependent pattern matching, formal models of gradual dependent typing, and improving the developer experience through better tooling and error diagnostics. Notable scientific recognitions include the NSERC Discovery Grant (awarded in 2025) and the prestigious Royal Society Newton International Fellowship. These awards underscore the impact and promise of his research program on the usability of dependently typed programming languages. Joseph is actively mentoring and recruiting graduate students, particularly in areas such as dependently typed programming (Lean, Agda, Idris, Coq), gradual typing, live programming environments, and static analysis. He emphasizes close collaboration within a small, focused research group. He has also served on program committees, including for TyDe and POPL Artifact Evaluation, demonstrating active engagement in the programming languages community. His work bridges theoretical rigor with practical implementation, evident in his artifact releases on GitHub and integration with tools like Ott and DrRacket. He maintains a personal website and open-source repositories that support reproducibility and community involvement.
Satoshi Tomioka is a Professor in the Department of Linguistics and Cognitive Science at the University of Delaware, affiliated with the College of Arts & Sciences. He holds a B.A. from International Christian University (Tokyo) and a Ph.D. from the University of Massachusetts Amherst. His expertise spans semantics, pragmatics, syntax, and prosody, with a focus on Japanese and comparative East Asian linguistics. Education: B.A. in Liberal Arts (1987), International Christian University; Ph.D. in Linguistics (1997), University of Massachusetts Amherst. Research interests include ellipsis, anaphora, wh-interrogatives, distributivity, and contrastiveness. He investigates how prosody interacts with syntax and semantics in Japanese, exploring topics like focus marking, intervention effects, and scalar implicatures. Recent work examines associative plurals and pragmatic disambiguation in embedded questions. Publications analyze theoretical and empirical questions in linguistic interfaces, such as Bare quotatives as embedded speech acts (2024) and Focus without pitch boost (2022). His work bridges formal semantics and experimental approaches, addressing challenges in cross-linguistic typology and cognitive aspects of language processing.
Elaine J. Francis is a Professor of English and Linguistics at Purdue University, where she also serves as the Associate Head of the Department of English. She holds affiliate appointments in the Department of Linguistics and the Department of Speech, Language, and Hearing Sciences. At Purdue, she directs the Experimental Linguistics Lab and teaches linguistics courses at both graduate and undergraduate levels. Francis completed her B.A. in Linguistics at the College of William and Mary in 1993, followed by her M.A. (1995) and Ph.D. (1999) in Linguistics at the University of Chicago under the direction of Salikoko Mufwene. Her dissertation examined variation among members of the same lexical category in English using Sadock's Autolexical Grammar framework. Prior to joining Purdue in 2003, she served as an Assistant Professor at the University of Hong Kong from 1999 to 2002, where she collaborated with Stephen Matthews on research concerning syntactic categories and relative clauses in Cantonese. Her research focuses on syntax and its interfaces with semantics, discourse information structure, and language processing in production and comprehension. Francis employs experimental methods to investigate syntactic, semantic, discourse-pragmatic, and cognitive factors underlying the grammar and usage of complex sentence structures. Her specific interests include word order alternations, filler-gap dependencies, resumptive pronouns, relative clauses, grammatical categories, and syntactic alternations. She has published extensively in top linguistics journals including Language and Cognition, Glossa Psycholinguistics, Linguistics, Lingua, Cognitive Linguistics, and the Journal of Psycholinguistic Research. Analyzing her recent publications reveals a consistent focus on experimental approaches to syntactic phenomena. Her work demonstrates a strong interest in gradient acceptability, syntactic priming, cross-linguistic comparison (particularly involving English and Cantonese), and the relationship between grammatical theory and language processing. Her 2022 book Gradient Acceptability and Linguistic Theory represents a major contribution that synthesizes experimental findings with theoretical linguistics frameworks. Francis plays an active role in the broader linguistics community. She regularly teaches short courses at the Linguistic Society of America Linguistic Institutes, serves on the LSA Ethics Committee, and is on the editorial board of Glossa Psycholinguistics. She has also edited several books and special journal issues, including Mismatch: Form-Function Incongruity and the Architecture of Grammar (2003) and Polymorphous Linguistics: Jim McCawley's Legacy (2005). As an educator and administrator, Francis has supervised numerous graduate students and currently serves as Associate Head of the Department of English at Purdue. Her Experimental Linguistics Lab provides research opportunities for students interested in the intersection of theoretical syntax and experimental methodology. While she recently announced she will not be accepting new graduate students for the 2025-2026 cycle, her established mentorship record demonstrates her commitment to training the next generation of linguists. The Experimental Linguistics Lab, which she directs, serves as a hub for research combining theoretical linguistics with experimental methods. Her collaborative work extends across disciplines, including collaborations with researchers in speech-language pathology, cognitive science, and computational linguistics, reflecting the interdisciplinary nature of modern linguistic research.
Kyle Johnson is a Professor and Curriculum Committee Chair in the Department of Linguistics at the University of Massachusetts at Amherst, located in Integrative Learning Center N440. He holds a BA in Psychology from the University of California-Irvine (1981) and a PhD in Linguistics from MIT (1985). His research focuses on formal syntactic theory, particularly the interaction between syntax and prosody/semantics, with attention to real-time sentence processing evidence. He has taught at multiple institutions including UC-Irvine, UCLA, University of Wisconsin-Madison, and McGill University before joining UMass. Current courses include LING 301 (Introduction to Syntax) and LING 601 (Transformational Grammar). His work emphasizes syntactic derivations, linearization, ellipsis phenomena (gapping, stripping), and the empirical adequacy of formal syntactic theories. Selected recent contributions include analyses of Principle B derivation, prosodic spell-out mechanisms, and theta-role theory. He maintains an active publication schedule with over three decades of work in top journals like Linguistic Inquiry and Nordlyd , addressing topics ranging from adjunct islands to multidominant movement theories. His research combines theoretical innovation with experimental plausibility, often challenging traditional assumptions in generative syntax. Teaching responsibilities include both undergraduate and graduate syntax courses, with supplementary materials like Transformational Grammar lecture notes and a comprehensive bib file for researchers. Office hours are scheduled via his online calendar with a preference for in-person meetings.
Jonathan David Bobaljik is a leading linguist whose research spans formal syntax, phonology, and the documentation of endangered languages, particularly Itelmen. He is actively involved in multiple international research collaborations and regularly presents at major linguistic conferences across Europe and North America. His work is published in top journals such as Natural Language and Linguistic Theory and Language . His research interests lie at the intersection of theoretical and descriptive linguistics. He investigates universal patterns in morphology and syntax, including suppletion, vowel harmony, ergativity, and control structures, often using data from understudied languages like Itelmen. His work combines rigorous formal analysis with deep empirical grounding in language documentation. The recent publications reflect a strong trend toward integrating typological diversity with formal theory. Key areas include morphosyntactic universals (e.g., suppletion in pronouns), information structure in verb-final languages, and the phonology of ejective consonants. There is also a growing emphasis on sociolinguistic and community-based aspects, as seen in collaborative work on language revitalization and the social life of the Itelmen language. He has received recognition through numerous scholarly publications and invited talks, though specific awards are not listed in the provided text. His collaborative projects suggest active grant involvement, particularly in language documentation and cross-linguistic typology. Bobaljik plays a central role in the Itelmen documentation and revitalization project, contributing to the creation of a dictionary app, the publication of historical manuscripts, and public exhibits on Siberian Indigenous knowledge. He collaborates with a team including David Koester, Chikako Ono, Tatiana Degai, and Maria Pupynina.
Vaishak Belle is a Reader in Logic and Learning at the School of Informatics, University of Edinburgh, and serves as Director of Research and Innovation at the Bayes Centre (40% position). His academic career focuses on the critical intersection of artificial intelligence, formal logic, and machine learning systems. His research spans multiple domains within AI: Neurosymbolic AI integration approaches Logic-based machine learning frameworks Ethics, fairness, and responsibility in AI systems Generative AI and its societal impact Robotics with advanced reasoning capabilities Causal modeling and probabilistic reasoning Belle leads a research laboratory dedicated to advancing neurosymbolic AI, which combines the explainability of symbolic systems with the learning capabilities of neural networks. His recent work has explored abduction in logical frameworks, formal languages for AI safety, and the relevance of logic for general-purpose AI systems. He has made significant contributions to bridging the gap between theoretical AI foundations and practical applications. His publications demonstrate consistent focus on creating AI systems that can reason formally while learning from data, with applications ranging from robotics to ethical decision-making frameworks. His research addresses fundamental challenges in developing trustworthy, explainable AI that can operate safely in complex environments. Beyond technical research, Belle is actively engaged in AI education through executive programs on AI leadership and ethics, and has contributed to public understanding through his children's book "The girl and the robot" which explores human-robot relationships and emotional projection onto artificial agents. He maintains an active presence in the international AI research community, regularly participating in major workshops including Dagstuhl seminars on neurosymbolic AI, and collaborating with researchers across disciplines from computer science to philosophy.
Alexander Key is an Associate Professor of Comparative Literature at Stanford University, specializing in Classical Arabic literature and the intellectual history of Arabic and Persian-speaking worlds from the 7th century onwards. His scholarship focuses on the philosophy of language, literary theory, and cross-cultural translation. Ph.D. in Arabic and Islamic Studies from Harvard University (2012) Current research: Arabo-Persian linguistic intersections, poetics in translation, and pre-modern theories of syntax and affect His articles span diverse eras and topics, including: Medieval Arabic language philosophy (5th–11th century) Modern Arabic political poetry analysis (20th–21st century) Comparative methodologies bridging Islamic and Western traditions A key editorial role includes: Board Member of Stanford University Press Advisory roles at Habib University and Stanford’s Markaz Resource Center His work bridges academic publication with public discourse through: Contributions to Arcade Colloquy Interviews on poetics, religion, and contemporary politics Podcasts and literary salon discussions
Mennatallah El-Assady serves as Assistant Professor at ETH Zurich's Department of Computer Science, where she leads the Interactive Visualization and Intelligence Augmentation Lab (IVIA). Her academic trajectory includes research fellowships at ETH's AI Center and doctoral work at University of Konstanz and OntarioTech University, establishing her expertise at the intersection of visualization and artificial intelligence. Her research focuses on advancing responsible data-driven decision-making through human-centered analytics, with particular emphasis on explainable machine learning systems. Dr. El-Assady combines data mining techniques with visual interfaces to create transparent AI workflows, specializing in text data analysis. Her work bridges computational linguistics, digital humanities, and information visualization to develop tools that make complex AI processes interpretable for end users. Recent publications demonstrate growing focus on generative AI's impact on visualization practices and sophisticated frameworks for interactive machine learning. Her research consistently addresses the challenge of maintaining human agency in increasingly automated systems, with applications spanning political debate analysis, musicology, and healthcare data interpretation. The trend shows increasing sophistication in evaluation methodologies for visual analytics systems. Best Paper Award: Honorable Mention for 'Progressive Learning of Topic Modeling Parameters: A Visual Analytics Framework' Dr. El-Assady actively shapes her field through workshop leadership including ArgVis (Argument Visualization), Vis4DH (Visualization for Digital Humanities), and VISxAI (Visualization for AI Explainability). Her teaching includes 'Interactive Machine Learning- Visualization and Explainability' at ETH Zurich, training next-generation researchers in human-centered AI development. She maintains strong industry connections with coverage in Forbes and ETH News regarding human-AI collaboration frameworks. The Interactive Visualization and Intelligence Augmentation Lab (IVIA) develops cutting-edge tools including explAIner for transparent machine learning, LingVis for linguistic analysis, VisArgue for debate structure visualization, and VALIDA for political deliberation analysis. These projects share a common thread of enhancing human understanding through carefully designed visual interfaces that expose AI decision processes.
Gordon Plotkin is a Professor at the School of Informatics, University of Edinburgh, where he is affiliated with the Laboratory for Foundations of Computer Science (LFCS). His research lies at the intersection of theoretical computer science and programming language semantics, with a profound influence on the formal understanding of computation. His research interests include Programming Language Theory, Semantics of Programming Languages, Domain Theory, Operational Semantics, Lambda Calculus, Type Theory, Concurrency Theory, and Algebraic Effects. His seminal work on structural operational semantics and domain theory has laid the foundation for modern semantics of programming languages. His publications span over five decades, showing a sustained and evolving research trajectory from foundational work in lambda calculus and domain theory to recent contributions in algebraic effects, probabilistic computation, and biochemical systems modeling. The articles demonstrate a consistent focus on formal methods, mathematical rigor, and the algebraic structure of computational effects. He has collaborated with leading researchers including Martín Abadi, John Power, Glynn Winskel, and John Reynolds. His work continues to influence both theoretical and practical developments in programming languages and systems. Gordon Plotkin has made foundational contributions to computer science, particularly through his development of structural operational semantics and domain-theoretic models of computation. He has advised numerous researchers and supervised many influential PhD theses, though specific student names are not listed in the provided text. His work has been supported by long-standing affiliations with the Laboratory for Foundations of Computer Science and the University of Edinburgh, and he has contributed to major collaborative projects in programming language design and verification. He is associated with several research groups and labs, most notably the Laboratory for Foundations of Computer Science (LFCS), which serves as a hub for theoretical research in programming languages, semantics, and logic at the University of Edinburgh.
