Logic and Computability Laboratory
The Group
The Group… the presumed beginnings…. AY 2018-2019
The group informally started in 2018 as a subgroup of ACLab with four (4) undergraduate students working closely with Henry, namely, three (3) gentlemen (Pio Fortuno III, Luigi "Weej" del Rosario, and John Dominic "JD" Mendoza) on Decoherence of Quantum Algorithms and a (1) lady on Community Detection (Aliya Miranda) for their CS 198/199.
And formally started …. AY 2022-2023.
Initially, Henry named it “Computability, Automata, and Combinatorics Lab” until the original members (Henry and Pancho) decided to name it “Automata, Computability, and Logic Lab or (ACL2)” then “Automata, Computability, and Logic Research Lab or (ACLRL)” in AY 2023-2024. Starting AY 2024-2025, we shorten the name into "Logic and Computability Laboratory (LCL or LCLab).
Members
Graduate Students
PhD Students
Masters Students
Jul Jon General [with ASTI c/o Jeffrey Aborot]
Jesserey Joseph
Undergrad Members
(AY 2024-2025)
Immanuel Josiah Balete, Emilio Capule, Jr., Julia Dy, Kyle David Libiran, John Ivan Loristo,
Brandon Khalel Martin, Earl Wilbur A. Nogra, Roberto Joaquin Santos , Shane Franklin So
Undergrad Apprentice
(AY 2024-2025)
Interns
Lab Cooperation
Research Lab
Colleagues
External Organization
Alumni
(AY 2023-2024) Mid-Year. PSHS-SIP 2024
(AY 2023-2024) Mid-Year. PSHS-SIP 2024
Bartolabac, Franco C. (Main Campus)
Espino, John Willian M. (Western Visayas Campus)
Phipps, Mary Bianca B. (Eastern Visayas Campus)
Yankin, Mary Margaret A. (Central Visayas Campus)
Joaquin, Raffy John Karl A. (Main Campus)
Cabungcag, Ronhitz B. (Eastern Visayas Campus)
(AY 2023-2024)
Christian Choa (BS CS, 2024)
Brylle Logrono (BS CS, 2024)
Jian Luteria (BS CS, 2024)
Andrei Tiangco (BS CS, 2024)
Raymart Villos (BS CS, 2024)
2023
Alfonso B Labao (PhD CS, 2023)
2021
Ivy D Ordanel (PhD CS, 2021)
Louis Anthony Agong (MS CS, 2021)
2020
Aliya Miranda (BS CS, 2020)
John Dominic "JD" Mendoza (BS CS, 2020)
Pio Fortuno III (BS CS, 2020)
2019