Home

Nicolas Vallée

Former Ph.D. Student in Computer Science at LECE of ENSTA Paristech I successfully defended my Ph.D.
I am currently looking for a job. You can see my resume

Research Activities

My research activities concern the static analysis of complex systems that contains software and hardware components.
In particular, I am interested in the abstract interpretation of trace-based semantics conjointly to symbolic execution of complex systems.

During my Ph.D. thesis, I helped to design a formal debugger for complex systems. I first defined an operational semantics of a hardware description language (HDL), based on SystemC. Moreover, I defined an analysis to verify functional properties of such complex systems.