Sólin Sólin Rís 10:17 • sest 16:10 í Reykjavík
Tunglið Tunglið Rís 21:40 • Sest 15:54 í Reykjavík
Flóð Flóð Árdegis: 10:12 • Síðdegis: 22:46 í Reykjavík
Fjaran Fjara Árdegis: 03:46 • Síðdegis: 16:36 í Reykjavík
Sólin Sólin Rís 10:17 • sest 16:10 í Reykjavík
Tunglið Tunglið Rís 21:40 • Sest 15:54 í Reykjavík
Flóð Flóð Árdegis: 10:12 • Síðdegis: 22:46 í Reykjavík
Fjaran Fjara Árdegis: 03:46 • Síðdegis: 16:36 í Reykjavík
LeiðbeiningarTil baka

Sendu inn spurningu

Hér getur þú sent okkur nýjar spurningar um vísindaleg efni.

Hafðu spurninguna stutta og hnitmiðaða og sendu aðeins eina í einu. Einlægar og vandaðar spurningar um mikilvæg efni eru líklegastar til að kalla fram vönduð og greið svör. Ekki er víst að tími vinnist til að svara öllum spurningum.

Persónulegar upplýsingar um spyrjendur eru eingöngu notaðar í starfsemi vefsins, til dæmis til að svör verði við hæfi spyrjenda. Spurningum er ekki sinnt ef spyrjandi villir á sér heimildir eða segir ekki nægileg deili á sér.

Spurningum sem eru ekki á verksviði vefsins er eytt.

Að öðru leyti er hægt að spyrja Vísindavefinn um allt milli himins og jarðar!

=
Forsíða Vísindavefur Dagatal íslenskra vísindamanna Hvað hefur vísindamaðurinn Luca Aceto rannsakað?

Flokkun:

9.1.2018
Vísindavefur Dagatal íslenskra vísindamanna
Náttúruvísindi og verkfræði Tölvunarfræði

Hvað hefur vísindamaðurinn Luca Aceto rannsakað?

Ritstjórn Vísindavefsins og Vísindafélag Íslands

Vísindafélag Íslendinga - 100 ára
Luca Aceto er prófessor í tölvunarfræði við Háskólann í Reykjavík og við Gran Sasso-rannsóknastofnunina á Ítalíu. Rannsóknir hans eru á sviði fræðilegrar tölvunarfræði, þar á meðal má telja athugunir á rökfræði tölvunarfræðinnar, merkingafræði forritunaraðgerða (e. structural operational semantics) og samtímavinnslu í tölvuforritum (e. concurrency theory), sem meðal annars fjallar um hvernig skilgreina eigi forritunarkóða þannig að leysa megi verkefni á skilvirkari hátt með því að nýta marga örgjörva samhliða.

Það færist sífellt í vöxt að tölvur séu að nýta marga örgjörva eða marga kjarna í sama örgjörva. Þetta kallar á ólíka nálgun í skipulagningu forritskóða frá hefðbundinni línulegri vinnslu þar sem eitt verk tekur við af öðru og er samtíma vinnsla því mikilvægt rannsóknasvið innan tölvunarfræðinnar.

Rannsóknir Luca Aceto eru á sviði fræðilegrar tölvunarfræði, þar á meðal má telja athuganir á rökfræði tölvunarfræðinnar, merkingafræði forritunaraðgerða og samtímavinnslu í tölvuforritum.

Luca hefur kennt og stundað rannsóknir við fjölda annarra stofnana, um lengri og skemmri tíma. Hann hefur setið í ritstjórnum alþjóðlegra vísindarita í tölvunarfræði og var forseti Evrópusamtaka í fræðilegri tölvunarfræði (European Association for Theoretical Computer Science) á árunum 2012-2016. Luca er einn af stofnendum þekkingarseturs í fræðilegri tölvunarfræði (ICE-TCS) við Háskólann í Reykjavík. Eftir hann liggja hundruð fræðigreina, bókarkafla, ráðstefnugreina sem safnað hafa þúsundum tilvitnana. Luca er meðhöfundur kennslubókar um gagnvirk kerfi (Reactive systems: modelling, specification and verification) sem kennd er í yfir tuttugu háskólum um allan heim.

