جست‌وجوی استاد و پژوهشگر

• Computer Vision
• Machine Learning
• Adversarial Robustness
• +۴ مورد دیگر

Jenny Schmalfuss is a Doctoral Researcher at the Institute for Visualization and Interactive Systems (VIS) within the Faculty of Computer Science, Electrical Engineering, and Information Technology at the University of Stuttgart. She is also a scholar of the International Max Planck Research School for Intelligent Systems (IMPRS-IS). Her research focuses on computer vision and machine learning, specifically investigating robustness of deep learning methods against distribution shifts and adversarial attacks. Her primary research interests include computer vision, machine learning, and the intersection of these fields with robustness analysis. She has made significant contributions to understanding weaknesses in vision language models and motion estimation techniques like optical flow. Her work explores how to quantify and improve model robustness through adversarial testing frameworks. Her publication record shows a strong focus on adversarial robustness in motion estimation, with multiple papers at top-tier conferences including CVPR, ICCV, and ECCV. Recent work includes the PARC framework for analyzing vision language models (CVPR 2025), Distracting Downpour for weather-based adversarial attacks (ICCV 2023), and foundational work on adversarial snow attacks (ECCV AROW 2022). Poster Award at ICVSS 2023 Best Paper Award at ECCV AROW Workshop 2022 Best SimTech Bachelor's thesis 2021 (supervised) Jenny actively supervises numerous Master's theses, Bachelor's theses, and research projects annually, focusing primarily on optical flow robustness, adversarial attacks, and motion estimation. She has also completed an internship with NVIDIA's Autonomous Vehicle Perception Research Group in Santa Clara, CA, USA from April to November 2024, and previously worked as a research intern at the National University of Singapore and University of Houston. She teaches regularly in the Computer Vision and Intelligent Systems program, organizing colloquia and supervising seminars on Recent Advances in Computer Vision since 2021. Her teaching portfolio includes coordinating tutorials for Computer Vision and Imaging Science courses.

Yang Liمشاهده پروفایل

دانشیار

• Statistical Machine Learning
• Bayesian Nonparametrics
• Scalable Optimization
• +۵ مورد دیگر

Yang Li serves as Associate Professor of Marketing and Associate Dean for the MBA Program at Cheung Kong Graduate School of Business (CKGSB). Holding a PhD in Marketing from Columbia Business School alongside dual master's and bachelor's degrees from Columbia and Peking University respectively, he bridges advanced statistical methodologies with practical business applications. His research centers on statistical machine learning and Bayesian nonparametrics applied to consumer behavior analysis, with specialization in online personalization, text mining, and choice modeling. Recent work demonstrates significant focus on fragmented attention economies, ethical AI frameworks, and NFT network dynamics, reflecting contemporary digital market challenges. Management Science Marketing Science Journal of Marketing Research Journal of Consumer Research Harvard Business Review Professor Li's publications reveal evolving expertise from foundational pricing elasticity studies toward cutting-edge AI applications in consumer contexts. His work increasingly integrates generative models and graph neural networks to decode complex consumer collection behaviors and digital ecosystem dynamics. Scientific recognition includes being a Finalist for the 2021 Paul E. Green Best Paper Award. Industry impact is demonstrated through executive education programs and strategic consultancies with Tencent, Haier, and Tmall. As Associate Dean for MBA Programs, he oversees curriculum development while maintaining active corporate governance roles on boards of publicly traded companies across China and Hong Kong, directly applying his research insights to strategic decision-making in digital transformation initiatives.

Dominik Stögerمشاهده پروفایل

استادیار

• Mathematical Foundations of Data Science
• Non-convex Optimization
• Machine Learning Theory
• +۴ مورد دیگر

