Computability,
Models of Computation,
Complexity, Logic,
Formal Verification, and
Combinatorics
Communication Complexity in Distributed P Systems with Active Membrane
Kelvin Buno
Relationships Between Nonplanar Graph Families
Nestine Hope Hernandez
Analyses of Fitness Landscape of Some Biological Data
Cherry Estabillo (with Dr. Jan C. Yap)
Designing Algorithms and Data Structures for Parallelize Quantum Decision Diagrams for Simulating Quantum Circuit
Jul Jon General [informally with ASTI c/o Jeffrey Aborot]
Formal Verification of ML Models
Jesserey Joseph
Quantum Computing:
Correcting qubit and qutrit errors using Quantum Locally Recoverable Codes made by Hermitian construction
Immanuel Josiah Balete
A measure-once 1-way QFA based on the quantum circuit implementation of a QECC
Julia Dy
Exploring the Use of Finite Field GF(9) in Qutrit Stabilizer Codes for Quantum Error Correction
Kyle David Libiran
Formal Verification:
Writing a Python-to-CoqTranslator with Automated Theorem Generation
John Ivan Loristo, and Brandon Khalel Martin,
Formal Verification of the Kol and Naor game using COQ
Emilio Capule, Jr., Roberto Joaquin Santos , and Shane Franklin So
Formal Verification of Round Robin Algorithm Implementation Using Coq. Christian Choa, Brylle Logrono, Raymart Villos
Formal Verification of Shortest Job First Algorithm and Properties in Coq. Jian Luteria, Andrei Tiangco
Formal Verification of FIFO Scheduling Algorithm using Coq Proof Assistant. Earl Wilbur A. Nogra, (Aj Karl A. Valenzuela)