“مرجان سیرجانی”
![](/operator/PhotoAlbum/PH0600055.jpg)
تلفن:
88020403-4301
پست الکترونیکی:
![](data:image/jpg;base64, /9j/4AAQSkZJRgABAgAAAQABAAD/2wBDAAgGBgcGBQgHBwcJCQgKDBQNDAsLDBkSEw8UHRofHh0aHBwgJC4nICIsIxwcKDcpLDAxNDQ0Hyc5PTgyPC4zNDL/2wBDAQkJCQwLDBgNDRgyIRwhMjIyMjIyMjIyMjIyMjIyMjIyMjIyMjIyMjIyMjIyMjIyMjIyMjIyMjIyMjIyMjIyMjL/wAARCAAUAPoDASIAAhEBAxEB/8QAHwAAAQUBAQEBAQEAAAAAAAAAAAECAwQFBgcICQoL/8QAtRAAAgEDAwIEAwUFBAQAAAF9AQIDAAQRBRIhMUEGE1FhByJxFDKBkaEII0KxwRVS0fAkM2JyggkKFhcYGRolJicoKSo0NTY3ODk6Q0RFRkdISUpTVFVWV1hZWmNkZWZnaGlqc3R1dnd4eXqDhIWGh4iJipKTlJWWl5iZmqKjpKWmp6ipqrKztLW2t7i5usLDxMXGx8jJytLT1NXW19jZ2uHi4+Tl5ufo6erx8vP09fb3+Pn6/8QAHwEAAwEBAQEBAQEBAQAAAAAAAAECAwQFBgcICQoL/8QAtREAAgECBAQDBAcFBAQAAQJ3AAECAxEEBSExBhJBUQdhcRMiMoEIFEKRobHBCSMzUvAVYnLRChYkNOEl8RcYGRomJygpKjU2Nzg5OkNERUZHSElKU1RVVldYWVpjZGVmZ2hpanN0dXZ3eHl6goOEhYaHiImKkpOUlZaXmJmaoqOkpaanqKmqsrO0tba3uLm6wsPExcbHyMnK0tPU1dbX2Nna4uPk5ebn6Onq8vP09fb3+Pn6/9oADAMBAAIRAxEAPwD3+ivO9U8NQ3V/r9/Jokc15Lrtgkdw1qGke1KWaTANjJiK+crD7uN4PGaL/RVg0/WLJdPki0u31hHtrVdNa6tPKNpFndaoQZIvNZziPpLhz91jQB6AZlW4SAiTe6M4IjYrhSActjAPzDAJyecZwcBmVbhICJN7ozgiNiuFIBy2MA/MMAnJ5xnBx5nqum39x4c2Q6TPH/xTWs28cMUMmMu8PlBUbLR71XcsJ5QfJ/BWxqGk2+k+Iba30jTd8j6JqcnkwzmGS6lL2gy02d3mNgAyk7s8k5oA7io55ltreWdxIUjQuwjjZ2IAzwqglj7AEntXj76Xe/Z9dh0zSI47O48OahGf7P8AD0umLPcYjEaNG7lpHALbTtA+ZwpY7wvQeKfDa2FvqcGh6XIqXnhzU0uDbxMzXU+IRF5rcmSU7pcFiWO5+uTQB2mp61ZaR5QumnaSXJSG2tpLiRgMZbZGrNtGVBbGAWUE5IyaZrenax5q2Vxumhx51vIjRTQ5zt8yJwHTIBI3AZHIyK5PUbe+Ou6rEI7uR572K4Nva3HkXF1YLbKgWGXcmAlyxdlDrgMxP+tAfLttD1nU/DniCEwTxXaafqOmpbXN6k885mcy26yuJGA8uN1Vd7E/vn+6uGcA9Iv7630zTrm/vJPLtbWJ5pn2k7UUEscDk4APSrFeZ+MSfFaX4tdF1Ke3Tw5qUaNc6dJGHuC1u0aKkihy4KBgduCR8pJVtvaaPcadDBZWWk6VPZ2MkU0sYWxa2jh2uoKsjKpRmLlgCvzBWP1ANiivK9Dsr2Lxdok8Gix2RNxINSaHR5YpY828p8ua8dz9qHmBcyKpVnVWJBKBtDwQlpofh8znw3rMOtWllI2rObd/Mu7hTl/mLYuXdg7IylwASMpvAIB6AJla4eACTeiK5JjYLhiQMNjBPynIByOM4yMyVwfinSrm/wBa1NVtrtoJ00RPMg3qSEv5Wk2uuCCqkMSCCoIPHWu0sbCz0yzjs7C0gtLWPOyGCMRouSScKOBkkn8aALFFFFABRRRQAUUUUAFFFFABRRRQAUUUUAFFFFABRRRQAUUUUAFFFFABVM6XaNrKasySG8S3a2RjK+1Y2YMwCZ2gkquWxk7QM4FFFAFyiiigCnqWk6brNutvqmn2l9Arh1juoVlUNgjIDAjOCRn3NSWNhZ6ZZx2dhaQWlrHnZDBGI0XJJOFHAyST+NFFAFiiiigAooooAKKKKACiiigAooooAKKKKACiiigAooooAKKKKACiiigAooooAKKKKAP/2Q==)
سمت در پژوهشگاه |
||
پژوهشگر مقیم،
پژوهشکده علوم کامپیوتر
(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]
|