Alvin Tang

Hello there! I'm Alvin. Currently pursuing an honours degree at the ANU, I have a strong interest in theoretical computer science, particularly type theory, functional models of computation and proof calculi. My recent projects involve research in subtyping, primitive corecursion and theorem proving with non-classical logic systems.

Education

• Feb 2022 – Dec 2025 (Expected): Bachelor of Advanced Computing (Research and Development) (Honours) at the Australian National University (ANU)
  • View the list of courses I completed / will be taking
• Jun 2021: International Advanced Levels (IAL)
  • A*A*A* in Mathematics, Further Mathematics and Physics

Projects and Academic Writings

My recent projects involve subtyping, computability, corecursion and automated theorem proving.

1. Generalised Type Preprocessing for Integrated Subtyping
• Supervisor: Dr Fabian Muehlboeck
2. Computable Corecursive Functions: A Coalgebraic Approach to A Turing-Complete Model
   • Supervisor: Prof Dirk Pattinson
3. CEGAR-Tableaux for Non-Normal Modal Logics
   • Supervisor: Prof Rajeev Goré
   • Sponsored by ASD-ANU Co-Lab Summer Research Scholarship

Other projects and academic writings include:

• Resolving the Material Paradox of Implication from the Principle of Explosion in Orthodox Logic with Auxiliary Truth Values
• Implementation of Formal Semantics and the Potential of Non-Classical Logic Systems for the Enhancement of Access Control Models
• Automated SELinux RBAC Policy Verification Using SMT

See my repository for details.

Internship Experience

• Jul 2021 – Aug 2021: Student Intern at Aura Labs
  • Streamlining of DevOps pipeline with Jenkins, Docker, Webmin & nginx reverse proxy
  • Automation of SSL certificate renewal with Ansible
  • Creation of tools with Node.js and npm
  • Web development with Notion and Fruition