Prof. Dr. Timothy Roscoe is a Full Professor in the Department of Computer Science at ETH Zurich. His research focuses on operating systems, networking, and distributed systems. He was inducted as an ACM Fellow in 2014 for contributions to these fields. Previously, he worked at Intel Research Berkeley, UC Berkeley (Adjunct Professor), and Sprint Labs. His work includes foundational contributions to systems like PlanetLab, P2 Declarative Networking, and the Nemesis OS. Roscoe holds a PhD from the University of Cambridge and has led projects in cloud computing, wide-area network measurement, and secure systems design. His current research emphasizes hardware-software co-design, formal verification of systems, and scalable memory architectures. Education: PhD in Computer Science, University of Cambridge (1995) Key Roles: Principal Researcher at Intel Berkeley Lab, Visiting Researcher at National ICT Australia Research Highlights: Contributions to distributed systems (PlanetLab), declarative networking (P2), and secure microkernels (seL4 integration). Current projects address challenges in disaggregated memory systems, coherent interconnects, and trustworthy embedded systems. Awards: ACM Fellow (2014), numerous grants and industry collaborations. Labs/Teams: Systems Group at ETH Zurich, focusing on OS design, hardware architectures, and formal methods.
Sebastian Raisch is a Full Professor of Strategic Management at the Geneva School of Economics and Management (GSEM), University of Geneva, where he also serves as Director of the Executive MBA program. He is affiliated with the Institute of Management and holds a Ph.D. from the University of Geneva. His academic work is deeply rooted in understanding how organizations balance stability and change, particularly in the face of digital transformation. Research Interests: His primary areas of expertise include strategic management, organizational ambidexterity, organizational paradox, artificial intelligence in organizations, and digital transformation. His research investigates the dynamics of corporate growth and decline, strategic renewal, and the integration of human and artificial intelligence in organizational decision-making. He is especially interested in how firms navigate tensions between competing demands such as exploration and exploitation, automation and augmentation, and stability and innovation. Publications and Trends: His recent publications (2023–2025) show a strong shift toward the role of artificial intelligence in management, with a focus on hybrid human-AI systems, ethical AI, and the strategic implications of AI adoption. Earlier works center on ambidexterity, paradox theory, and corporate turnaround, establishing him as a leading scholar in these domains. Scientific Awards: Strategic Management Society’s Best PhD Paper Award Emerald Publishing Group’s Citation of Excellence Award Journal of Management’s Scholarly Impact Award Editorial and Professional Service: Sebastian Raisch serves as Associate Editor at the Academy of Management Review and sits on the editorial boards of the Academy of Management Journal and the Strategic Management Journal . He has advised numerous doctoral students and supervised research projects on organizational innovation and digital strategy, though specific names are not listed in the provided materials. He has not received explicit mention of research grants, but his extensive publication record suggests active research funding. Labs and Research Teams: While no formal lab is mentioned, Raisch leads or contributes to research initiatives within the Institute of Management at GSEM, particularly in strategic management and digital innovation. He collaborates with scholars across Europe and the U.S., including notable co-authors like J. Schad, S. Krakowski, and M. Tushman.
Tengyu Ma is an Assistant Professor of Computer Science at Stanford University. His research focuses on machine learning, deep learning, optimization, and theoretical computer science. He is particularly known for work on neural networks, reinforcement learning, and algorithmic guarantees in AI systems. His email is tengyuma@stanford.edu . Ma's research interests span foundational aspects of machine learning, including generalization theory, optimization algorithms, and the theoretical underpinnings of deep learning. He has contributed to areas such as self-play theorem provers, learning rate schedules, and robustness in low-light vision tasks. His work often bridges theoretical insights with practical algorithm design. His recent publications emphasize advancements in large language models (LLMs), theorem proving via self-play, and understanding training dynamics in deep networks. Despite prolific output, no specific scientific awards are explicitly mentioned in the provided texts. Ongoing work includes exploring in-context learning mechanisms, formal verification of AI systems, and efficient pretraining techniques. His research has implications for both theoretical understanding and real-world applications of AI.
Professor Ernest Foo is a distinguished academic at Griffith University's School of Information and Communication Technology, specializing in cybersecurity with a focus on industrial control systems and cryptographic protocols. With over 15 years of experience in computer networking, he has established himself as a leading expert in SCADA security and smart grid cybersecurity. His research has significant practical applications in critical infrastructure protection, and he has developed hands-on security training programs that have trained professionals from major Australian utilities and government agencies. Professor Foo's educational background includes: Bachelor of Engineering with Honours in Electronic and Computer Engineering from University of Queensland Doctor of Philosophy from Queensland University of Technology Professor Foo's research interests center around secure cryptographic protocols with specific applications in industrial control system security and cyber physical systems. His work spans SCADA security, smart grid protection, wireless sensor network security, and post-quantum cryptography. He has made significant contributions to understanding vulnerabilities in industrial protocols like Modbus and DNP3, and has pioneered the application of process mining and data mining techniques for attack detection in critical infrastructure systems. His research bridges theoretical security concepts with practical implementations in real-world industrial environments. Professor Foo's recent publications demonstrate a clear trajectory toward increasingly sophisticated security frameworks for critical infrastructure. His work shows a progression from foundational SCADA security research to advanced applications of artificial intelligence, machine learning, and formal methods in cybersecurity. A notable trend is the integration of zero trust principles with industrial control systems, alongside growing emphasis on post-quantum cryptographic solutions. His publications span high-impact journals and conferences in cybersecurity, with increasing focus on anomaly detection in cyber-physical systems and the application of graph-based machine learning techniques to network security challenges. Professor Foo's notable scientific achievements include: Best paper award at the 2nd International Cyber Resilience Conference for "Gap analysis of Intrusion Detection in Smart Grids" Professor Foo has secured significant research funding including an ARC Linkage grant with Powerlink Queensland focused on cyber security for electricity sub-stations. He currently leads multiple research projects including Westpac Micro-Credentials in Financial Crime Investigation, Digital Banking Micro-credentials with ANZ, and research on quantum-safe cryptography. As a dedicated educator, he serves as Program Director for multiple cybersecurity programs including the Master of Cyber Security, and has supervised numerous doctoral and masters students. His Cyber Security: Industrial Control System course, conducted annually from 2013-2018, featured innovative hands-on training with real-world participants from major Australian utilities. Professor Foo has been instrumental in establishing the SCADA security research laboratory with multiple vendor system miniatures running industrial PLCs. His work bridges theoretical security concepts with practical implementations, making significant contributions to the security of industrial control systems and critical infrastructure worldwide.
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.
Dr. Joey Paquet is a Tenured Associate Professor and Department Chair in the Department of Computer Science and Software Engineering at Concordia University in Montreal, Canada. He holds a PhD and specializes in research areas including Design and Implementation of Programming Languages, Context-Driven Computing, and Demand-Driven Computing. His work focuses on advancing programming paradigms and their applications in cybersecurity, distributed systems, and autonomic computing. Dr. Paquet is actively involved in thesis supervision across Computer Science and Software Engineering programs at both master's and doctoral levels. Research interests are centered around programming language design, particularly in demand-driven and context-aware systems. His contributions include frameworks like GIPSY and OpenISS, enabling scalable data processing and forensic computing. Recent work explores autonomic intent-driven networking, real-time gesture recognition, and IoT forensics. These efforts highlight his expertise in both theoretical constructs and practical implementations. His advising role supports students in MCompSc, MASc, and PhD programs. While specific grants are not detailed, his projects often involve interdisciplinary collaboration. Dr. Paquet is affiliated with platforms like LinkedIn and ResearchGate, reflecting an active academic presence. Key technical contributions include pioneering work on forensic computing backends, intent expression languages, and multimodal interaction systems. His research addresses challenges in cybersecurity, distributed systems, and service composition, with a focus on resilience and scalability.
Suguman Bansal is an Assistant Professor in the School of Computer Science at Georgia Institute of Technology. Her research focuses on formal methods and their applications to artificial intelligence, programming languages, and machine learning. Previously, she held an NSF/CRA Computing Innovation Postdoctoral Fellowship at the University of Pennsylvania (2020-2022) and completed her PhD at Rice University (2016-2020). Education: PhD in Computer Science, Rice University (2016-2020) MS in Computer Science, Rice University (2014-2016) BSc (Honors) in Mathematics and Computer Science, Chennai Mathematical Institute (2011-2014) Research Interests: Formal methods, reinforcement learning, reactive synthesis, quantitative verification, and trustworthy AI systems. Her work bridges logic-based formal methods with modern AI challenges, emphasizing safety, reliability, and generalization in AI systems. Key Contributions: Pioneering work on specification-guided reinforcement learning, compositional synthesis algorithms, and formal verification of AI systems. Notable tools include Lisa (LTLf synthesis tool) and DiRL (compositional reinforcement learning framework). Awards: 2020 NSF CI Fellowship, 2021 MIT EECS Rising Star, 2023 ATVA Best Paper Award, and Keynote Speaker at SAS 2022. Advising & Grants: Advises PhD and Master’s students in reinforcement learning and formal methods. Lead PI on a collaboration grant with IIT Bombay (2024) and recipient of a ~$250K NSF/CRA postdoctoral grant. Labs/Teams: Leads the BansalLab at Georgia Tech, focusing on trustworthy AI through formal methods and algorithmic innovation.
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).
Dr. Carola Weil serves as Dean of McGill University's School of Continuing Studies and Associate Professor in the Department of Political Science since July 2018, following leadership roles as founding Dean at American University and Senior Associate Dean at USC's Annenberg School. Her educational background includes: Post-Doctoral Fellowship, University of Southern California School of International Service Post-Doctoral Fellowship, Harvard University John F. Kennedy School of Government Belfer Center Ph.D. and M.A. in Political Science, University of Maryland Master of Public Management, University of Maryland B.A. in History (Minor in Politics), Bryn Mawr College Dr. Weil's research centers on human security, migration, and conflict transformation with specialized expertise in gender dynamics in international relations and public diplomacy . Her work bridges policy analysis and practical applications in humanitarian intervention, while her recent focus explores lifelong learning systems and the impact of digital technologies on adult education , addressing evolving workforce demands through innovative educational frameworks. Her publication trajectory reveals a strategic evolution from foundational work on women in international security (1990s) to contemporary analyses of digital media diversity and global communication challenges in higher education. Early scholarship examined military intervention dilemmas in humanitarian crises, later pivoting toward systemic analyses of information ecosystems and educational accessibility in the digital age. Dr. Weil co-founded Women In International Security (WIIS) and serves on multiple non-profit boards, leveraging her dual German-American citizenship and multilingual capabilities to advance organizational development initiatives. Her peacebuilding consultancy spans Pakistan, Afghanistan, Darfur, Colombia, and the African Great Lakes region with specific attention to gender-inclusive journalism practices. Her leadership extends to advising on global strategy for technology-enhanced education and future workforce development, though no formal student advisement lists or grant details appear in the source material.
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.
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.
John Kingston is a Professor of Linguistics and Director of the Phonetics Lab at the University of Massachusetts Amherst, where he has been since 1990. He holds a BA and MA from the University of Chicago (1976–1977) and a PhD from UC Berkeley (1985). His research focuses on the interplay between phonetics and phonology, particularly speech perception and its influence on phonological representations. He co-founded the Laboratory Phonology Conference series in 1987 and has conducted fieldwork on Otomanguean languages. His work emphasizes experimental methods to study phonological questions, including studies on vowel perception, tone systems, and cross-linguistic phonetic patterns. Kingston’s academic journey includes roles at the University of Texas, Austin (1984–1986) and Cornell University (1986–1990). His research explores how auditory processing and linguistic knowledge shape speech perception, with notable contributions to understanding tonogenesis, perceptual contrast effects, and vowel category learning in second languages. He collaborates on grants examining Ganong effects and phonological inventories, advocating for theories that bridge perceptual and structural aspects of language. His lab, the Phonetics Lab, supports experimental work on speech perception and production. Kingston is also the Honors Program Coordinator, mentoring students in linguistics and related fields. Despite no explicit awards listed, his extensive publications and conference leadership reflect his scholarly impact.
Fred B. Schneider is the Samuel B. Eckert Professor of Computer Science at Cornell University , where he has been a faculty member since 1978. His career spans foundational work in trustworthy systems , fault-tolerant distributed systems , and system security . He served as department chair from 2014–2018 and previously earned a B.S. in Engineering from Cornell (1975) and a Ph.D. in Computer Science from Stony Brook University (1978).
Linyi Li is an Assistant Professor in the School of Computing Science at Simon Fraser University (SFU), leading the Trustworthy Artificial Intelligence (TAI) Lab. His research focuses on certifiably trustworthy deep learning systems, combining machine learning and computer security. He holds a PhD from the University of Illinois Urbana-Champaign (UIUC) and a B.Eng. from Tsinghua University. Affiliations: Simon Fraser University, TAI Lab Education: PhD in Computer Science, UIUC, 2023 B.Eng (Cum Laude), Tsinghua University, 2018 His research interests include deep learning , trustworthy machine learning , large language models , and software engineering . He emphasizes rigorous certification of robustness, fairness, and numerical reliability in AI systems. Recent work includes the InfiBench benchmark for evaluating code LLMs and advancements in neural network verification. Recent Research Trends: His publications span certified robustness, fairness guarantees, and scalable verification techniques for deep learning models. He also explores scientific evaluation of foundation models and adversarial defense mechanisms. Awards: Rising Stars in Data Science AdvML Rising Star Award Wing Kai Cheng Fellowship Finalist: Qualcomm Innovation Fellowship (2022) Winner: VNN-COMP'23 Competition (Team α, β-CROWN) Advising & Grants: As a PI, he oversees the TAI Lab's research. Though no specific grants are listed, his work is funded through competitive awards and university resources. Labs/Teams: Leads the TAI Lab at SFU, focusing on foundational and applied research in trustworthy AI.
Sanjit A. Seshia is the Cadence Founders Chair Professor in the Department of Electrical Engineering and Computer Sciences at the University of California, Berkeley . He is affiliated with the Group in Logic and the Methodology of Science and participates in centers like the Industrial Cyber-Physical Systems Center , Berkeley AI Research , and the Simons Institute for the Theory of Computing . Research interests include formal methods for automated verification and synthesis of dependable systems, with applications to cyber-physical systems , AI-based autonomy , and computer security . His work spans SMT solving, model counting, syntax-guided synthesis, and algorithmic improvisation, with tools like UCLID5 , VerifAI , and Scenic for verifying autonomous systems and educational platforms like CPSGrader . Students and collaborators include notable researchers such as Dorsa Sadigh (Stanford), Daniel Fremont (UC Santa Cruz), and Hazem Torfah (Chalmers). He has co-founded startups like Decyphir and 20ⁿ Labs based on his research.
