Formal Verification Research Group

IITKGP researcher wins DAAD PRIME fellowship

IITKGP researcher wins DAAD PRIME fellowship

Congratulations to Sumana Ghosh, Postdoctoral Research Fellow at the Department of Electrical and Computer Engineering, Technical University Munich, for winning the DAAD PRIME fellowship! Sumana completed her PhD from IIT Kharagpur from the Department of Computer Science and Engineering in 2019 and is an experienced researcher with a demonstrated history of working in the field of embedded systems, real-time systems, and formal methods. The DAAD PRIME (Postdoctoral Researchers International Mobility Experience) is an extremely coveted fellowship. Since its initiation in 2014 by the German Academic Exchange Service (DAAD), the fellowship is awarded to postdoctoral scholars for a period of 18…
Read More