Sign In
Get Clay Free →

Suggestions

    Daniel Gustafsson

    Software Engineer at Symbiont

    Daniel Gustafsson is a skilled professional with a background in computer science, specializing in programming languages and type systems.

    His PhD work focused on using Type Theory to ensure receipt-free voting protocols, showcasing his expertise in functional programming with dependent types like Agda and Idris.

    With a Master's degree in Computer Science, Daniel has also worked on compiler backends for Agda, leveraging dependent types to optimize programs and prevent undesirable behaviors.

    His logical approach in the PhD contrasts his practical work at the Master's level, demonstrating a versatile skill set across different domains of computer science.

    In addition to his academic and professional pursuits, Daniel enjoys playing squash and cooking or baking in his free time, highlighting a well-rounded personality.

    D
    Add to my network

    Location

    Sweden