Trustworthy Systems

Tran Dao Le
Masters Student

Research Interests

Dao is working on the decompilation-into-logic framework for Pancake.

Contact Details

Email:tran_dao.le@unsw.edu.au

More contact information is available at the Contact page.

Photo of Tran Dao Le