Lex

lexbailey@tech.lgbt

<p>Formal Verification Engineer by profession. Computer enjoyer by hobby.<br />Interests include:<br />Formal verification<br />Formal languages<br />CPU design<br />Esoteric languages and computers<br />I sometimes make silly things and post YouTube vids about them</p>