Computer software design and development; Platform as a service (PAAS) featuring computer software platforms for secure and verifiable computing;; Computer software development; Computer software development in the field of ensuring computational integrity and correctness; Research and development in the field of computer architecture, virtualization, programming languages, and software compilers; Software development in the field of blockchain technology, distributed computing, and internet ...