Hvað hefur vísindamaðurinn Marjan Sirjani rannsakað?

Nafn þitt

Netfang þitt

Netfang móttakanda

Ruslpóstvörn =

Svar

Hvað hefur vísindamaðurinn Marjan Sirjani rannsakað?
Marjan Sirjani er prófessor í hlutastarfi við tölvunarfræðideild Háskólans í Reykjavík og prófessor á sviði nýsköpunar, hönnunar og verkfræði við háskólann í Mälardalen í Svíþjóð.

Rannsóknir hennar snúa að notkun formlegra aðferða í hugbúnaðarverkfræði. Hún vinnur meðal annars að því að smíða og sannreyna líkön um samhliða vinnslu í hugbúnaði. Marjan og rannsóknahópur hennar eru frumkvöðlar í smíði verkfæra og óhlutbundinna aðferða til að sannreyna hugbúnað og virkni í samhliða og samtíma vinnslu. Frá árinu 2001 hefur hún unnið að rannsóknum með forritunarmálinu Rebeca sem er sérstaklega hannað til að brúa bilið milli formlegra aðferða og hefðbundinnar hugbúnaðarþróunar. Hún hefur einnig unnið við svokölluð samhæfingarforritunarmál eins og Reo.

Marjan er meðstofnandi þekkingarsetursins ICE-ROSE í hugbúnaðarverkfræði við Háskólann í Reykjavík, og stofnandi Formal Methods Laboratory við Teheran-háskóla. Hún hefur tekið þátt í skipulagningu fjölda alþjóðlegra ráðstefna og verið gestaritstjóri alþjóðlegra vísindarita í tölvunarfræði.

Marjan Sirjani er fædd árið 1965. Hún lauk BS-prófi í tölvuverkfræði frá Sharif-tækniháskólanum í Teheran og síðan doktorsprófi frá sama skóla árið 2004. Hún var meðal 50 aðila af 48.000 útskrifuðum nemendum skólans frá stofnun hans sem hlutu sérstaka viðurkenningu frá skólanum á hálfrar aldar afmæli hans árið 2016.

Marjan hefur starfað við rannsóknir við CWI í Hollandi auk þess sem hún var framkvæmdastjóri hugbúnaðarfyrirtækisins Behin Systems í rúman áratug. Hún var forseti hugbúnaðarverkfræðideildar Teheran-háskóla á árunum 2005-2008, áður en hún hóf kennslu og rannsóknir við Háskólann í Reykjavík. Hún hefur gegnt stöðu prófessors við HR frá 2013 og við háskólann í Mälardalen frá 2016.

Mynd:

• Úr safni MS.

...