Dominik Stöger is an Assistant Professor (tenure-track) in the Department of Mathematics at KU Eichstätt-Ingolstadt since 2021, affiliated with the Mathematical Institute for Data Science and Machine Learning (MIDS). His research bridges mathematical theory and data science applications. His educational background includes: B.Sc. in Mathematics, Technical University of Munich (2013) M.Sc. in Mathematics, Technical University of Munich (2015) Ph.D. in Mathematics, Technical University of Munich (2019) Stöger's research centers on mathematical foundations of data science, with emphasis on non-convex optimization in machine learning, theoretical analysis of overparameterized models, and low-rank matrix recovery. He combines optimization theory and high-dimensional probability to develop rigorous guarantees for modern algorithms, addressing critical challenges in deep learning theory. His recent publications (2020-2025) demonstrate consistent output in top venues including COLT, NeurIPS, and ICLR, with particular focus on implicit regularization phenomena and non-convex recovery guarantees. The 2025 pipeline shows active work extending theoretical boundaries in matrix sensing and neural network analysis. Stöger has received significant recognition: NeurIPS 2021 Spotlight Paper (top 3% of submissions) COLT 2025 paper presentation As a tenure-track faculty member, he maintains active collaborations across institutions (USC, TUM) and likely advises graduate students. His research program shows strong momentum with multiple concurrent projects advancing theoretical machine learning. He contributes to the research ecosystem through affiliation with MIDS, fostering interdisciplinary work in mathematical data science at KU Eichstätt-Ingolstadt.

Thomas Kopinskiمشاهده پروفایل

استاد

• Machine Learning
• Deep Learning
• AI Safety
• +۶ مورد دیگر

Prof. Dr. Thomas Kopinski is a Professor at the Faculty of Engineering and Economics, South Westphalia University of Applied Sciences in Meschede, Germany. He leads the AI Safety and Collective Intelligence Lab, focusing on cutting-edge research in machine learning applications for industrial and automotive systems. His work bridges academic research and industry collaborations, notably with BMW AG. Research Focus: His team explores: Deep learning architectures for real-time gesture recognition and automotive HMI AI safety protocols and collective intelligence frameworks Industrial applications including predictive maintenance and anomaly detection 3D programming and sensor fusion techniques Team & Students: Current advisees include PhD candidates working on: Bayesian deep learning for predictive maintenance (Felix Neubürger) Generative models for image synthesis (Yasser Saeid) Object recognition in crash test videos (Daniel Gierse) Key Projects: Actively directs WiTraPres and Core Transformer initiatives, with upcoming R&D in AI Safety launching in 2025. Industrial collaborations focus on automotive safety systems and manufacturing optimization.

Yang Liuمشاهده پروفایل

استاد

• Formal Methods
• Software Engineering
• Security
• +۷ مورد دیگر

Yang Liu is a Full Professor and University Leadership Forum Chair at the School of Computer Science and Engineering, Nanyang Technological University (NTU) in Singapore. He serves as Programme Director for HP-NTU Digital Manufacturing Corp Lab, Deputy Director of the National Satellite of Excellence of Singapore, and Cluster Director in Cybersecurity at Energy Research Institute @NTU. His research spans Cybersecurity , Software Engineering , and Artificial Intelligence . He leads research in malware modeling and detection, vulnerability analysis using machine learning and program analysis, formal verification of security systems, program specification learning, performance analysis, Android system security, and AI security, robustness, fairness, and explainability. His notable work includes the Process Analysis Toolkit (PAT) for model checking and the Deep-Series tools for deep learning testing. Professor Liu has published extensively in top-tier conferences including ASE, ICSE, FSE, ISSTA, and S&P. His research demonstrates strong trends toward integrating AI/ML techniques with traditional software engineering and security approaches, particularly focusing on large language models for code analysis, vulnerability detection, and program repair. Recent publications show a growing emphasis on blockchain security, smart contract analysis, and addressing security challenges in AI systems. NRF Investigatorship (Class 2020) ACM's Distinguished Speaker Nanyang Research Award (Young Investigator) Microsoft Asia Research Fellowship 20 Year ICFEM Most Influential System Award for PAT Multiple ACM SIGSOFT Distinguished Paper Awards Professor Liu actively advises students and has seen notable student achievements, including Singapore Data Science Consortium research award winners and AISG PhD Fellowship recipients. His research is supported by numerous grants including a $900,000 NTU-NAP grant for Formal Verification on Cloud and a $471,000 grant for Vulnerability Detection in Binary Code. He leads the HP-NTU Digital Manufacturing Corp Lab and contributes to RollsRoyce@NTU Corporate Lab research on complex business systems simulation.

Lina Gongمشاهده پروفایل

دانشیار

• Intelligent Software Engineering
• SE4AI
• Empirical Software Engineering
• +۳ مورد دیگر

