@davetarditi
Compiler and programming languages researcher. Working on quantum compilers at IonQ. Side gig making C programs safer with Checked C. All opinions my own.