PhD applications not in abstract interpretation and its applications to semantics, verification and static analysis, in all cases apply instead to cs.nyu.edu/home/phd/admission.html
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).
Elsevier (where I discovered I am a specialist in "Surface mount technology", "Costs", "Explosions", "Chemical analysis", etc and now "Acoustic waves", so artificially intelligent)