Mikael Johansson is a Professor at Kungliga Tekniska Högskolan (KTH), specializing in Control Technology . He teaches and coordinates courses such as Distributed Optimization (FEL3311) and various advanced-level degree projects in computer science, electrical engineering, and systems engineering. His research spans Control Systems , Machine Learning , and Optimization , with a focus on asynchronous algorithms, federated learning, and applications in energy systems and construction. His work includes 15 recent publications on topics like neural networks, distributed optimization, and battery technology. Notable areas of contribution are in asynchronous learning, federated learning with privacy constraints, and quasi-Newton methods for optimization. His research bridges theoretical advancements with practical applications in urban design, healthcare, and autonomous systems.
Maarten Sap is an Assistant Professor at Carnegie Mellon University's Language Technologies Institute with a courtesy appointment in the Human-Computer Interaction Institute. He also holds a part-time research scientist position at the Allen Institute for AI (AI2) as an AI safety lead. Current affiliations: CMU (2022–present), AI2 (2022–present) Prior: Postdoctoral Researcher at AI2 (2021–2022), Research Intern at AI2 (2018–2019) and Microsoft (2019) His research focuses on enhancing AI systems with social intelligence and addressing social biases in language technology. Key themes include: Ethical AI and Human-Centric Design Narrative Dynamics and Social Context Analysis AI Agents and Social Intelligence Toxic Language Detection and Cultural Bias Mitigation Recent publications examine: AI safety frameworks like HAICOSYSTEM Clinical reasoning alignment (ALFA) Multilingual moderation (PolyGuard) Cultural sensitivity in non-verbal AI (Mind the Gesture) Personality shaping in LLMs (BIG5-CHAT) Scientific Recognition: 2025 Okawa Research Grant Best Paper Runner Up - NAACL 2025 Outstanding Paper - EMNLP 2023 Best Paper - FAccT 2023 Best Paper - WeCNLP 2020 He advises a diverse group of PhD students across CMU and MIT, and has served on multiple program committees including ACL, EMNLP, and FAccT. His work appears in top venues like Nature Machine Intelligence, PNAS, and ACL.
Ziming Zhang is an Assistant Professor in the Department of Electrical and Computer Engineering at Worcester Polytechnic Institute (WPI) , with additional affiliations in Data Science and Robotics Engineering. He previously held research roles at Mitsubishi Electric Research Laboratories (MERL) and Boston University. PhD in Computing (2013) from Oxford Brookes University , UK MS in Computing Science (2010) from Simon Fraser University , CA BS in Computer Science and Technology (2005) from Northeastern University , China Research interests span computer vision , machine learning , and their applications in point cloud processing , medical imaging , autonomous driving , and IoT . He leads the Vision, Intelligence, and System Laboratory (VISLab) at WPI. Recent publications focus on 3D reconstruction , hyperbolic learning , and robust classifiers . Awards include the R&D100 Award 2018 and NSF funding for data-efficient deep learning. PhD Students: Yecheng Lyu (co-supervised), Guojun Wu (co-supervised), Hangrui Zhang, Xuechu Yu Master's Students: Yun Yue, Yuping Shao Visiting Scholars: Fangzhou Lin His lab partners with industry and academic institutions, focusing on autonomous systems , robotics , and scientific imaging projects.
Dr. Hongwei Wang is a Senior Researcher at Tencent AI Lab Seattle , specializing in applied machine learning for Natural Language Processing and Interconnected Systems . His work bridges Knowledge Graphs , Recommender Systems , and Graph Neural Networks , with a focus on large language models and retrieval-augmented generation. Ph.D. (2018), B.E. (2014) in Computer Science from Shanghai Jiao Tong University Postdoctoral Researcher : Stanford University (2019-2021), University of Illinois Urbana-Champaign (2021-2022) Dr. Wang’s research explores integrating Knowledge Graphs with Graph Neural Networks to enhance recommendation systems, language models, and information retrieval. His work spans Retrieval-Augmented Generation , Representation Learning , and GAN-based Graph Modeling , with recent papers on State-Space Exploration for LLM agents and Semantic Watermarking . His 15 most recent publications (2022-2024) focus on Retrieval Granularity , Interactive Memory , and Agent Systems , with keywords spanning Computer Science , Machine Learning , and Knowledge Graphs . Trends highlight advancements in Token-Level Semantic Matching , Schema-Guided Event Prediction , and Multi-Document Summarization . Scientific Awards: 2020 CCF Outstanding Doctoral Dissertation Award 2018 Google Ph.D. Fellowship Dr. Wang contributes to open-source projects like DKN and RippleNet , with 11 repositories on GitHub. He actively engages in Knowledge Graph Conferences (KDD, WWW, AAAI) and studies Chinese Classical Poetry and Film Arts .
Dominique Devriese is a professor at the Department of Computer Science, KU Leuven, and a member of the DistriNet research group. His work bridges computer security, programming languages, and formal verification. Research interests: Functional Programming, Object Capabilities, Secure Compilation, Dependently-typed Programming, Modal Type Theory Teaching: Formal Systems, Object-Oriented Programming, CyberSecurity, Secure Software His research focuses on rigorous software systems security through capability machines and secure compilation techniques. He actively contributes to formal verification using Agda and Haskell, with recent work on multimode type theory and effect parametricity. Key publication trends include: multimode/presheaf type theory, capability-based security models, formal verification of hardware/software abstractions, and parametricity applications in programming languages. Contact: Email: dominique.devriese@kuleuven.be ORCID: 0000-0002-3862-6856
Sible Andringa is Professor of Second Language Pedagogy at the University of Amsterdam's Faculty of Humanities, officially inaugurated on June 16, 2023. Dr. Andringa serves as Academic Director of the Institute for Dutch Language Education (INTT), Coordinator of the Language Learning, Literacy and Multilingualism research group, and Coordinator of the Master's program in Dutch as a Second Language and Multilingualism. Dr. Andringa's research focuses on second language acquisition and bilingualism, specifically investigating the added value of explicit instruction, how input distribution affects language learning outcomes, and the role of awareness in language learning trajectories. Key ongoing projects include the Meta-LLL project examining how literacy shapes language learning, the SLA4All initiative for reproducing SLA research with non-academic samples, and the OASIS project creating accessible research summaries for practitioners. Previously, Dr. Andringa led Project MIND studying bilingual daycare effects and contributed to the Stilis project on listening proficiency. As General Editor of the Dutch Journal of Applied Linguistics (DuJAL), Dr. Andringa promotes open science principles in language research. Recent publications demonstrate a focus on addressing sampling biases in SLA research, open access publishing ethics, and practical applications of language acquisition research for educational settings. Academic Director, Institute for Dutch Language Education (INTT) Coordinator, Language Learning, Literacy and Multilingualism research group Coordinator, Master's program Dutch as a Second Language and Multilingualism General Editor, Dutch Journal of Applied Linguistics (DuJAL) Member, Mastery Team for Modern Foreign Languages Member, OASIS project team Member, IRIS database advisory group Dr. Andringa supervises PhD candidates including Kyra Hanekamp and Darlene Keydeniers, particularly in research related to bilingual daycare environments and language development. The research program has received funding from the Dutch ministry of Social Affairs for Project MIND and continues to secure support for ongoing projects examining language learning mechanisms. Dr. Andringa leads the Language Learning, Literacy, and Multilingualism research group which investigates language and literacy acquisition across the lifespan, with emphasis on how language skills are learned, maintained, and used in educational contexts. The group meets weekly to discuss projects, plans, funding opportunities, and research topics while promoting collaboration, methodological innovation, and open science principles.
John E. Taylor is the Frederick Law Olmsted Professor and Associate Chair for Faculty Development and Research Innovation at the Georgia Institute of Technology's School of Civil and Environmental Engineering within the College of Engineering. His research focuses on the intersection of human and engineered networks, with particular emphasis on creating resilient infrastructure systems that serve society's needs while creating more livable communities. Taylor's research interests span multiple domains including Smart City Digital Twins , Urban Infrastructure Resilience , Network Dynamics , and Building-Occupant Interaction . His work examines how human behavior, infrastructure systems, and environmental factors interact during normal operations and extreme events. He has developed innovative approaches to understanding urban systems through the lens of network theory and computational modeling. His publication record demonstrates consistent contributions to the fields of urban analytics and infrastructure resilience, with a recent focus on digital twin technologies for urban systems. Taylor's work shows a clear trajectory toward increasingly sophisticated integration of AI, network science, and civil infrastructure engineering to address complex urban challenges. His research has particular relevance for cities facing climate change impacts and seeking to build more equitable and resilient communities. Taylor leads the Network Dynamics Lab at Georgia Tech, where he mentors PhD students and postdoctoral researchers. His lab has produced significant work on human-infrastructure interaction, particularly during disasters and extreme events. The lab's research combines computational modeling, data analytics, and field studies to understand and improve urban systems. His work has been applied to real-world challenges including river emergency response systems, urban heat exposure forecasting, and disaster response optimization. Taylor has collaborated with city officials and agencies to implement systems that have demonstrable community benefits, such as the AI-enabled camera system for drowning prevention on the Chattahoochee River and crime reduction systems using mobile cameras guided by AI algorithms.
Professor Paul Rayson is a Professor of Natural Language Processing in the School of Computing & Communications at Lancaster University, UK. He serves as Director of the UCREL (University Centre for Computer Corpus Research on Language) interdisciplinary research centre and is affiliated with multiple research institutes including Security Lancaster, the Lancaster Centre for Digital Humanities, and the Data Science Institute. Education: PhD in Computer Science, Lancaster University (2003) BSc (Hons) Computer Science and Mathematics, Lancaster University (1990) Professor Rayson's research focuses on semantic multilingual Natural Language Processing (NLP) in challenging linguistic environments with noisy language data, including historical texts, learner language, speech, email, and other computer-mediated communication. His work spans applications in dementia detection, mental health analysis, online child protection, cyber security, learner dictionaries, and text mining of biomedical literature, historical corpora, and financial narratives. He has developed semantic tagging tools like USAS (UCREL Semantic Analysis System) and Wmatrix for corpus analysis. Major Awards and Honors: FHEA (Fellow of the Higher Education Academy) MBCS (Member of the British Computer Society) Professor Rayson has supervised numerous PhD students in NLP and corpus linguistics, with eight current students and seven completed doctorates. He has led or co-investigated multiple major research projects including the £3.5m ESRC-funded Centre for Corpus Approaches to Social Science (CASS), the National Corpus of Contemporary Welsh, and projects related to mental health forums, financial narrative analysis, and cyber security. His research has been supported by ESRC, EPSRC, and other funding bodies. As Director of UCREL, he oversees research in corpus linguistics and NLP. He is also active in the Cyber Security Research Centre, Digital Health Group, and multiple Data Science Institute initiatives. His lab has developed several widely-used NLP tools including CLAWS for English POS tagging, USAS semantic analysis system, Wmatrix corpus analysis tool, and the Variant Detector (VARD) for historical texts.
Prof. Dr. Matthias Weidlich is a faculty member at Humboldt University of Berlin within the Institute of Computer Science under the Faculty of Mathematics and Natural Sciences . His research focuses on Process Mining , Complex Event Processing , and Data Privacy with applications in Business Process Management and Scientific Workflows . Research Interests: Business Process Management and Process Mining Complex Event Processing and Stream Data Analysis Data Privacy and Security in Process Systems Scientific Workflow Systems and User Behavior Heterogeneous Network Embeddings Algorithm Design and Optimization Recent Publications (2023-2025) demonstrate expertise in: Efficient stream processing techniques Privacy-preserving process mining frameworks Scientific workflow analysis tools Graph neural network applications Multi-modal data integration Adaptive querying systems Contact: Office: Unter den Linden 6, 10099 Berlin Phone: 030 2093-41277 Email: matthias.weidlich@hu-berlin.de Web: hu.berlin/data
Raul Castro Fernandez is an Assistant Professor of Computer Science at the University of Chicago, where he researches data ecology, a concept he created to study how data shapes our world and how we can shape it back. He is the faculty co-lead of the Data Science Institute's Data Ecology Research Initiative and a member of ChiData, the data systems research group at the University of Chicago. He is also co-founder and Chief Research Officer at invocate and co-runs Chicago Data Night, a forum connecting industry and academia in Chicago. Castro Fernandez's research focuses on data ecology, data discovery, data markets, and data integration. He develops both theory and systems that help people and organizations find, evaluate, and use data effectively. His work often uses techniques from data management, statistics, and machine learning. He has pioneered concepts in data market design, understanding the economics of data, and building platforms to support markets of data. His research on data ecology frames how data moves through and transforms technological, economic, and social systems—and how to design interventions to make those ecosystems more valuable, equitable, and resilient. His publications reveal a strong focus on data markets, data discovery, and LLM applications for data management. Recent work includes Pneuma (leveraging LLMs for tabular data), Solo (data discovery using natural language), and Nexus (correlation discovery for spatio-temporal data). His research spans theoretical foundations of data value to practical systems for data sharing and discovery. SIGMOD Test of Time Award (2023) NSF CAREER Award (2024) Sloan Research Fellowship (2025) Castro Fernandez has advised numerous PhD, Master's, and undergraduate students who have gone on to pursue PhDs at institutions like University of Washington and Stony Brook, joined companies like Google, Anthropic, and Citadel, or founded startups. His teaching includes courses on The Value of Data, Ethics in Data Science, and Introduction to Databases. He serves on program committees for major conferences including SIGMOD, VLDB, and CIDR, and has been recognized as a Distinguished Reviewer by multiple venues.
Mitra Bokaei Hosseini is an Assistant Professor in the Department of Computer Science at the University of Texas at San Antonio (UTSA), part of the College of Sciences. She holds a Ph.D. in Computer Science from UTSA, an M.S. in Information Technology from K.N. Toosi University of Technology, and a B.S. in Information Technology from Qazvin Islamic Azad University. Her research focuses on legal compliance, natural language processing (NLP), privacy, and software engineering, with an emphasis on regulatory compliance frameworks, privacy policy analysis, and automated tools for policy adherence. Her work bridges NLP techniques with practical applications in software development and mobile security. Key research trends in her articles include privacy policy analysis, automated extraction of regulatory requirements, and the use of machine learning (e.g., few-shot learning, large language models) to align code with privacy policies. Her work addresses challenges in disambiguating policy ambiguities, identifying third-party entities, and ensuring compliance in mobile applications. No scientific awards are explicitly mentioned. Her advising record and grants are not detailed in the provided texts. She may be affiliated with research teams or labs focused on privacy and NLP, though specifics are not listed.
Andreas Lööw is a Lecturer at Royal Holloway, University of London , focusing on hardware and software verification. Previously, he was a postdoctoral researcher at Imperial College London under Philippa Gardner , contributing to the Gillian Platform . He completed his PhD at Chalmers University of Technology under Magnus Myreen , specializing in interactive theorem proving and hardware verification. His research explores symbolic execution, separation logic, and formal verification of hardware/software systems. Key projects include Betterlog (Verilog semantics reformulation) and foundational work on the Gillian Platform . 2025 : Compositional Symbolic Execution for Memory Models 2025 : Simulation Semantics of Synthesisable Verilog 2024 : Compositional Symbolic Execution for Correctness/Incorrectness 2023 : Exact Separation Logic (Distinguished Paper at ECOOP'24) 2023 : Hardware Verification of Pipelined Processors 2022 : Verilog Concurrency Analysis 2021 : Verified Verilog Compiler (Lutsig) Scientific Awards : Distinguished Paper at ECOOP 2024 He maintains the vv Verilog visualization tool and collaborates on the Gillian Platform . Contact: andreas.loow@rhul.ac.uk
Xujie Si is an Assistant Professor in the Department of Computer Science at the University of Toronto. He is also a faculty affiliate at the Vector Institute and an affiliate member at Mila - Quebec AI Institute, holding a Canada CIFAR AI Chair. Previously, he served as an Assistant Professor at McGill University's School of Computer Science. Education: Ph.D., Computer and Information Science, University of Pennsylvania (advised by Mayur Naik) M.S., Computer Science, Vanderbilt University B.E. (with Honors), Nankai University Research Focus: His work bridges AI and program reasoning, emphasizing the integration of statistical and logical methods. Key areas include: Static analysis and verification using deep learning/reinforcement learning Neuro-symbolic systems for urban simulation (e.g., LogiCity) Automated theorem proving via LLMs and symbolic reasoning Program repair and compiler fuzzing Recent Article Trends: Recent work focuses on synergizing LLMs with symbolic reasoning (e.g., Olympiad inequality proving), advancing SAT solving with graph neural networks, and applying neuro-symbolic methods to Euclidean geometry formalization. Awards: Canada CIFAR AI Chair (2023) Lab/Teams: Leads research teams exploring program analysis, neuro-symbolic AI, and formal verification at the University of Toronto and Vector Institute.
Nidhi Rastogi is an Assistant Professor at the Department of Software Engineering within the Golisano College of Computing and Information Sciences (GCCIS) at Rochester Institute of Technology (RIT). She leads the AI4Sec Research Lab, which focuses on data-driven AI solutions for cybersecurity, emphasizing interpretability and practical applications. Her research interests span Cyber Threat Intelligence, Artificial Intelligence, Graph Analytics, and Healthcare Analytics. Education: Ph.D. in Computer Science (2018), Rensselaer Polytechnic Institute M.S. in Computer Science (2008), University of Cincinnati Bachelor of Information Technology (2003), University of Delhi Research Interests: Transdisciplinary work in cybersecurity, AI, heterogeneous networks, and graph analytics. She develops systems for threat intelligence, explainable AI, and security monitoring. Notable projects include the CyNER library for cybersecurity NER, TINKER framework for open-source CTI, and personal health knowledge graphs. Awards & Mentoring: Students advised include Le Nguyen (1st place at UPSTAT23), Tanvirul Alam (IEEE SP Travel Grant), and Dipkamal Bhusal. Recent recognitions include program committee roles for ACM CCS'24 and ACSAC'24. Labs & Collaborations: The AI4Sec Lab collaborates with federal agencies, national labs, and enterprises. Current projects address autonomous vehicle security, healthcare analytics, and systemic cyberattack detection using graph-based methods.
Hayretdin Bahsi is an Assistant Professor at the School of Informatics, Computing, and Cyber Systems at Northern Arizona University . His research focuses on cybersecurity, with expertise in malware detection, IoT security, and machine learning applications in defense mechanisms. He collaborates internationally on maritime cybersecurity, healthcare systems, and critical infrastructure protection. Research Interests include Android malware analysis, botnet detection, explainable AI in intrusion detection, and threat modeling for AI-driven systems. His work addresses challenges like concept drift in malware detection and privacy-preserving techniques for IoT networks. Publications span 66 scholarly works since 2009, emphasizing cybersecurity trends in AI, IoT, and healthcare. Recent contributions explore large language model (LLM) applications in vulnerability detection and cyber threat modeling for healthcare systems. Collaborations include projects on maritime cyber-insurance, cyber incident management in low-income countries, and datasets like MedBIoT for IoT botnet analysis. His work bridges theory and practice, addressing real-world cybersecurity challenges.
