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. 

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).