Lan

A computer engineer learning about the intersection of hardware, software, and correctness. Interested in improving tooling around building and analysing software.