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

Registered user since Sun 5 Jan 2025

Name:Soroush Farokhnia
Bio:

I am currently a student of Doctorate of Philosophy (PhD) in Computer Science and Engineering under the supervision of Amir Goharshady.

Country:Hong Kong SAR China
Affiliation:Hong Kong University of Science and Technology
Research interests:Program Verification, Blockchain

Contributions

Show activities from other conferences

Using general profile