Prof. Boyang Albert Li — Research Profile

Nanyang Technological University · College of Computing and Data Science

This research profile is based on public faculty information. An independent lab and student recruitment have not yet been verified.

Information sourceChecked Jul 22, 2026

Ask current students about this lab

Post your question to the Career board — students who have verified their school can answer under blind identities.

About

Prof. Boyang Albert Li at Nanyang Technological University College of Computing and Data Science lists Formal Verification, Programming Languages as their registered research area.

Research keywords

Formal VerificationProgramming Languages

Other labs in this department

Alexei Sourin 교수 연구실
Computer Graphics, Interactive Computing
Anupam Chattopadhyay 교수 연구실
Computing Hardware, Embedded Systems
Anwitaman Datta 교수 연구실
Distributed Systems, Data Security
Arvind Easwaran 교수 연구실
Computing Architecture, Real-time Systems
A S Madhukumar 교수 연구실
Computer Networks and Communications, Signal Processing
Atsushi Nitanda 교수 연구실
Machine Learning Theory, Optimization

See all labs in this department