Lina Gong is an Associate Professor at the School of Computer Science and Technology, Nanjing University of Aeronautics and Astronautics, China. She holds a Ph.D. in Computer Software and Theory from China University of Mining and Technology (2020) and completed a research visit at Queen's University's Software Analysis and Intelligence Lab (SAIL) under Prof. Ahmed Hassan (2019-2020). Her research focuses on leveraging machine learning to extract insights from software repositories, with emphasis on: ML-enabled defect prediction techniques Code pre-trained models for vulnerability detection Identifier normalization and issue classification Empirical studies of software quality attributes Her recent publications (2023-2025) demonstrate strong trends in applying transformer architectures to code analysis, with increasing focus on supply chain security and cross-platform UI translation. Key venues include IEEE TSE, ACM TOSEM, and ASE. Scientific recognition includes: National Natural Science Foundation of China (2022-2025) Natural Science Foundation of Jiangsu Province (2022-2025) Key National Laboratory Foundation (2022-2023) Excellent Ph.D. Student Award (CUMT) She actively mentors graduate students (14 advisees: 1 doctoral, 13 master's) and serves on program committees for ASE, APSEC, and SANER. Her research is supported by multiple competitive grants focusing on ML applications in software engineering.

Shing-Chi Cheungمشاهده پروفایل

استاد

• Software Engineering
• Program Analysis
• Software Testing
• +۷ مورد دیگر

Shing-Chi Cheung is a Professor of Computer Science and Engineering at the Hong Kong University of Science and Technology (HKUST), School of Engineering. He founded the CASTLE research group and co-founded the International Workshop on Automation of Software Testing (AST) in 2006. His leadership includes serving as General Chair of FSE 2014 and chairing multiple APSEC conferences. His research focuses on software quality enhancement through program analysis, testing, debugging, and AI techniques, targeting Android apps, open-source software, deep learning systems, smart contracts, and spreadsheets. Current projects include metamorphic testing frameworks, binary analysis tools, and vulnerability detection systems for emerging technologies. His publication portfolio demonstrates consistent contributions to software engineering since 2016, with recent work emphasizing AI-integrated testing methodologies, smart contract security, and deep learning system reliability. Key trends show increasing focus on cross-language analysis, data visualization quality, and compiler-level verification for modern software stacks. Distinguished Member of the ACM Fellow of the British Computer Society Editorial board member: Science of Computer Programming (SCP), Journal of Computer Science and Technology (JCST) Former editorial board member: IEEE Transactions on Software Engineering (2006-2009), Information and Software Technology (2012-2015) Four patents in China and the United States Cheung actively mentors through the CASTLE research group and serves on program committees for major conferences including ICSE, ESEC/FSE, and ISSTA. His work bridges academic research with practical applications through industry collaborations and tool development. He has contributed to numerous workshops and symposia as steering committee member and program chair.

Chao Zhangمشاهده پروفایل

دانشیار

• Software Security
• System Security
• Data Security
• +۶ مورد دیگر

Chao Zhang is a Tenured Associate Professor at Tsinghua University, specializing in software security, system security, data security, and AI security. He leads the VUL337 research group and serves as the coach of the Blue-Lotus CTF team. His educational background includes a Ph.D. in Computer Science from Peking University (2008-2013), a B.S. in Mathematical Science from Peking University (2004-2008), and a postdoctoral position at UC Berkeley (2013-2016). Dr. Zhang's research focuses on Software Security , System Security , Data and AI Security , Program Analysis , and Vulnerability Discovery . His work spans binary code analysis, fuzzing techniques, blockchain security, and AI security. His recent publications demonstrate a strong emphasis on developing novel frameworks for vulnerability detection, binary code analysis, and securing AI systems against adversarial attacks. His publication trends show a consistent focus on practical security solutions with increasing attention to AI security challenges. Over the past decade, he has published extensively in top security conferences including IEEE S&P, USENIX Security, CCS, NDSS, and ISSTA, with a significant acceleration in publications since 2020. Tencent CSS TSec Professional Prize (2nd place, 2019) Tencent CSS TSec Breakthrough Prize (1st place, 2018) DARPA Cyber Grand Challenge CFE, 2nd in exploiting (2016) DARPA Cyber Grand Challenge CQE, 1st in defense (2015) Microsoft BlueHat Prize Contest's Special Recognition Award (2012) 5th place in Defcon CTF 2017 2nd place in Defcon CTF 2016 5th place in Defcon CTF 2015 Dr. Zhang leads the VUL337 research group at Tsinghua University, which focuses on vulnerability discovery and security analysis. He also serves as the coach of the Blue-Lotus CTF team and is a member of the V group of LiST. His research has received significant attention in the security community, with numerous publications in top-tier security venues and practical contributions to vulnerability discovery and mitigation techniques.

Shangwen Wangمشاهده پروفایل

استادیار

• Program repair
• Program comprehension
• Mining software repositories
• +۳ مورد دیگر

Shangwen Wang is an Assistant Professor in the School of Computer Science at National University of Defense Technology (NUDT) in Changsha, China. He earned his Bachelor's degree in June 2017, Master's degree in December 2019, and Ph.D. in December 2023, all from NUDT. During his graduate studies, he was supervised by Professor Xiaoguang Mao. From May 2022 to July 2023, he was a visiting student at Southern University of Science and Technology under Professor Yepang Liu. His educational background includes: Ph.D. in Software Engineering, NUDT (2020.3-2023.12), supervised by Prof. Xiaoguang Mao Visiting Scholar, SUSTech (2022.5-2023.7), supervised by Prof. Yepang Liu M.A. in Software Engineering, NUDT (2017.9-2019.12), supervised by Prof. Xiaoguang Mao B.A. in Software Engineering, NUDT (2013.9-2017.6) Wang's research focuses on program repair, program comprehension, mining software repositories, software maintenance and evolution, software testing, and AI for Software Engineering. His work bridges traditional software engineering techniques with modern AI approaches, particularly leveraging large language models for various software engineering tasks. He has made significant contributions to automated program repair, fault localization, vulnerability detection, and code generation. His research demonstrates a strong emphasis on empirical validation and practical applicability to real-world software development challenges. His recent publications show a clear trend toward integrating large language models with traditional software engineering tasks. The 15 most recent articles reveal a focus on applying LLMs to program repair, fault localization, vulnerability detection, and code generation, while maintaining strong empirical foundations. His work spans both theoretical advancements and practical tool development, with applications in software security, testing, and maintenance. His notable achievements include: CCF Outstanding Doctoral Dissertation (CCF优博) 2024 Outstanding Doctoral Graduates, NUDT, 2023 Multiple distinguished paper awards including ACM SIGSOFT Distinguished Paper Award (ISSTA'24) and IEEE TCSE Distinguished Paper Awards (ICSME'22, SANER'22) Prestigious scholarships from NUDT throughout his academic career As an active member of the software engineering community, Wang serves on numerous program committees for top conferences including ICSE, ASE, ESEC/FSE, and ISSTA. He has also contributed to teaching as a teaching assistant for courses such as Compiler, Python Programming, Discrete Mathematics, and C++ Programming. His research group appears to be actively mentoring students, as evidenced by his role as corresponding author on multiple student-led publications. Wang maintains an active research presence with collaborations across multiple institutions in China. His work demonstrates a clear trajectory from traditional program analysis techniques toward integrating cutting-edge AI approaches, particularly large language models, into software engineering practices.

