Fax:

+46 13 142231

 

Phone:

+46 13 281483

 

Email: 

zeinab.ganjei AT liu Dot se

 

Linköping University SE-581 83 LINKÖPING

 

 

HELLO,

 

I am a PhD student interested in formal verification of data-parallel programs. My research interests are parallel programming, and formal reasoning. 
 
I am very interested in the formal semantics of multi-threaded programing (including GPU programs) and automatically proving safety properties about them.
 
I am currently developing a tool called PACMAN.



Beautiful designs No coding neededGet started now>