Logic and Computability Laboratory
Logic and Computability Laboratory
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
Kelvin Buno
Kelvin Buno
Cherry Estabillo (with Dr. Jan C. Yap)
Cherry Estabillo (with Dr. Jan C. Yap)
Nestine Hope Hernandez
Nestine Hope Hernandez
Masters Students
Masters Students
Jul Jon General [with ASTI c/o Jeffrey Aborot]
Jul Jon General [with ASTI c/o Jeffrey Aborot]
Undergrads
Undergrads
(AY 2024-2025)
(AY 2024-2025)
Immanuel Josiah Balete, Emilio Capule, Jr., Julia Dy, Earl Wilbur A. Nogra, Kyle David Libiran, John Ivan Loristo, Brandon Khalel Martin, Roberto Joaquin Santos , Shane Franklin So
Immanuel Josiah Balete, Emilio Capule, Jr., Julia Dy, Earl Wilbur A. Nogra, Kyle David Libiran, John Ivan Loristo, Brandon Khalel Martin, Roberto Joaquin Santos , Shane Franklin So
(AY 2023-2024)
(AY 2023-2024)
Christian Choa, Brylle Logrono , Jian Luteria, Earl Wilbur A. Nogra, Andrei Tiangco, Aj Karl A. Valenzuela, Raymart Villos
Christian Choa, Brylle Logrono , Jian Luteria, Earl Wilbur A. Nogra, Andrei Tiangco, Aj Karl A. Valenzuela, Raymart Villos
Interns
Interns
(AY 2023-2024) Mid-Year. PSHS-SIP 2024
(AY 2023-2024) Mid-Year. PSHS-SIP 2024
1. Bartolabac, Franco C. Main Campus
1. Bartolabac, Franco C. Main Campus
2. Espino, John Willian M. Western Visayas Campus
2. Espino, John Willian M. Western Visayas Campus
3. Phipps, Mary Bianca B. Eastern Visayas Campus
3. Phipps, Mary Bianca B. Eastern Visayas Campus
4. Yankin, Mary Margaret A. Central Visayas Campus
4. Yankin, Mary Margaret A. Central Visayas Campus
5. Joaquin, Raffy John Karl A. Main Campus
5. Joaquin, Raffy John Karl A. Main Campus
6. Cabungcag, Ronhitz B. Eastern Visayas Campus
6. Cabungcag, Ronhitz B. Eastern Visayas Campus
Affilates
Affilates
Research Lab
Research Lab
Colleagues
Colleagues
External Organization
External Organization
Alumni
Alumni
Alfonso B Labao (PhD CS, 2023)
Alfonso B Labao (PhD CS, 2023)
Ivy D Ordanel (PhD CS, 2021)
Ivy D Ordanel (PhD CS, 2021)
Louis Agong (MS CS, 2021)
Louis Agong (MS CS, 2021)
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)
Luigi "Weej" del Rosario (BS CS, 2019)
Luigi "Weej" del Rosario (BS CS, 2019)
(AY 2023-2024)
(AY 2023-2024)
Christian Choa
Christian Choa
Brylle Logrono
Brylle Logrono
Jian Luteria
Jian Luteria
Andrei Tiangco
Andrei Tiangco
Raymart Villos
Raymart Villos
(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)