Personal Information

I was graduated from Sharif University Of Technology under honor supervision of Professor Ali Movaghar Rahimabadi , Working on representing semantic of Rebeca models using constraint automata.

I have BSc. in Computer Engineering from Isfahan University of Technology.

I am intrested in formal specification, database system and distributed systems.