Find Academic Supervisors

Lian LiView profile

Professor

• Program analysis
• Software security
• Software engineering
• +4 more

Lian Li is a Professor in the Institute of Computing Technology at the Chinese Academy of Sciences, where he leads the program analysis research group. He holds a PhD from the University of New South Wales, Australia, and a Bachelor's degree from Tsinghua University in Engineering Physics. His research focuses on developing innovative program analysis techniques and tools to enhance software reliability and security. His educational background includes a PhD in Computer Science from the University of New South Wales (2003-2007) with a thesis on "ScratchPad Management for Static Data Aggregates" under Professor Jinling Xue, and a Bachelor's degree in Engineering Physics from Tsinghua University (1993-1998). Lian Li's research primarily centers on program analysis techniques, particularly static analysis methods for software security and reliability. His group developed Wukong, a static analysis and detection system capable of identifying deep security vulnerabilities across functions, components, and complex dependencies in C/C++, Java, and Android applications. This tool has discovered thousands of errors in popular open-source software including Google Chromium, Bash, sed, and Hadoop, with hundreds confirmed by developers and over 50 CVEs assigned. His publication record shows a strong focus on program analysis, particularly context-sensitive pointer analysis, taint analysis, and vulnerability detection. His recent work (2021-2024) demonstrates continued innovation in context-free language reachability, efficient IFDS algorithms, and specialized analysis for generics and authorization vulnerabilities. His research spans cybersecurity, programming languages, and software engineering domains, with emphasis on practical applications for real-world software systems. ASE 2019 Distinguished Paper Award CCS 2022 Best Paper Honorable Mention Lian Li has guided numerous PhD and Master's students in computer system architecture and software theory. His research group maintains active collaborations across various software analysis domains, with funding supporting their work on tools like Wukong. They have developed significant intellectual property including multiple patents related to program analysis techniques. The program analysis research group he leads focuses on developing practical tools for software reliability and security. Their work bridges theoretical program analysis with real-world applications, particularly through the Wukong analysis system which has been successfully applied to major open-source projects.

• Human-Computer Interaction
• Task Modeling
• User Interface Design
• +3 more

Sybille Caffiau serves as a Lecturer in Data Engineering at ISAE-ENSMA's School of Engineering, affiliated with the LIAS laboratory across both ENSIP (Poitiers) and ISAE-ENSMA (Chasseneuil) campuses. Her research focuses on Human-Computer Interaction with specialization in task modeling and user interface validation. Her research interests span Human-Computer Interaction , Task Modeling , and User-Centered Design . She develops and evaluates tools like K-MADe for modeling user activities, with emphasis on empirical validation of task modeling approaches. Her work bridges cognitive science principles with practical software engineering applications, particularly in educational technology and interactive system design. Analysis of her publication trends reveals consistent contributions to HCI conferences and journals since 2006, with increasing focus on tool development (notably K-MADe) and empirical validation methodologies. Her recent work demonstrates strong interdisciplinary connections between cognitive modeling, software engineering, and educational technology. No scientific awards or fellowships are documented in the available materials. While her collaborative network includes prominent researchers like Laurent Guittet and Patrick Girard, specific details about student advising or research grants are not provided in the source materials. Her thesis work (2009) established foundations for model-driven interactive application design. She operates within the LIAS laboratory's Data Engineering team, contributing to research on interactive systems and task modeling frameworks. The KMADe environment represents her primary software contribution for activity description and task modeling.

MANSOOR AHMED HASAN HUSAIN ALAALIView profile

Professor

• Data Mining
• Natural Language Processing
• Computer Ethics
• +3 more

Professor Mansoor Ahmed Hasan Husain Alaali is affiliated with Ahlia University in Bahrain, where he conducts research spanning computer science, education technology, and ethics. His work focuses on developing practical solutions for higher education and software systems, with no specific school or department mentioned. Research Interests: Mansoor's primary fields include data mining for educational outcomes, natural language processing (especially Arabic), computer ethics from Islamic perspectives, database systems, and innovations in teaching methodologies. His publications frequently address technology-enhanced learning, semantic systems, and software engineering practices. Publication Trends: Recent work (2012-2015) emphasizes data mining in education, intelligent dictionary systems, and e-government adoption. Earlier contributions (2007-2010) explore adaptive testing, peer assessment, and mobile learning, reflecting a consistent focus on optimizing educational frameworks and computational tools. Awards & Students: No scientific awards or supervised students are documented in the provided text.