Institut für Theoretische Informatik - Algorithm Engineering

Vajratechnosolutions India

Postdoctoral researcher working on algorithms for program correctness and security.

Aarhus University Aarhus, Denmark

Provide feedback