Professional
I am working with cancer radiotherapy treatment planning software at Varian Medical Systems.
More details can be found from my CV.
More details can be found from my CV.
My master's thesis "Flow Analysis Directed Symbolic Execution for Model-Based Test Generation" can be viewed here.