Luca er fæddur árið 1961. Hann lauk MS-gráðu í tölvunarfræði frá Háskólanum í Písa á Ítalíu árið 1986 og doktorsgráðu frá Sussex-háskóla 1991. Fyrir doktorsritgerð sína hlaut Luca sérstaka viðurkenningu frá bresku tölvunarfræðisamtökunum (British Computer Society). Síðan hefur hann hlotið fjölda annarra verðlauna, bæði fyrir kennslu og rannsóknir.

Mynd:

Höfundar

Ritstjórn Vísindavefsins

Ritstjórn Vísindavefsins

Vísindafélag Íslands

Vísindafélag Íslands

Útgáfudagur

9.1.2018

Spyrjandi

Ritstjórn

Efnisorð

Tilvísun

Ritstjórn Vísindavefsins og Vísindafélag Íslands. „Hvað hefur vísindamaðurinn Luca Aceto rannsakað?“ Vísindavefurinn, 9. janúar 2018, sótt 21. nóvember 2024, https://visindavefur.is/svar.php?id=74972.

Ritstjórn Vísindavefsins og Vísindafélag Íslands. (2018, 9. janúar). Hvað hefur vísindamaðurinn Luca Aceto rannsakað? Vísindavefurinn. https://visindavefur.is/svar.php?id=74972

Ritstjórn Vísindavefsins og Vísindafélag Íslands. „Hvað hefur vísindamaðurinn Luca Aceto rannsakað?“ Vísindavefurinn. 9. jan. 2018. Vefsíða. 21. nóv. 2024. <https://visindavefur.is/svar.php?id=74972>.

Chicago | APA | MLA

Tengd svör

Skoða öll nýjustu svörin

Þessi síða notar vafrakökur Nánari upplýsingar

Ég samþykki

Senda grein til vinar

=

Hvað hefur vísindamaðurinn Luca Aceto rannsakað?
Luca Aceto er prófessor í tölvunarfræði við Háskólann í Reykjavík og við Gran Sasso-rannsóknastofnunina á Ítalíu. Rannsóknir hans eru á sviði fræðilegrar tölvunarfræði, þar á meðal má telja athugunir á rökfræði tölvunarfræðinnar, merkingafræði forritunaraðgerða (e. structural operational semantics) og samtímavinnslu í tölvuforritum (e. concurrency theory), sem meðal annars fjallar um hvernig skilgreina eigi forritunarkóða þannig að leysa megi verkefni á skilvirkari hátt með því að nýta marga örgjörva samhliða.

Það færist sífellt í vöxt að tölvur séu að nýta marga örgjörva eða marga kjarna í sama örgjörva. Þetta kallar á ólíka nálgun í skipulagningu forritskóða frá hefðbundinni línulegri vinnslu þar sem eitt verk tekur við af öðru og er samtíma vinnsla því mikilvægt rannsóknasvið innan tölvunarfræðinnar.

Rannsóknir Luca Aceto eru á sviði fræðilegrar tölvunarfræði, þar á meðal má telja athuganir á rökfræði tölvunarfræðinnar, merkingafræði forritunaraðgerða og samtímavinnslu í tölvuforritum.

Luca hefur kennt og stundað rannsóknir við fjölda annarra stofnana, um lengri og skemmri tíma. Hann hefur setið í ritstjórnum alþjóðlegra vísindarita í tölvunarfræði og var forseti Evrópusamtaka í fræðilegri tölvunarfræði (European Association for Theoretical Computer Science) á árunum 2012-2016. Luca er einn af stofnendum þekkingarseturs í fræðilegri tölvunarfræði (ICE-TCS) við Háskólann í Reykjavík. Eftir hann liggja hundruð fræðigreina, bókarkafla, ráðstefnugreina sem safnað hafa þúsundum tilvitnana. Luca er meðhöfundur kennslubókar um gagnvirk kerfi (Reactive systems: modelling, specification and verification) sem kennd er í yfir tuttugu háskólum um allan heim.

Luca er fæddur árið 1961. Hann lauk MS-gráðu í tölvunarfræði frá Háskólanum í Písa á Ítalíu árið 1986 og doktorsgráðu frá Sussex-háskóla 1991. Fyrir doktorsritgerð sína hlaut Luca sérstaka viðurkenningu frá bresku tölvunarfræðisamtökunum (British Computer Society). Síðan hefur hann hlotið fjölda annarra verðlauna, bæði fyrir kennslu og rannsóknir.

Mynd:

...