Currently a PhD student in the fields of formal verification, evolutionary algorithms and approximate computing.