Amin Shali

Hi :)

	This photo is taken by Magnus Myreen during FSEN07 conference in Isfahan.

I am a Ph.D. student in Computer Science Department in University of Illinois at Urbana-Champaign. My research interest is Concurrent Programming Languages Design and Implementation.
I finished my Master in Artificial Intelligence at faculty of Computer Engineering in Iran University of Science and Technology. My master thesis was to propose an evolutionary model for the emergence of cooperation in multi-agent systems. Here is a Persian version of my thesis: thesis documentation.
I finished my undergraduate studies in Computer Software Engineering in University of Tehran.
During my undergraduate studies I worked on the verification of reactive systems using a modeling language called Rebeca (wiki) invented by Dr. Marjan Sirjani. There is an active research group at the Formal Methods laboratory in University of Tehran working on verification of hardware-software systems described in SystemC and Rebeca language.

Email: shali1 AT cs DOT uiuc DOT edu

A loser doesn't know what he'll do if he loses, but talks about what he'll do if he wins, and a winner doesn't talk about what he'll do if he wins, but knows what he'll do if he loses.
* Eric Berne