“مرجان سیرجانی”
تلفن:
88020403-4301
پست الکترونیکی:
سمت در پژوهشگاه |
||
|
پژوهشگر مقیم،
پژوهشکده علوم کامپیوتر
(1383 تا اکنون ) |
||
سمتهای خارج از پژوهشگاه |
||
| Faculty Member of Tehran University | ||
| Researcher, Dutch National Center for Mathematics and Computer Science | ||
علایق پژوهشی |
||
| Modelling Concurrent Reaction Systems, Formal Verification, Compositional Verification, Component-based Modelling | ||
پروژهٔ پژوهشی فعلی در پژوهشگاه |
||
| Component-based Correct Development of Distributed Systems | ||
| [Back]
|