Minxue Panمشاهده پروفایل

استاد

• Software Modelling and Verification
• Software Analysis and Testing
• Cyber-Physical Systems
• +۵ مورد دیگر

Minxue Pan is a Professor and PhD supervisor at the Software Institute, State Key Laboratory for Novel Software Technology, Nanjing University, China. His research focuses on the dependability of complex software systems, with expertise spanning software modeling and verification, software analysis and testing, cyber-physical systems, mobile computing, and intelligent software engineering. Ph.D. in Computer Science and Technology from Nanjing University (2014), supervised by Prof. Xuandong Li B.Sc. from Nanjing University Studied at UC Berkeley's Department of Electrical Engineering and Computer Sciences (2009-2010) under Prof. Edward A. Lee Professor Pan's research interests center on improving software dependability through innovative approaches to modeling, analysis, and testing. His work spans traditional software systems, mobile applications (particularly Android), cyber-physical systems, and the application of AI techniques to software engineering problems. He has made significant contributions to GUI testing, vulnerability detection, and deep learning applications in software engineering. His recent publications (2024-2025) demonstrate a strong focus on applying advanced machine learning techniques to software testing and security challenges. Key trends include leveraging large language models for test migration, enhancing fault localization with graph learning and contrastive learning, developing specialized frameworks for Android security analysis, and improving test efficacy through GUI and functional equivalence. His work consistently targets real-world industrial settings and addresses practical challenges in mobile and complex software systems. ISSTA 2020 Distinguished Paper Award ICSE 2025 Best Artifact Award Professor Pan actively advises graduate students and has developed several notable tools including Q-testing (reinforcement-learning based Android testing), ISDChecker (model checking for interrupt-driven systems), PREFEST (preference-wise testing for Android), Sketchoid (GUI code search), and PI-REC (hand-drawn draft conversion). His research is supported by extensive publication records in top-tier software engineering venues including ASE, ICSE, FSE, ISSTA, and TOSEM. He teaches undergraduate courses in Advanced Programming with C++, Software System Design, and Software Construction, as well as graduate courses in Advanced Software Design. His laboratory work focuses on developing practical solutions for real-world software dependability challenges through the State Key Laboratory for Novel Software Technology.

