Experience
    Education
    Bio
    Research Interests
    June leads the Trustworthy Systems research group. Her main research interest is in formal verification and certification of software systems, more precisely in formal proof of correctness and security properties of programs using interactive theorem proving, as well as concurrency reasoning, targeting interruptible and multicore systems.