Ly Kim Quyen

Software Developer at Marigold
  • Claim this Profile
Contact Information
us****@****om
(386) 825-5501
Location
FR
Languages
  • French Elementary proficiency
  • Vietnamese Native or bilingual proficiency
  • English Professional working proficiency
Skills

Topline Score

Topline score feature will be out soon.

Bio

Generated by
Topline AI

You need to have a working account to view this content.
Join now
You need to have a working account to view this content.
Join now

Experience

  • Marigold
    • France
    • Software Development
    • 1 - 100 Employee
    • Software Developer
      • Aug 2021 - Present

  • Nomadic Labs
    • France
    • Software Development
    • 1 - 100 Employee
    • Research Engineer
      • Jan 2018 - Jun 2021

  • Inria
    • France
    • Research Services
    • 700 & Above Employee
    • Research Engineer
      • Jan 2015 - Dec 2017

      My main activity is developing KaSa, a static analyzer for Kappa models (is a rule-based model). The main programming language is OCaml. You can have more information about all the software and projects that I have been doing via my personal website: http://www.di.ens.fr/~quyen/ My main activity is developing KaSa, a static analyzer for Kappa models (is a rule-based model). The main programming language is OCaml. You can have more information about all the software and projects that I have been doing via my personal website: http://www.di.ens.fr/~quyen/

Education

  • Université Grenoble Alpes
    Doctor of Philosophy (PhD), Formal methods, Programs, Verification and Proofs
    2011 - 2014
  • Université Bordeaux I
    Master's degree, Computer and Information Sciences, Software Engineering
    2008 - 2009

Community

You need to have a working account to view this content. Click here to join now