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

Henry N Adorna, Ph.D.    (Lab Leader)

Graduate Students

PhD Students

Cherry Estabillo  (with Dr. Jan C. Yap)

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

Jeffrey Aborot, QCS Project, DOST - ASTI

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

Luigi "Weej" del Rosario (BS CS, 2019)