Jie Liuمشاهده پروفایل

استاد

• Big Data Intelligent Analysis
• Machine Learning Systems
• Intelligent Software Engineering
• +۳ مورد دیگر

Jie Liu is a Researcher at the Institute of Software, Chinese Academy of Sciences and a Professor and Doctoral Supervisor at University of Chinese Academy of Sciences. He is also a Member of the Youth Innovation Promotion Association of the Chinese Academy of Sciences and an Executive Committee Member of the System Software Committee of the CCF Computer Society. His research is conducted within the Software Engineering Technology R&D Center. Dr. Liu received his Ph.D. from the University of Science and Technology of China in 2011 and his B.A. from the same institution in 2004. He has progressed through the ranks at the Institute of Software, CAS, starting as an Assistant Research Fellow (2011-2014), then Associate Research Fellow (2014-2024), and currently as a Researcher (since 2024). His research spans Big Data Intelligent Analysis Models and Systems at the intersection of AI, Software Engineering, and System Software. Specifically, his work covers three main areas: Big Data and Machine Learning Systems (statistics and AI algorithm model libraries, data quantitative analysis tools, LLM reasoning optimization, Earth Big Data); Intelligent Software Engineering (code model constraint decoding, data science agents, system log analysis agents); and Knowledge-Enhanced Intelligent Model Construction (knowledge extraction, knowledge graphs, domain AI model design). His research has resulted in innovative approaches to handling complex data analysis challenges across multiple domains. Dr. Liu's research has produced significant outcomes including EarthDataMiner, which supports SDG indicator calculations and won the 2024 Beijing Municipal Science and Technology Progress First Prize. His work on RISC-V software migration technology has been integrated into the Ruiqian tool (https://rvpt.top/), demonstrating practical applications of his research in emerging computing architectures. Beijing Science and Technology Progress Award, First Prize, 2024 2023 Surveying and Mapping Science and Technology Award, Special Prize, 2023 DASFAA Best Paper Runner-up, Second Prize, 2013 Dr. Liu has successfully guided numerous graduate students who have secured positions at major technology companies including Alibaba, ByteDance, Southern Power Grid, and Agricultural Bank of China. He has secured funding through multiple National Natural Science Foundation projects, National Key R&D Program projects, and over ten other research initiatives. His research collaborations span industry leaders like Huawei, JD.com, and TravelSky, as well as academic institutions within the Chinese Academy of Sciences. He teaches graduate courses such as 'Machine Learning Systems' and 'Cloud Computing and Big Data Technology' at University of Chinese Academy of Sciences, and has established a research group focused on developing innovative solutions at the intersection of AI and software engineering with real-world applications in earth sciences, healthcare, and intelligent systems.

Xiaoning Duمشاهده پروفایل

مدرس ارشد

• Software Engineering
• Artificial Intelligence
• Cybersecurity
• +۳ مورد دیگر

