Write a Blog >>
César Sánchez

Registered user since Tue 14 Mar 2017

Name: César Sánchez

Country: Spain

Affiliation: IMDEA Software Institute

Personal website: http://software.imdea.org/~cesar

Research interests: Reactive Systems, Applications of Logic to Computer Science, Runtime Verification, Formal Verification, Formal Methods, Decision Procedures

PLDI, ECOOP, Curry On, DEBS, LCTES and ISMM Activities

PLDI, ECOOP, Curry On, DEBS, LCTES and ISMM-profile
View general profile