No photo of James Emil Avery
  • Universitetsparken 5

    2100 København Ø

20032021

Research activity per year

Personal profile

Keywords

  • Faculty of Science
  • abstract interpretation
  • termination analysis
  • formelle sprog
  • automatic program analysis
  • programs as data
  • mathematics
  • functional analysis
  • operator algebra
  • symmetry
  • representations of Lie-groups
  • quantum theory
  • quantum chemistry
  • generalized Sturmian method
  • generalized Sturmians
  • atomic spectra
  • symmetry adapted basis sets
  • automatic generation of basis sets