Associate Professor Helen Paik
Helen Paik is an Associate Professor in the School of Computer Science and Engineering at UNSW Sydney and Research Director of the UNSW–UTS Trustworthy Digital Society initiative.
Her research addresses the design and deployment of dependable distributed systems, and asks how the software-engineering disciplines of testing, verification, provenance and compliance can be extended to systems society is now being asked to trust. Her work spans software engineering fundamentals - distributed architectures, data management, and cyber-physical systems - and their application to digital identity, privacy, security, and trustworthy AI.
Her current projects run along three connected lines. The first brings software-engineering assurance to machine learning: locating and steering trustworthiness-relevant behaviour in large language models, robustness testing and repair of generative models, watermarking and provenance for AI-generated code, and verifiable evaluation of machine reasoning. The second concerns accountable digital money and tokenised-asset infrastructure: formal verification of settlement finality, the functioning of markets in tokenised real-world assets, and accountable credential disclosure in self-sovereign identity. The third bridges the two, turning regulatory and legal text into executable, checkable constraints so that compliance can be verified rather than asserted.
She has published over 140 peer-reviewed papers and led industry-embedded research through Cooperative Research Centres and national programs, partnering with organisations in finance, government, infrastructure, cybersecurity, startups, and digital services. At UNSW she teaches data management and web applications, and leads a group of doctoral and master's candidates working across AI assurance, tokenised finance, and machine-executable compliance. She serves the research community through editorial boards, technical committee leadership, and program chair roles at international conferences.
- Publications
- Media
- Grants
- Awards
- Research Activities
- Engagement
- Teaching and Supervision
My Research Supervision
|
Level |
Student |
Supervisors |
Topic |
|---|---|---|---|
|
PhD |
Chaisawat, Siriboon |
Paik, H (Joint Primary), Kanhere, S (Joint) |
Witness privacy and evidence credibility in digital forensics for connected autonomous vehicles |
|
PhD |
Hu, Zhibo |
Paik, H (Primary), Wang Chen (Joint) |
Detecting and steering trustworthiness-relevant behaviour in large language models |
|
PhD |
Islam, Nazmul |
Lee, J-S (Primary), Paik, H (Secondary) |
Intersectional inequalities in STEM higher education (Social Sciences) |
|
PhD |
Kelly, Gerard |
Paik, H (Primary), Dilum Bandara (Secondary) |
Formal verification of settlement finality in tokenised payment systems |
|
PhD |
Krul, Evan |
Paik, H (Joint Primary), Ruj, S (Joint), Kanhere, S (Secondary) |
Interoperability in Digital Finance Systems |
|
PhD |
Li, Weiming |
Sui, Y (Joint Primary), Paik, H (Joint) |
Multimodal GUI agents and efficient LLM agent reasoning |
|
PhD |
Liu, Zhonghao |
Paik, H (Joint Primary) |
Tokenised real-world asset markets and automated market-maker design |
|
PhD |
Lou, Haowei |
Paik, H (Primary), Hu, W (Secondary), Yao, L (Secondary) |
Controllable and efficient expressive speech synthesis |
|
PhD |
Shen, Yifan |
Sui, Y (Primary), Paik, H (Joint) |
Robustness testing and repair of text-to-image generation models |
|
PhD |
Singh, Amrita |
Joshi, A (Primary), Jiang, J (Joint), Paik, H (Secondary), Cheong, M (Secondary) |
Natural language processing for legal contracts across jurisdictions |
|
PhD |
Sun, Jinglin |
Suleiman, B (Primary), Paik, H (Joint), Rabhi, F (Secondary) |
Question answering over ESG regulatory disclosures |
|
PhD |
Tran, Frank |
Kanhere, S (Primary), Paik, H (Joint), Joshi, A (Secondary) |
Automating regulatory compliance from legal and regulatory text |
|
PhD |
Yang, Yilin |
Paik, H (Joint Primary), Sui, Y (Joint) |
Watermarking and provenance attribution for AI-generated code |
|
PhD |
Zhou, Mo |
Paik, H (Primary), Wang, X (Secondary) |
Multimodal entity linking and LLM reasoning |
|
Masters (Research) |
Aume, Cameron |
Paik, H (Joint Primary), Batista, G (Joint) |
Benchmarking and verifiable evaluation of LLM symbolic reasoning |
|
Masters (Research) |
Li, Pengqi |
Paik, H (Primary), Lee, S (Secondary) |
Designing Agent-based systems for ESG assessment tasks |
|
Masters (Research) |
Setiadi, Jason |
Cao, X (Joint Primary), Paik, H (Joint), Yao, L (Secondary) |
|