James Alves-Foss

• Cyber Security
• Higher order logic theorem proving and its applications
• Higher Order Logic Theorem Proving and Its Applications