Professor Khin Than Win is a leading academic in health informatics and digital health at the University of Wollongong (UOW), holding appointments as Professor in the School of Computing and Information Technology, Head of Postgraduate Studies, and Deputy Head (Research). She also serves as Academic Program Director for UOW's Master of Health Informatics and Graduate Certificate in Health Analytics programs. Her research focuses on applying information technology to healthcare, particularly in behavior change support systems, persuasive technology, and ethical AI applications. She has supervised over 20 PhD students and holds leadership roles including Deputy Chair of UOW's Health and Medical Research Ethics Committee, and membership in international committees like the Persuasive Technology Steering Committee. Education: MBBS from Rangoon University, Master's and PhD in IT from Assumption University (Bangkok) and UOW (Australia) Research Interests: Health data analytics, AI in healthcare, privacy/security of health systems Leadership: Program/General Chair roles at ACIS and Persuasive Technology conferences Awards: Best Paper Awards (2023, 2018) Her extensive funding portfolio includes ARC grants and NHMRC projects, totaling over 24 funded initiatives. Current research explores blockchain in medical passports, AI ethics, and culturally tailored health interventions.
Tiancheng Zhao is a principal researcher at the Binjiang Institute of Zhejiang University and founder of the Om Artificial Intelligence Laboratory (Om AI Lab), dedicated to frontier open multimodal AGI research for building next-generation agents that transform work and life through advanced human-machine interaction. His academic credentials include: Ph.D. in Computer Science from Carnegie Mellon University (2016-2019) under Prof. Maxine Eskenazi, Prof. Louis-Philippe Morency, Prof. William W. Cohen, and Dr. Dilek Hakkani-Tur, with pioneering dissertation “Learning to Converse With Latent Actions” in end-to-end generative conversational models M.S. in Computer Science from Carnegie Mellon University (2014-2016) B.S. in Electrical Engineering from UCLA (2010-2014) with Summa Cum Laude, focusing on speech signal processing under Prof. Abeer Alwan Dr. Zhao’s research centers on multimodal foundation models and agents, tackling three core challenges: Multimodal Models for cross-modal representation learning in high-dimensional data, Learning to Learn for effective skill acquisition from diverse signals (supervised labels, rewards, meta-learning), and AI Agents for open-world understanding and complex decision-making. His work bridges computer vision, natural language processing, and real-world applications including healthcare analytics and remote sensing. Analysis of his 50+ publications reveals accelerating innovation in multimodal large language models (2024-2025), with emphasis on stable vision-language architectures (VLM-R1), agent orchestration frameworks, and domain-specific applications in geospatial analysis and healthcare. Key trends include solving long-tail distribution challenges in satellite imagery, developing human-like zooming capabilities for multimodal LLMs, and creating unified benchmarks for autonomous GUI testing. His scientific recognition includes: National Breakthrough Technology Award by Ministry of Science and Technology (2021) Microsoft Research Best & Brightest PhD (2018) BEST PAPER AWARD at SIGDIAL 2018 Best Paper Nomination at SIGDIAL 2016 Top 1 Outstanding Bachelor of Science Award at UCLA (2014) As Om AI Lab founder, Dr. Zhao leads research teams developing computational building blocks for human-AI collaboration. While specific student mentorship details aren’t public, his extensive publication record with junior co-authors indicates active research supervision. Current projects focus on practical system implementations for real-world multimodal agent deployment across diverse domains.
Song Mei is an Assistant Professor in the Department of Statistics and Department of Electrical Engineering and Computer Sciences at the University of California, Berkeley. She received her Ph.D. from Stanford University in 2020 under Andrea Montanari and maintains active research collaborations with institutions including Amazon (as a 2023 Amazon Research Award recipient) and OpenAI (where she is currently on leave). Her research spans the intersection of statistics, machine learning, information theory, and computer science, with particular emphasis on foundational theories for modern AI systems. Key interests include language models, diffusion models, quantum algorithms, and high-dimensional statistics, often leveraging insights from statistical physics literature. Analysis of her recent publications reveals a strong focus on theoretical underpinnings of generative AI, with significant contributions to understanding contrastive pre-training (CLIP), attention mechanisms in LLMs, and mathematical foundations of diffusion models. Her work demonstrates consistent interdisciplinary connections between statistical theory and practical AI development. Sloan Research Fellowship (2025) Noether Early Career Scholar Award (2025) Google Research Scholar Award (2024) Amazon Research Award (2024) She actively advises graduate students through MA programs and has secured significant research grants including Amazon Research Awards. Her work with AGI Labs at Amazon demonstrates applied impact of theoretical research. Current projects focus on mechanistic interpretability of large language models and mathematical frameworks for generative AI. Professor Mei leads research on the statistical principles behind frontier AI models, with particular focus on developing rigorous theoretical frameworks for understanding emergent behaviors in large-scale systems.
Sean Welleck is an Assistant Professor at Carnegie Mellon University's School of Computer Science, Language Technologies Institute, leading the L3 Lab. His research focuses on bridging informal and formal reasoning with AI, spanning machine learning for mathematics and code, inference algorithms, and AI agents. PhD in Computer Science from New York University (advised by Kyunghyun Cho) Postdoctoral work at University of Washington (advised by Yejin Choi) His work explores AI-driven formal methods for mathematics and code generation, test-time compute scaling, and algorithms enabling AI improvement over time. Recent publications analyze reasoning evaluation, premise selection, and automated proof optimization in systems like Lean. Key article trends include neural theorem proving, code generation, and inference-time compute optimization. Awards: NVIDIA AI Labs Pioneering Research Awards (2017, 2018), NAACL 2025 Best Paper. Current advisees include PhD students Pranjal Aggarwal, Weihua Du (co-advised with Yiming Yang), Andre He (co-advised with Daniel Fried), and Seungone Kim (co-advised with Graham Neubig). He co-organizes workshops like Autoformalization for the Working Mathematician (ICERM 2025) and VerifAI: AI Verification in the Wild (ICLR 2025), and teaches Advanced NLP at CMU.
Professor Tulika Mitra is the Dean of the School of Computing and Vice Provost (Special Projects) at the National University of Singapore (NUS). She holds the Provost’s Chair Professor in the Department of Computer Science and has been instrumental in shaping academic policies and strategic initiatives at NUS since joining in 2001. PhD in Computer Science, Stony Brook University (2000) M.E. in Computer Science, Indian Institute of Science (1997) B.E. in Computer Science, Jadavpur University (1995) Her research focuses on hardware-software co-design for energy-efficient computing systems, particularly in real-time embedded systems, heterogeneous architectures, and AI accelerators. She leads major research programs such as the NRF Competitive Research Programme on Low-Power Edge Accelerators and the MOE Tier-3 Programme on Green AI , collaborating with industry leaders like ARM, AMD, and Meta. Her recent publications highlight innovations in CGRA optimization , sparse attention mechanisms , photonic-digital hybrid architectures , and low-power ML inference . These works often integrate compiler techniques, architectural design, and real-time constraints for edge computing applications. Scientific Awards : ESWEEK Test-of-Time Award (2022), ACM SIGDA Distinguished Service Award, IEEE CEDA Outstanding Service Recognition Award, Teaching Excellence Award (2006), and multiple best paper recognitions. Education Leadership : Spearheaded the Computer Engineering (CEG) Programme at NUS, a joint initiative between Engineering and Computing. As a mentor , she has supervised over 25 PhD students , many now in prominent academic or industrial roles. Her research group eCO Lab focuses on embedded computing challenges, while her grant collaborations include projects on 5G base stations, reconfigurable architectures, and IoT-optimized SoCs.
Jan Oliver Borchers is a full professor of computer science and head of the Media Computing Group at RWTH Aachen University, where he holds the endowed Chair in Media Informatics and Human-Computer Interaction (Computer Science 10). He established his research group in 2003 and pioneered modern HCI academic research and teaching in Germany, becoming a leading lab in terms of archival publications at CHI, the top international conference in HCI. Before joining RWTH, he held faculty positions at Stanford University and ETH Zurich. His research focuses on Human-Computer Interaction with particular interest in new user interfaces for soft robotics, textile user interfaces, 3D printing and personal fabrication, augmented reality, wearable and tangible computing, interfaces for software development, deceptive patterns, and interactive guides and exhibits. He opened Germany's first Fab Lab in 2009 and has been instrumental in advancing digital fabrication and maker culture in academia. His work bridges theoretical HCI research with practical applications, as evidenced by his consulting for major companies including AirBus, Apple, ARD, Bayer, Children's Museum Boston, Daimler, Handelsblatt, OTIS, Scout24, TEDx, and Deutsche Telekom. His recent publications show a strong focus on deceptive patterns in UI design, textile interfaces, and the intersection of AI with human interaction. The research demonstrates consistent innovation in tactile interaction techniques, with numerous honorable mentions at top conferences like CHI. His lab has produced significant contributions to eyes-free interaction, textile computing, and the ethical implications of dark patterns, particularly regarding children's experiences with deceptive designs. IDC 2025 Best Work in Progress for research on children's assessment of deceptive designs CHI'25 Student Games Competition Winner for The Deceptive Dungeon RWTH-Wissenschaftsnacht 2024 Best Science Slam for Usability: 4 Prinzipien guter User Interfaces Multiple CHI Honorable Mentions spanning from 2008-2021 Best Note and Best Demo awards at ITS and UIST conferences Borchers has served in numerous leadership roles including heading the Computer Science Department's Examination Board (2015-2025), coordinating the department's public relations since 2010, and organizing the weekly Faculty Lunch since 2003. He is an active member of the ACM, SIGCHI, SIGCHI Germany, and GI, and introduced the Interactivity format to the CHI conference in 2005. His PhD thesis, A Pattern Approach to Interaction Design, became the first book to bring design patterns to HCI. The Media Computing Group under his leadership has developed significant expertise in physical computing, textile interfaces, and fabrication technologies, with a strong emphasis on both theoretical contributions and practical applications. His lab continues to push boundaries in interactive technologies while maintaining a strong ethical stance on user experience, particularly regarding deceptive design patterns.
Caroline Lemieux is an Assistant Professor at the Department of Computer Science, University of British Columbia (UBC), with research focused on advancing software correctness, security, and performance through innovative testing and synthesis techniques. Her work bridges Programming Languages and Software Engineering , particularly in fuzz testing, specification mining, and program synthesis. PhD from University of California, Berkeley (2021), advised by Koushik Sen Postdoctoral researcher at Microsoft Research, NYC (2021-2022) Key contributions: FuzzFactory , CodaMOSA , Arvada , and Gauss Her research integrates machine learning with traditional testing methods, exemplified by projects like RLCheck (reinforcement learning for test generation) and AutoPandas (neural synthesis for dataframes). Recent publications analyze generator-based fuzzing challenges and propose hybrid strategies combining coverage feedback with AI-driven insights. Scientific Awards : ACM/SIGSOFT Best Paper Award (ESEC/FSE 2019) ACM/SIGSOFT Tool Demonstration Award (ISSTA 2019) ACM/SIGSOFT Distinguished Artifact Award (ISSTA 2019) NSERC Postgraduate Scholarship-Doctoral (PGS D) UBC Governor General's Silver Medal (2016) Teaching roles include: 2025W2: CPSC 539L - Topics in Programming Languages 2024W2: CPSC 410 - Advanced Software Engineering 2023W2: CPSC 410 (with Alex Summers) She supervises graduate and undergraduate researchers working on projects like ExploTest (automated unit test generation) and GRIMOIRE (grammar extraction from pseudo-rules). Her research team collaborates with institutions including Microsoft Research, Google, and academic partners in systems security and AI-driven testing.
Ardalan Amiri Sani is an Associate Professor in the Computer Science Department at the University of California, Irvine (UCI), affiliated with the Donald Bren School of Information & Computer Sciences. He leads the Trustworthy Systems Lab (TrussLab), focusing on secure and reliable mobile systems, operating systems, and virtualization. His research bridges mobile computing, security, and OS design, addressing challenges in I/O devices, kernel hardening, and verifiable provenance. Education: Ph.D. and M.Sc. from Rice University (ECE), B.Sc. from Sharif University of Technology. Awards include the NSF CAREER Award, Google ASPIRE Award, and UCI Dean's Mid-Career Research Award. He has advised numerous graduate and undergraduate students, many of whom now work in academia and industry. Research highlights include Tabellion (secure legal contracts on mobile devices), ProvCam (verifiable video provenance), and work on minimizing smartphone TCBs via hardware isolation. His grants include NSF funding for OS kernel security and NSA support for provenance systems. Education: Ph.D., Electrical and Computer Engineering, Rice University, 2014 B.Sc., Electrical Engineering, Sharif University of Technology Grants: $500K NSF Award (with UCR) for OS kernel security (2020) NSF SaTC Award for GPU security in browsers Google ASPIRE Award for Android system call filtering Labs/Teams: Trustworthy Systems Lab (TrussLab), collaborating with industry partners like Intel and Broadcom.
Juan Zhai is an Assistant Professor in the Manning College of Information and Computer Sciences (CICS) at the University of Massachusetts Amherst. She co-directs the Laboratory for Advanced Software Engineering Research (LASER) and is a member of the UMass NLP group. Her research advances software engineering through automated techniques for building high-quality systems with emphasis on behavioral specifications, AI safety, and trustworthy AI. Her work addresses the fundamental challenge of aligning software behavior with intended specifications through two main directions: automated specification synthesis (translating natural language comments to formal specifications via tools like C2S and LLMCup) and defect detection/repair (developing frameworks for AI system testing, bias mitigation, and training diagnostics). Her vision integrates these into end-to-end assurance systems that continuously validate, repair, and audit evolving software in dynamic environments. Recent publications (2024-2025) reveal dominant trends at the software engineering/AI intersection: formal specification synthesis for IoT and code generation, comment maintenance using LLMs, deep learning framework testing (DevMuT, Citadel), bias detection in LLMs, and automated training repair (AutoTrainer, DREAM). These contributions appear in top venues including ICSE, FSE, ASE, ISSTA, and ACL. Professor Zhai currently advises PhD student Gehao Zhang (focusing on Software Engineering and AI Safety) and actively recruits new PhD/Master's students. Her LASER lab develops practical tools for specification inference, LLM-driven synthesis, and trustworthy AI, while collaborating with the UMass NLP group on language-centric software analysis. The LASER lab, co-directed by Zhai, pioneers techniques for behavioral specification enforcement across traditional and AI-powered systems. Key projects include CPC for bidirectional code-comment analysis, ModelMeta for deep learning framework testing, and frameworks for bias mitigation across the ML lifecycle. The lab emphasizes practical, scalable tools that enhance correctness, robustness, and fairness in critical AI applications.
Conor Ryan is a Professor in the Department of Computer Science & Information Systems at the University of Limerick. He is a Science Foundation Ireland-funded Investigator since 2002 and a member of multiple research centres including Lero – the Irish Software Research Centre and the Limerick Digital Cancer Research Centre. His research focuses on Genetic Programming, Grammatical Evolution, and their applications in domains like healthcare analytics, digital circuit design, and financial modeling. He has authored over 250 publications, with recent work emphasizing automated feature selection in medical diagnostics, neural architecture search, and blockchain ecosystems. Teaching includes courses on Foundations of Computer Science and Computer Games Programming. Research interests span evolutionary computation, machine learning, and interdisciplinary applications. Collaborations involve global institutions, reflecting his work's impact across computer science, engineering, and healthcare. His research has addressed challenges in breast cancer diagnosis via genetic algorithms, cryptocurrency volatility prediction using random forests, and automated generation of digital circuits. Ongoing projects explore interpretability in AI, energy-efficient computing, and sustainable transport systems through predictive analytics. Professional memberships include roles in the Centre for Research Training in Foundations of Data Science and the Data-Driven Computer Engineering Research Centre, underscoring his commitment to interdisciplinary innovation.
Prof. Dr. Andrea Stocco is a Professor at the Technische Universität München (TUM), affiliated with the TUM School of Computation, Information and Technology. His research focuses on the intersection of software engineering and deep learning, particularly addressing the robustness and reliability of data-intensive systems. Key areas include autonomous vehicles, web application testing, and automated functional oracles for deep learning systems. He leads initiatives such as the Lehrstuhl für Software und Systems Engineering , collaborating on projects like CrESt and SUPPRA – Algorand Center of Excellence . Research interests encompass monitoring techniques for AI-driven systems, test suite maintainability, and scenario-based testing of cyber-physical systems (CPS). His work emphasizes practical applications, such as improving testing frameworks for evolving web applications and enhancing interoperability in autonomous driving systems (ADS). Recent efforts include leveraging large language models (LLMs) for secure code assessment and benchmarking generative AI for test input generation. No scientific awards are explicitly mentioned in the provided texts. His publications reflect a strong focus on testing methodologies, with over 40 articles since 2013, covering domains like web test automation, dependency-aware testing, and safety-critical failure prediction in autonomous systems. Advising and grants details are not detailed in the current data, but his lab contributes to TUM's broader efforts in software engineering and systems reliability.
Daniel Varro is a Professor affiliated with McGill University (Faculty of Engineering, School of Computer Science), with strong ties to Budapest University of Technology and Economics and Linköping University. He is a leading researcher in model-driven engineering, cyber-physical systems, and software engineering, actively contributing to top-tier conferences such as MODELS, ICSE, and ASE. His research focuses on model-based systems engineering (MBSE) , automated model generation , model transformations , and constraint-based consistency checking . Recently, his work has expanded into integrating large language models (LLMs) and machine learning into modeling workflows, including model querying, domain modeling, and bug detection. The recent publications reveal a strong trend toward AI-augmented modeling, logic-based solvers (e.g., Refinery), and safety assurance of autonomous systems (e.g., COLREGs compliance). His work bridges formal methods with practical software engineering challenges in industrial and safety-critical domains. Scientific Awards: No specific awards mentioned in the text. Advising and Grants: While no explicit list of students or grants is provided, his mentorship in the Doctoral Symposium and repeated leadership roles suggest active supervision and likely grant funding. He has led projects on automated model generation, model quality, and AI integration in modeling. Labs and Teams: Daniel Varro is associated with research groups focused on model-driven engineering and software evolution, likely leading or co-leading teams working on the VIATRA and Refinery frameworks for model transformation and solving.
Vijay Laxmi is a Professor in the Department of Computer Science and Engineering at Malaviya National Institute of Technology (MNIT) Jaipur, India. With over a decade of active research publication from 2014-2024, Dr. Laxmi has established themselves as a prominent researcher in network security, Android security systems, and Network-on-Chip architectures. Their work demonstrates consistent collaboration with Manoj Singh Gaur and numerous doctoral students at MNIT Jaipur. Dr. Laxmi's research interests span Network Security, Android Security, Malware Analysis, Network-on-Chip Architectures, Routing Protocols, Side-Channel Attacks, Wireless Networks, and Mobile Security. Their work bridges theoretical security frameworks with practical implementations, particularly in mobile and embedded systems. Recent publications indicate a growing focus on AI-based security approaches including GAN applications for fuzzing and deep learning for image dehazing. The research trajectory shows increasing sophistication in security analysis techniques, evolving from basic malware detection to advanced side-channel attack analysis and sophisticated network security protocols. Recent publications demonstrate expertise in both theoretical frameworks and practical implementations with applications in real-world security challenges. Dr. Laxmi has mentored numerous graduate students including Vineeta Jain, Anugrah Jain, Sonal Yadav, Mohit Singh, and Gaurav Singal, who appear as co-authors across multiple publications. Their collaborative network extends to researchers at international institutions, indicating strong academic connections beyond their home institution.
Paola Cascante-Bonilla is an Assistant Professor in the Department of Computer Science at Stony Brook University, with expertise in computer vision, natural language processing, and embodied AI. Her research focuses on developing systems for compositional reasoning, common-sense inference, and trustworthy AI using vision-language models, while addressing cultural bias and explainability challenges.
Tatsunori Hashimoto is an Assistant Professor of Computer Science at Stanford University, specializing in artificial intelligence, machine learning, and natural language processing. His research focuses on developing robust and ethical language models, addressing challenges in bias mitigation, fairness, and transparency. He leads projects like the Stanford Alpaca, exploring instruction-following models and their societal impacts. Key research interests include generative models, AI ethics, and privacy-preserving techniques. His recent work examines language model behaviors, security risks, and the societal implications of AI systems. Notable contributions include frameworks for auditing language models, improving factual accuracy, and reducing disparities in speech recognition. His publications highlight advancements in long-context processing, few-shot learning, and automated benchmarking. He emphasizes practical applications of AI while addressing dual-use concerns and ensuring alignment with human values.
