PC
Patrick COUSOT

   Professor of Computer Science
   Julius Silver, Roslyn S. Silver, and Enid Silver Winslow Professor
   Courant Institute of Mathematical Sciences
   New York University


Short biography


Courses


Research interests  (Abstract interpretation)

      https://www.facebook.com/groups/49970608944       https://www.linkedin.com/groups/Abstract-Interpretation-6787819       https://twitter.com/@AbsInterpret      http://www.staticanalysis.org/ (Radhia Cousot Award)     VMCAI

I work on formal methods (i.e. how to use mathematics to design programs) as opposed to software engineering (i.e. how to design programs avoiding any use of mathematics). Abstract interpretation is a mathematical theory to design program semantics (formalizing what programs do when executed), program properties (formalizing what are the interesting properties of program executions), deductive program verification (how to formally prove that program executions do have formal properties, including model checking), and program analysis (how to mechanically infer formal properties of program executions, including typing).


Book


Projects


Publications (by research themes), talks,  and summer schools

      Recent publications (with papers, slides, and presentation recordings when available):


Talks

      Recent talks (with slides, and presentation recordings when available)::


Summer schools


Conferences


Program committees


Honors


Contact at NYU


      Home page NYU


NYC


Bibliography