His main research activity is devoted to the formal development of ab initio techniques for the theoretical description of electronic, thermodynamic, strain-related properties of solids, and their implementation into the CRYSTAL package for quantum-mechanical simulations of solids.