Kuldeep S. Meel is the Stephen Fleming Early-Career Associate Professor at the School of Computer Science, Georgia Institute of Technology, and an Associate Professor at the University of Toronto (on leave). He previously held a NUS Presidential Young Professorship at the National University of Singapore. His research focuses on automated reasoning, aiming to enable computing systems to handle uncertain real-world environments through scalable techniques integrating randomized algorithms, statistical inference, formal methods, distribution testing, and software engineering. Core research areas: Automated Reasoning, Formal Methods, Approximate Model Counting, Probabilistic Inference, Constraint Solving His research group has achieved significant recognition in both individual awards and publications. Key trends in his recent work include advancing model counting algorithms, developing frameworks for probabilistic explanations, and improving scalability in formal verification and constraint satisfaction. His tools have consistently ranked top in international competitions, demonstrating practical impact in automated reasoning. 2019 NRF Fellowship for AI 2022 ACP Early Career Researcher Award 2020 IEEE Intelligent Systems AI's 10 to Watch Top placements in Model Counting, SAT, and CAV competitions He mentors a diverse group of PhD and Master's students and collaborates with institutions worldwide. His group's publications span premier conferences in AI, formal methods, and design automation, reflecting interdisciplinary contributions to theoretical and applied computer science.
Supratik Chakraborty serves as the Bajaj Group Chair Professor in the Department of Computer Science and Engineering at Indian Institute of Technology Bombay. He maintains dual affiliations with the Centre for Formal Design and Verification of Software and the Centre for Liberal Education at IIT Bombay, demonstrating his cross-disciplinary engagement. Professor Chakraborty's research spans formal methods with focus on formal verification, rigorous analysis of system models, and automated synthesis of systems from specifications. His work bridges theoretical foundations with practical applications, particularly in developing mathematically provable guarantees for increasingly complex hardware, software, and intelligent systems. Current research interests include constrained counting and sampling, scalable formal verification of software and hardware systems, automated synthesis of programs and circuits, and applications of automata, logic and finite model theory to practical verification challenges. His publication trajectory shows a significant evolution from traditional hardware and software verification toward addressing verification challenges in machine learning and AI systems. Recent work increasingly focuses on interpretability of black-box models, verification of neural networks, and synthesis techniques applicable to intelligent systems. The research demonstrates strong interdisciplinary connections between formal methods, programming languages, and artificial intelligence. IIT Bombay Excellence in Thesis (CSE) Award 2011 (for Bhargav Gulavani's thesis) IIT Bombay Excellence in Thesis (CSE) Award 2017 (for Abhisekh Sankaran's thesis) Best Paper in Algorithms and Architecture track at IEEE International Conference on Computer Design: VLSI in Computers and Processors, 1998 Professor Chakraborty has successfully supervised 11 doctoral students, with research spanning formal verification techniques, Boolean functional synthesis, constrained counting, and applications to hardware and software systems. His students have gone on to positions at major institutions including Microsoft Research, TCS Research, Georgia Tech, and BARC, reflecting the strong industry and academic impact of his mentorship. Current research directions show increasing emphasis on verification challenges posed by machine learning systems and AI. His research group at IIT Bombay, while not explicitly named in the materials, appears to focus on formal methods with strong connections to the Centre for Formal Design and Verification of Software. The group maintains active collaborations with international researchers including Moshe Y. Vardi at Rice University, and has made significant contributions to verification tools like VeriAbs that bridge theoretical advances with practical applications.
Habib Ullah is an Associate Professor in Data Science at the Norwegian University of Life Sciences (NMBU), Norway, where he conducts research at the intersection of computer vision and machine learning. He is affiliated with the Institute of Data Science under the Faculty of Science and Technology. He has previously held academic positions at COMSATS University Islamabad, Pakistan, and the University of Ha'il, Saudi Arabia, and served as a postdoctoral researcher at The Arctic University of Norway. Educational Background: PhD in Information and Communication Technology (Computer Vision), University of Trento, Italy (2011–2015) MSc in Electronics and Computer Engineering, Hanyang University, South Korea (2007–2009) BSc in Computer Systems Engineering, NWFP University of Engineering and Technology, Pakistan (2002–2006) Habib Ullah's research is primarily focused on computer vision and machine learning, with applications in aquaculture, agriculture, and human behavior analysis. He investigates underwater fish feeding sounds using audio classification, develops zero-shot learning models for recognizing unseen classes, and applies deep learning to detect stress in salmon via skin dot patterns. He also explores AI-driven controlled environment agriculture, leveraging sensors and automation for optimal crop growth. His work emphasizes practical AI solutions for real-world challenges in environmental and biological domains. The recent publications highlight a strong trend in leveraging deep learning for zero-shot and semi-supervised learning, particularly in computer vision tasks such as sea ice classification, crowd anomaly detection, and agricultural monitoring. His research spans remote sensing, biomedical signal processing, and human activity recognition, demonstrating interdisciplinary versatility. The keywords reflect a focus on robust feature representation, knowledge transfer, and model generalization. Scientific Awards and Funding: Industrial PhD grant 'Advancing Controlled Environment Agriculture AI' from The Research Council of Norway (Project number 354125, 2 million NOK, 2024) Team member (Coordinator-Participant) in the Battery Cell Assembly Twin (BatCAT) project funded by Horizon Europe (7 mEuro, 2023–2027) Development of an AI-Based Image Analysis System for Monitoring Plant Status (Funding: 1.8 mNOK, starting 2025) Habib Ullah actively supervises PhD projects and contributes to academic service through editorial and organizational roles. He has served as an Associate Editor for IEEE Access, Guest Editor for MDPI Remote Sensing, and Editor of the Springer book Machine Learning Techniques and Sensor Applications for Human Emotion, Activity Recognition, and Support (ML-SHEARS) . He has also been a Track Chair and Program Committee Member for several international conferences, reflecting his leadership in the academic community. His research is supported by significant grants and collaborative projects, indicating strong institutional and international engagement. He is involved in multiple research teams and projects, including the BatCAT project on battery manufacturing and AI applications in controlled environment agriculture with RIFT LABS AS. His lab work integrates deep learning, sensor fusion, and data analytics for environmental and biological monitoring systems.
Professor Alessandra Russo leads the Structured and Probabilistic Knowledge Engineering (SPIKE) research group at Imperial College London's Department of Computing. With expertise spanning computational logic, symbolic machine learning, and neuro-symbolic AI, she develops foundational AI techniques applied to security, network management, healthcare, and adaptive systems. Professor Russo holds a PhD in Computing from Imperial College London and an MSc in Computer Science from Ionian University. Her research pioneers logic-based learning systems for intelligent adaptive technologies, with projects including declarative networking for security management, privacy-preserving federated learning, and hybrid neuro-symbolic approaches for robust reasoning. Her current work focuses on developing interpretable AI systems through neuro-symbolic integration, creating frameworks that combine neural networks with symbolic reasoning for explainable decision-making. Recent publications explore rule learning from knowledge graphs, transformer-based world models, and formal methods for representation learning. Professor Russo teaches courses on Logic-Based Learning and AI Applications, and has received the Google PhD Fellowship for her research contributions. She mentors numerous PhD students in areas spanning theoretical foundations and practical applications of computational logic and machine learning.
Tariq Iqbal is an Assistant Professor at the University of Virginia , with joint appointments in the Department of Systems and Information Engineering and Department of Computer Science . He leads the Collaborative Robotics Lab (CRL) , specializing in human-robot teams and embodied AI . Previously, he was a Postdoctoral Associate at MIT's CSAIL , advised by Prof. Julie Shah , and earned his Ph.D. in Computer Science from University of California San Diego (UCSD) under Prof. Laurel Riek . Ph.D. in Computer Science, University of California San Diego (2017) M.S. in Computer Science, University of Texas at El Paso (2012) B.S. in Computer Science and Engineering, Bangladesh University of Engineering and Technology (2007) His research lies at the intersection of artificial intelligence and robotics , focusing on human-robot collaboration in dynamic environments. Key areas include motion prediction , multimodal fusion , trust modeling , and collaborative learning . His work integrates cognitive science and deep learning to enhance robotic fluency in naturalistic settings. Recent publications (2023–2025) highlight advancements in human-robot team dynamics , multimodal dataset creation , and motion prediction algorithms . Notable works include Energy-Based Transformers for scalable AI, PoseTron for motion prediction, and Accessible Navigation Mapping for assistive robotics. These contributions span trust modeling , cloud robotic infrastructure , and safety in close-proximity collaboration . National Science Foundation (NSF) CAREER Award Air Force Office of Scientific Research (AFOSR) Young Investigator Program (YIP) Award Commonwealth Center for Advanced Manufacturing (CCAM) Innovation Award As faculty, he has secured grants from NSF and AFOSR , mentored research students, and taught courses like Stochastic Modeling I (SYS 6005) and Robots and Humans (SYS 4582/6465, ECE 4502/6465, CS 6465) . His prior industry roles at IBM Watson Lab and Grameenphone Ltd. inform his applied research in telecom infrastructure and cognitive robotics . He leads the Collaborative Robotics Lab (CRL) at UVA, which develops multimodal datasets , real-time coordination algorithms , and adaptive pathfinding systems . Current projects explore human motion prediction , team synchrony , and embodied question-answering , reflecting his commitment to advancing human-robot fluency and contextual AI .
Rachel Pottinger is a Professor in the Department of Computer Science at the University of British Columbia within the Faculty of Science. She has been at UBC since 2004, progressing from Assistant Professor to Associate Professor in 2012 and to full Professor in 2021. She is affiliated with research centers including CAIDA (Centre for Artificial Intelligence Decision-making and Action) and DFP (Designing for People), and is part of ICICS (Institute for Computing, Information and Cognitive Systems). Her research focuses on data management, particularly semantic data integration, metadata management, and making data more accessible and understandable to users. She leads the Data Management and Mining Lab and has supervised numerous doctoral and master's students. Her work addresses three main areas: helping people understand and explore their data, managing data not well supported by databases, and coordinating data across multiple databases. Her recent publications demonstrate strong trends in database usability, data provenance visualization, query recommendation systems, and building information modeling integration. Her work bridges theoretical database concepts with practical human-centered applications, particularly in making complex data systems more accessible to non-expert users. UBC Computer Science Department Faculty Teaching Award 2013 Computer Science Department Teaching Award 2010 CS Department Teaching Award Denice Denton Emerging Leader Award 2007 Pottinger has supervised numerous PhD and Master's students, with research focusing on data provenance, database usability, and data coordination. She has been involved in significant research projects related to data lakes, open data navigation, and query recommendation systems. Her current research explores table annotation and discovery in data lakes, query refinement for aggregation queries, and query prediction based on past user behavior. She is actively involved in the academic community, serving as Secretary-Treasurer for SIGMOD, on the VLDB Journal editorial board, and as a member of the Computing Research Association's Board of Directors. She previously served as General Co-Chair of SIGMOD 2020 and as Associate Head for the Undergraduate Program of the Department of Computer Science from 2018-2020.
Dr. Yfke Ongena is a Senior Lecturer in Communication and Information Sciences at the University of Groningen's Faculty of Arts. She holds a PhD from Vrije Universiteit Amsterdam (2005) and has extensive postdoctoral experience, including at the University of Nebraska-Lincoln (2006). Her research focuses on survey methodology, questionnaire design, and interviewer-respondent interaction. Key projects include the NWO-funded 'Mixed modes in the European Social Survey' (2011–2015) and current work on socially desirable responses in surveys. Education: BSc/MSc in Communication Science (University of Groningen), PhD in Survey Methodology (VU Amsterdam). Awards include the GOR25 Poster Award (2025). She has authored over 55 publications, with recent work addressing AI in medical diagnostics, physician cost awareness, and gender equity in academic careers. Research Interests: Survey design challenges, measurement bias, representation in surveys, and the integration of AI in healthcare. Active in professional networks like the European Survey Research Association and GESIS. Grants and Projects: NWO-funded projects, ESRA conference involvement, and collaborations with institutions like the University of Twente and Groningen Radiology departments. Currently investigates patient perspectives on AI in prostate cancer diagnosis and residency training programs in radiology.
Bo Xiong is a researcher at the University of Stuttgart in the Analytic Computing group. His research focuses on machine learning and knowledge graphs , with a particular emphasis on geometric embeddings and hyperbolic neural networks. His research interests include: Knowledge graph embeddings Hyperbolic and pseudo-Riemannian geometry in AI Temporal knowledge graph reasoning Structured multi-label prediction Recent publications highlight his work on geometric relational embeddings, complex query answering, and temporal fact reasoning using advanced manifold-based techniques.
R. Michael Alvarez , Flintridge Foundation Professor of Political and Computational Social Science at Caltech, is a leading scholar in election technology, political methodology, and machine learning applications in social science. Affiliated with the Caltech/MIT Voting Technology Project , the Social and Decision Neuroscience Program , and the Resnick Sustainability Institute , his work bridges technology and democracy. Education: B.A. from Carleton College, Ph.D. from Duke University Academic Career: Caltech faculty since 1992 His research spans: Election Integrity : Monitoring election security, fraud detection, and ballot systems Computational Social Science : Applying machine learning to voter behavior and policy analysis Climate Policy : Examining public attitudes and behavioral interventions for sustainability Online Behavior : Analyzing toxicity in gaming and social media dynamics Key article trends show focus on election forensics (2025 Nature Climate Change study), game toxicity analysis (2025 CHI Play paper), and LLM applications in social science. His students include Jacob Morrier, Mitchell Linegar, and teams of postdocs and undergraduates in Caltech's SURF program. Scientific recognition includes: Google Cloud Research Innovators Class of 2022 Co-editor of multiple academic series including Cambridge Elements in Quantitative Methods
Stefan Woltran is a Full Professor in the Databases and Artificial Intelligence department at TU Wien. He serves as Vice Dean of Academic Affairs for the Informatics Master program and leads the Research Unit for Databases and Artificial Intelligence. His research focuses on logic-based AI, including Propositional Logic, Nonmonotonic Reasoning, Argumentation frameworks, Knowledge Representation, and Logic Programming. He coordinates the Double-Degree Program Logic and Computation. His research projects include analyzing formal properties of logic-based AI approaches, complexity analysis, and developing algorithms via logic and dynamic programming. Notable projects include the HYPAR and REVEAL-AI initiatives exploring abstract argumentation and AI problem-solving. He has contributed to over 150 publications since 2001, focusing on argumentation frameworks, computational complexity, and formal methods. Woltran teaches courses such as Abstract Argumentation, Formal Methods in Computer Science, and Theoretical Computer Science. His work integrates theoretical advancements with practical solver development, such as the ASPARTIX system for argumentation tasks. He actively participates in international conferences and competitions in computational argumentation, emphasizing the application of formal methods to real-world problems.
Wolfgang Klas is a Professor at the Faculty of Computer Science, leading the Research Group Multimedia Information Systems. His research focuses on multimedia systems, data management, and information retrieval, with significant contributions to multimedia content analysis and database systems. He has been actively involved in multiple research projects, including TP2 PRECIOUS (2013-2016), SciLink (2011-2014), and OptFI (2010-2013). His work intersects with emerging technologies like blockchain, as seen in his public engagements and talks on topics such as 'From Blockchain to Web' and IT4S Forum presentations. His research interests span multimedia systems, database design, and the application of declarative programming for security and data integrity. Recent projects emphasize fake review detection and sentiment analysis using advanced algorithms and neural models. He has collaborated internationally, contributing to workshops like SMAP 2020 and publishing in journals like Algorithms and Applied Sciences . Grants/Projects: TP2 PRECIOUS (2013-2016), SciLink (2011-2014), OptFI (2010-2013) Activities: Speaker at IT4S Forum (2024), Blockchain-related talks (2020–present) Labs/Teams: Research Group Multimedia Information Systems
Qi Yu is a Professor in the School of Information at the Golisano College of Computing and Information Sciences at Rochester Institute of Technology (RIT). He serves as the Graduate Program Director and directs the Machine Learning and Data Intensive Computing Lab. His research focuses on machine learning, deep learning, and data-driven knowledge discovery, particularly in knowledge-rich domains like medicine and bioinformatics. He holds a B.E. from Zhejiang University, an M.E. from the National University of Singapore, and a Ph.D. from Virginia Tech. His work emphasizes interpretable models, multimodal data fusion, and human-in-the-loop learning. He has secured significant grants, including a $500K NSF award and a $1.6M ONR grant, supporting projects on Bayesian learning frameworks and decision-making under uncertainty. His lab actively explores active learning, few-shot learning, and uncertainty quantification. He advises a vibrant group of Ph.D. and MS students and teaches courses such as Data-Driven Knowledge Discovery and Thesis/Project Capstones. Education: B.E., Electrical Engineering, Zhejiang University (2001) M.E., Computer Engineering, National University of Singapore (2003) Ph.D., Computer Science, Virginia Tech (2008) Research Interests: Machine Learning, Deep Learning, Vision-Language Models, Uncertainty Quantification, Active Learning, Multimodal Data Fusion, Bayesian Methods, and Applications in Healthcare and Cybersecurity. Recent Work Trends: His articles emphasize label-efficient learning, interactive systems, and applying ML to complex domains like medical imaging and anomaly detection. Notable projects include Bayesian learning for dynamic decision-making and evidential optimization for robust models. Awards/Grants: NSF IIS Award ($500K, 2018–2023); DoD/ONR Award ($1.6M, 2018–2023); multiple conference recognitions (NeurIPS, ICML, CVPR). Advising spans over 20 students, many securing roles at Amazon, Samsung, and academia. Labs/Teams: Leads the Mining Lab, collaborating on interdisciplinary projects with domain experts in medicine, cybersecurity, and material science.
Hans Tompits is an Associate Professor in the Department of Knowledge-Based Systems at Technische Universität Wien (Vienna University of Technology). His research focuses on computational logic, declarative logic programming, and formal methods, with a particular emphasis on Answer-Set Programming (ASP). He coordinates the Master's program in Logic and Computation and leads projects in areas such as formal methods for optimization, fault-tolerant autonomous systems, and algorithmic composition. His work bridges theoretical advancements with practical applications, including tools like SeaLion (an ASP IDE with debugging support) and dlvhex (an ASP-based semantic web reasoner). He has contributed to foundational topics like program equivalence, debugging techniques, and integration of ASP with external systems. His recent projects address challenges in autonomous vehicle architectures, music composition algorithms, and safety-critical system design. Tompits has published extensively on topics ranging from nonmonotonic reasoning and modal logics to the development of declarative programming tools. His interdisciplinary approach spans computer science, mathematics, and AI, with applications in both academic and industrial contexts.
Dr. XiuJun Li is a Professor in the Department of Chemistry and Biochemistry at The University of Texas at El Paso (UTEP) within the College of Science. He leads the Li Microfluidic Lab-on-a-Chip & Nanotechnology Group, focusing on the development of cutting-edge, low-cost diagnostic technologies for applications in bioanalysis, biomedical engineering, forensic science, and environmental science. His work is highly interdisciplinary, bridging chemistry, engineering, and biology. Dr. Li's primary research interests lie in microfluidics, nanotechnology, lab-on-a-chip systems, and point-of-care diagnostics. His lab specializes in creating paper and polymer hybrid microfluidic devices for the ultrasensitive detection of cancer biomarkers, infectious diseases (such as SARS-CoV-2 and pertussis), and environmental toxins. A significant focus is on making these devices instrument-free and affordable, particularly for use in resource-limited settings and rural areas. His recent work on a $3 paper-based cancer detector has garnered significant media attention, including features in the New York Post and local TV stations. The trend in Dr. Li's recent publications reveals a strong emphasis on developing portable, visual, and quantitative diagnostic platforms. His research frequently involves the integration of nanomaterials for signal amplification, the use of microfluidic chips for controlled reactions, and innovative readout methods like bar-chart displays and smartphone-based detection, all aimed at creating practical tools for real-world healthcare challenges. Dr. Li has received substantial recognition for his contributions to science, including being named one of the World's Top 2% of Cited Researchers by Elsevier and a Top Scholar by ScholarGPS. He is an Editorial Board Member for Microsystems & Nanoengineering (Nature Publishing Group) and has been awarded a Travel Grant from GEM on the Road’s PFI Programming. He holds patents for his inventions in biosensing and photothermal detection. Dr. Li is a dedicated mentor and educator. He has advised numerous PhD and Master's students, many of whom have gone on to prestigious postdoctoral positions at institutions like Harvard, UPenn, and MD Anderson. He is also the Director of the Forensic Science program at UTEP, where he organizes outreach events to engage students. His lab is actively involved in research, with multiple postdoctoral fellows and graduate students currently working on projects related to cancer detection and infectious disease study.
Dr. Alexander Artikis is an Associate Professor of Artificial Intelligence at the University of Piraeus and a Research Associate at the National Centre for Scientific Research (NCSR) "Demokritos". He leads the Complex Event Recognition (CER) group , focusing on symbolic and probabilistic approaches to event recognition and forecasting. University of Piraeus (2025–present) NCSR Demokritos (2017–present) Complex Event Recognition Group (2017–present) His research spans Artificial Intelligence and Distributed Systems , with a focus on: Complex Event Recognition (CER) : Developing logic-based systems for detecting events in real-time data streams Event Calculus : Creating probabilistic and incremental versions for runtime reasoning Multi-Agent Systems : Modeling norm-governed interactions Maritime Informatics : Applying CER to vessel trajectory analysis and fleet management Key publications reveal trends in: Neuro-symbolic forecasting models combining deep learning and logic-based reasoning Symbolic automata with memory for pattern detection Online learning techniques for dynamic event rule generation Tensor-based formalizations for efficient temporal reasoning Handling uncertainty in real-time maritime data streams Optimizing memory usage for scalable stream processing He contributes to open-source tools like RTEC (Run-Time Event Calculus) and holds a European patent on complex event forecasting. His work addresses challenges in: Proactive decision-making systems Knowledge Graph consistency Hybrid human-machine discovery of movement patterns Big Data analytics for time-critical applications
