Registered user since Mon 23 Mar 2020
I am currently a Postdoc at Carnegie Mellon University, School of Computer Science, Logical Systems Lab. I was previously at NEC Labs, System Analysis and Verification Group, Princeton, New Jersey, USA. I was a Ph.D. in computer science at École Polytechnique (France), under the direction of Éric Goubault and Sylvie Putot.
|VMCAI||A method for invariant generation for polynomial continuous systems|
|POPL 2016||Committee Member in Artifact Evaluation committee within the Artifact Evaluation-track|
|Show activities from other conferences|
View general profile