We use cookies to ensure you have the best browsing experience on our website. Please read our cookie policy for more information about how we use cookies.

Yann Ben Maissa

Morocco

@yannbms

Associate Professor and Researcher for Real. Programmer for fun.

Badges

Problem Solving
Days of Code

Certifications

yannbms has not earned any certificates yet.

Work Experience

  • Associate Professor

    INPT•  October 2014 - Present

    Public engineering school in Morocco.

Education

  • Université Pierre et Marie Curie (Paris VI)

    Computer Science, PhD•  March 2010 - March 2013

    PhD in Formal Verification of Embedded Systems in Sorbonne University with honors. Worked on defining my own language, automatic transformation engine, then symbolic model checking the properties.

Links

Skills

yannbms has not updated skills details yet.