Xiaoning Du is a Senior Lecturer (equivalent to U.S. Associate Professor) at the Department of Software Systems and Cybersecurity within the Faculty of Information Technology at Monash University, Australia. She was promoted to this position effective July 1, 2025, having previously served as a Lecturer (Assistant Professor) since joining Monash in February 2021. Her research bridges the gap between theory and practical applications of program analysis and formal methods in evaluating traditional and AI-assisted software systems. Dr. Du's educational background includes: PhD from Nanyang Technological University (2020) Bachelor's degree from Fudan University (2014) Dr. Du specializes in software engineering, artificial intelligence, and cybersecurity , with particular focus on SE4AI (Software Engineering for AI), software analysis and testing . Her research has made significant contributions to the security and quality assurance of intelligent software systems, especially intelligent software engineering tools. She is best known for her work on Devign , BigCodeBench , DeepStellar , and SimPy , which have advanced the fields of code generation, program analysis, and AI security. Her approach consistently bridges theoretical foundations with practical applications to improve software quality and security. Dr. Du's recent publications demonstrate a strong focus on the intersection of software engineering and AI, particularly examining how large language models interact with source code. Her work addresses critical challenges in code generation efficiency, security vulnerabilities in AI-assisted development, and fairness in AI systems. She has made significant contributions to benchmarking frameworks like BigCodeBench and has pioneered research on watermarking techniques to protect code datasets from misuse by neural code completion models. Dr. Du has received numerous prestigious awards and recognitions: 2024 Google Research Scholar Award in Software Engineering ACM SIGSOFT Distinguished Paper Award (ISSTA'24) ICLR Oral presentation (2025) 2024 FIT Dean's Early Career Researcher of the Year Award Multiple FIT ECR Seed Grants (2021-2023) Dr. Du actively mentors PhD students, with notable successes including Terry (2024-2025 IBM PhD Fellowship Award recipient) and Zhensu (2024 Bytedance Scholarship Award recipient). She is currently seeking self-motivated PhD students with strong programming skills and relevant research experience, offering full scholarship support. Her research has been supported by multiple grants including the Google Research Scholar Program award and several FIT ECR Seed Grants that have enabled her team to pursue innovative research in software security and AI-assisted development. Dr. Du leads a research group focused on intelligent software systems security and quality assurance. Her team has developed several influential tools and benchmarks including Devign, BigCodeBench, DeepStellar, and SimPy. These resources have become important assets for researchers and practitioners working at the intersection of software engineering and artificial intelligence, particularly in the areas of code generation, program analysis, and security testing of AI systems.

Gary Tanمشاهده پروفایل

استاد

• computer security
• formal methods
• programming languages
• +۳ مورد دیگر

Gang (Gary) Tan is a Professor in the Computer Science and Engineering Department at Pennsylvania State University, co-directing the Institute for Networking and Security Research (INSR). His research bridges computer security, formal methods, and programming languages to develop practical solutions for software vulnerabilities and AI fairness. Education: B.E. in Computer Science from Tsinghua University Ph.D. in Computer Science from Princeton University Dr. Tan specializes in applying compiler techniques and formal verification to security challenges, with seminal work on cache side-channel attacks and fairness in machine learning. His Security of Software (SOS) Group develops frameworks that integrate theoretical guarantees into real-world systems, emphasizing measurable security outcomes and ethical AI. Recent projects focus on quantifying bias in neural networks and mitigating speculative execution vulnerabilities. Analysis of his 2021-2025 publications reveals a strategic pivot toward AI security, where he pioneers methods for fairness testing (e.g., information-theoretic debugging) and repair (e.g., NeuFair). Concurrently, his security work evolves from foundational side-channel research (SpecSafe, 2021) toward hardware-software co-design solutions, demonstrating consistent innovation across theoretical and applied domains. Scientific Awards: James F. Will Career Development Professorship NSF CAREER Award Google Research Award (two instances) Distinguished Reviewer Award at 2018 IEEE Symposium on Security and Privacy Outstanding Research Award at Penn State Ruth and Joel Spira Excellence in Teaching Award Best Paper Award at PLDI 2024 Dr. Tan leads the SOS Group with funding from NSF (including CAREER), DARPA (ISAT study group membership), and industry partners like Google. His grants support interdisciplinary projects spanning secure compilation, fairness engineering, and hardware security, while his teaching excellence award reflects commitment to pedagogy in core systems courses. He co-directs Penn State's Institute for Networking and Security Research (INSR), fostering collaboration between systems, security, and AI researchers. The SOS Group maintains active partnerships with industry security teams and contributes to open-source tools for vulnerability detection, with recent work expanding into fairness certification for machine learning pipelines.

