The project will empower a wide range of users to implement the next generation of genomic analysis, smart querying of medical literature, neuro-symbolic AI with stochastic reasoning, graph analytics, software verification tasks and security auditing.