Logic and Computability Laboratory
Logic and Computability Laboratory
Embedded Files
The Group
The Group
The Group… the presumed beginnings…. AY 2018-2019
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.
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
Members
Graduate Students
Graduate Students
PhD Students
PhD Students
Ren Tristan de la Cruz (co-advise with Dr. Francis Cabarle)
Cherry Estabillo (co-advise with Dr. Jan C. Yap)
Masters Students
Masters Students
Marc Jermaine Pontiveros
Jul Jon General
Jesserey Joseph (co-advise with Dr. Alfonso Labao)
MIkhail Alpha Gallego (co-advise with Dr. Alfonso Labao)
Undergrad Members
Undergrad Members
(AY 2025-2026)
(AY 2025-2026)
Keanu Christopher Abriol,
Keanu Christopher Abriol,
Marius Barcenas,
Marius Barcenas,
Raniel Emil Castro,
Raniel Emil Castro,
Marc Emanuel dela Paz,
Marc Emanuel dela Paz,
Nicholas John Reyes,
Nicholas John Reyes,
Eoghaine Czeriel Saavedra,
Eoghaine Czeriel Saavedra,
Shane Franklin So,
Shane Franklin So,
Sebastian Yunque
Sebastian Yunque
Undergrad Apprentice
Undergrad Apprentice
(AY 2025-2026)
(AY 2025-2026)
Interns
Interns
Lab Cooperation
Lab Cooperation
Research Labs
Research Labs
Parallel Computing Laboratory
Parallel Computing Laboratory
Quantun Innovation Laboratory (DOST-ASTI)
Quantun Innovation Laboratory (DOST-ASTI)
Colleagues
Colleagues
External Organizations
External Organizations
Alumni
Alumni
(AY 2024-2025) Mid-Year. PSHS-SIP 2025
(AY 2024-2025) Mid-Year. PSHS-SIP 2025
(AY 2024-2025) Mid-Year. PSHS-SIP 2025
(AY 2024-2025) Mid-Year. PSHS-SIP 2025
Gabriel Escuro (Main Campus)
Gabriel Escuro (Main Campus)
Franco Rafael Kintanar (Main Campus)
Franco Rafael Kintanar (Main Campus)
Ezraiel Adolpho Mamaril (Main Campus)
Ezraiel Adolpho Mamaril (Main Campus)
Carlos Inigo Reyes (Main Campus)
Carlos Inigo Reyes (Main Campus)
(AY 2024-2025)
(AY 2024-2025)
Immanuel Josiah Balete (BSCS 2025),
Immanuel Josiah Balete (BSCS 2025),
Emilio Capule, Jr. (BSCS 2025),
Emilio Capule, Jr. (BSCS 2025),
Julia Dy (BSCS 2025) ,
Julia Dy (BSCS 2025) ,
Kyle David Libiran (BSCS 2025),
Kyle David Libiran (BSCS 2025),
John Ivan Loristo (BSCS 2025),
John Ivan Loristo (BSCS 2025),
Brandon Khalel Martin (BSCS 2025),
Brandon Khalel Martin (BSCS 2025),
Earl Wilbur A. Nogra (BSCS 2025),
Earl Wilbur A. Nogra (BSCS 2025),
Roberto Joaquin Santos (BSCS 2025),
Roberto Joaquin Santos (BSCS 2025),
(AY 2023-2024) Mid-Year. PSHS-SIP 2024
(AY 2023-2024) Mid-Year. PSHS-SIP 2024
(AY 2023-2024) Mid-Year. PSHS-SIP 2024
(AY 2023-2024) Mid-Year. PSHS-SIP 2024
Bartolabac, Franco C. (Main Campus)
Bartolabac, Franco C. (Main Campus)
Espino, John Willian M. (Western Visayas Campus)
Espino, John Willian M. (Western Visayas Campus)
Phipps, Mary Bianca B. (Eastern Visayas Campus)
Phipps, Mary Bianca B. (Eastern Visayas Campus)
Yankin, Mary Margaret A. (Central Visayas Campus)
Yankin, Mary Margaret A. (Central Visayas Campus)
Joaquin, Raffy John Karl A. (Main Campus)
Joaquin, Raffy John Karl A. (Main Campus)
Cabungcag, Ronhitz B. (Eastern Visayas Campus)
Cabungcag, Ronhitz B. (Eastern Visayas Campus)
(AY 2023-2024)
(AY 2023-2024)
Christian Choa (BS CS, 2024)
Christian Choa (BS CS, 2024)
Brylle Logrono (BS CS, 2024)
Brylle Logrono (BS CS, 2024)
Jian Luteria (BS CS, 2024)
Jian Luteria (BS CS, 2024)
Andrei Tiangco (BS CS, 2024)
Andrei Tiangco (BS CS, 2024)
Raymart Villos (BS CS, 2024)
Raymart Villos (BS CS, 2024)
2023
Alfonso B Labao (PhD CS, 2023)
Alfonso B Labao (PhD CS, 2023)
2021
2021
Ivy D Ordanel (PhD CS, 2021)
Ivy D Ordanel (PhD CS, 2021)
Louis Anthony Agong (MS CS, 2021)
Louis Anthony Agong (MS CS, 2021)
2020
2020
Aliya Miranda (BS CS, 2020)
Aliya Miranda (BS CS, 2020)
John Dominic "JD" Mendoza (BS CS, 2020)
John Dominic "JD" Mendoza (BS CS, 2020)
Pio Fortuno III (BS CS, 2020)
Pio Fortuno III (BS CS, 2020)
2019
Luigi "Weej" del Rosario (BS CS, 2019)
Luigi "Weej" del Rosario (BS CS, 2019)
Page updated
Report abuse