Austin Mordahlمشاهده پروفایل

استادیار

• Static Analysis
• Taint Analysis
• Automated Testing
• +۴ مورد دیگر

Austin Mordahl is an Assistant Professor in the Department of Computer Science at the University of Illinois Chicago. His research focuses on improving the usability and reliability of software quality assurance tools, particularly static analyses and fuzz testing. Dr. Mordahl actively seeks students interested in cutting-edge research in software engineering at UIC. Dr. Mordahl's research interests span multiple areas of software engineering with a particular emphasis on: Static Analysis and Taint Analysis for software security Automated Testing techniques including fuzz testing Improving the usability and reliability of software quality assurance tools Configurable static analysis tools and their behavior Applying machine learning to triage and configure static analysis tools Lifting static analysis to work on software product lines Improving evaluations of fuzz testing tools His recent publications demonstrate a strong focus on addressing challenges in configurable static analysis tools, with particular attention to nondeterministic behavior, configuration spaces, and automatic testing and debugging approaches. Mordahl's work bridges theoretical foundations with practical applications, aiming to make software quality assurance tools more accessible and effective for developers. Dr. Mordahl has received several prestigious awards for his work: NSF Graduate Research Fellowship Awardee (2020) Eugene McDermott Graduate Research Fellowship Awardee (2020) ICSE 2019 Student Research Competition Winner Dr. Mordahl is actively involved in mentoring and seeks students interested in software engineering research. He has served on numerous program committees for top software engineering conferences including ICSE, ASE, ISSTA, and PLDI. His service to the academic community extends to artifact evaluation committees, demonstrating his commitment to research reproducibility and rigor.

Huaming Chenمشاهده پروفایل

مدرس ارشد

• Software Engineering
• Artificial Intelligence
• Software Security
• +۳ مورد دیگر

Dr. Huaming Chen is a Senior Lecturer in the School of Electrical and Computer Engineering at The University of Sydney, Australia. His work focuses on trustworthy machine learning systems, software engineering, and software security. With numerous publications in top-tier conferences and journals, Dr. Chen has established himself as a significant contributor to the fields of AI security and software engineering. Dr. Chen's primary research interests lie at the intersection of software engineering and artificial intelligence, with a strong emphasis on trustworthy AI systems. His work spans several key areas including: Software Security for AI-enabled systems Trustworthy and Responsible AI development Computational biology applications Industrial 4.0 implementations Federated learning and privacy-preserving techniques Large language model verification and uncertainty analysis His research addresses critical challenges in ensuring AI systems are secure, reliable, and ethically sound. Dr. Chen's recent publications demonstrate a strong trend toward addressing security and trustworthiness challenges in AI systems. His work spans multiple domains including software security (particularly for AI systems), trustworthy AI development, and applications in computational biology. A significant portion of his recent work focuses on large language models, examining their vulnerabilities, verification methods, and uncertainty analysis. He also maintains active research in federated learning, adversarial machine learning, and software security techniques. Dr. Chen has received several notable awards and recognitions: 2020 IEEE CIS Student Grant for IEEE WORLD CONGRESS ON COMPUTATIONAL INTELLIGENCE (WCCI) 2017 Student and Early Career Travel Fellowship for The 16th International Conference on Bioinformatics (InCoB 2017) 2017 Student Travel Award for 2017 IEEE World Congress on Services Dr. Chen actively supervises multiple research students working on cutting-edge projects related to trustworthy AI and software security. His current students are exploring topics ranging from blockchain-based governance frameworks to open-source AI security and digital twin platforms. He also serves in numerous committee roles at top conferences including area chair for ACM MM, and PC member for ACM CCS, IJCAI, KDD, and many others. His service as a Guest Editor for journals like Computers & Security and as a Grant Reviewer for UKRI demonstrates his standing in the research community. Dr. Chen organizes workshops focused on Trustworthy and Responsible AI, reflecting his commitment to advancing the field. His research group appears to focus on practical applications of AI security techniques, with projects spanning multiple domains including healthcare, finance, and industrial systems. He maintains active collaborations with researchers across multiple institutions, as evidenced by his co-authorship on diverse publications.