FormaliSE 2026
Sun 12 - Mon 13 April 2026 Rio de Janeiro, Brazil
co-located with ICSE 2026
Prithwish Jana

Registered user since Sun 8 Feb 2026

Name:Prithwish Jana
Country:United States
Affiliation:Georgia Institute of Technology
Research interests:Neuro-symbolic AI, Reinforcement Learning, NLP, Software Engineering, Formal Methods, Automated Reasoning, Programming Languages & Compilers, AI for Code, AI for Math

Contributions

Show activities from other conferences

Using general profile