I'm working on a Ph.D in Computer Science.
I should be finished soon.
I am currently learning how static analysis tools are used in practice by software teams and developers (work done with Bill Pugh).