Ali Kheradmand

About

I am a PhD student advised by professor Grigore Rosu currently working on Runtime Verification at FSL as a graduate research assistant.
I received my B.Sc. in Computer Engineering (more info) from Sharif University of Technology, Tehran, Iran.