Michael Fu - FormaliSE 2026

Sun 12 - Mon 13 April 2026 Rio de Janeiro, Brazil

co-located with ICSE 2026

Registered user since Wed 6 Oct 2021

Name:Michael Fu

Country:Australia

Affiliation:The University of Melbourne

Personal website: https://michaelfu1998-create.github.io/

X (Twitter): https://x.com/Michael84437381

GitHub: https://github.com/MichaelFu1998-create

Research interests:Deep Learning for Cybersecurity

Contributions

2026

ICSE

Committee Member in Program Committee within the Research Track-track
On the Evaluation of Large Language Models in Multilingual Vulnerability Repair
AI-Assisted Code Review as a Scaffold for Code Quality and Self-Regulated Learning: An Experience Report

Mining Software Repositories

IntelliSA: An Intelligent Static Analyzer for IaC Security Smell Detection Using Symbolic Rules and Neural Inference

Show activities from other conferences

ICSE 2026-profile
View general profile