Leit á vefnum

9.1.2019Anna Ingólfsdóttir er prófessor í tölvunarfræði við Háskólann í Reykjavík og einn af forstöðumönnum rannsóknaseturs í fræðilegri tölvunarfræði við sama skóla (ICE-TCS). Sérsvið Önnu er fræðileg tövunarfræði með áherslu á merkingafræði og réttleika gagnvirkra og samsíða hugbúnaðakerfa. Í þessu felst meðal annars þr...

3.5.2001Hvorugt þessara starfsheita er lögverndað [sjá athugasemd neðst]. Hver sem er getur kallað sig tölvunarfræðing eða kerfisfræðing. Aftur á móti er venjan sú að þeir kalla sig tölvunarfræðinga sem lokið hafa BS-prófi í tölvunarfræði (computer science á ensku) eða sambærilegri háskólagráðu. Aftur á móti kalla þeir si...

15.9.2022Tölvunarfræði er kennd við tvo háskóla á Íslandi, Háskóla Íslands (HÍ) og Háskólann í Reykjavík (HR). Einnig er hægt að stunda nám í tölvunarfræði við Háskólann á Akureyri en það er í samstarfi við HR og nemendur eru því skráðir í síðarnefnda skólann. Á árunum 2011-2020 fengu 1.708 nemendur BS-gráðu í tölvunarf...

9.1.2018Luca 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ímavinns...

22.9.2018Hrafn Loftsson er dósent í tölvunarfræði við Háskólann í Reykjavík (HR) og meðlimur í Gervigreindarsetri og Mál- og raddtæknistofu HR. Rannsóknir Hrafns eru á sviði máltækni sem er rannsóknar- og þróunarsvið hvers markmið er að þróa búnað sem getur unnið með og skilið náttúruleg tungumál og stuðlað að notkun þeirr...

15.11.2013Alan Turing (1912-1954) er einn þekktasti og áhrifamesti vísindamaðurinn á sviði tölvunarfræði Hann hafði mikinn áhuga á spurningunni hvort tölvur gætu hugsað. Ólíkt mörgum öðrum sem rökræddu málið fram og til baka án niðurstöðu hannaði Turing próf sem ætti að geta svarað spurningunni afdráttarlaust. Prófið felst ...

28.3.2018Magnús Már Halldórsson er prófessor í tölvunarfræði við Háskólann í Reykjavík. Rannsóknir hans snúa að reikniritum (e. algorithms) frá fræðilegum sjónarhóli. Síðari ár hafa rannsóknir Magnúsar beinst sérstaklega að verkröðun í þráðlausum netum. Þráðlausar sendingar trufla óhjákvæmilega önnur samskipti á sömu rá...

23.5.2018Páll Melsted er prófessor í tölvunarfræði við Iðnaðarverkfræði-, vélaverkfræði- og tölvunarfræðideild Háskóla Íslands. Rannsóknir Páls snúast um þróun aðferða á sviði lífupplýsingafræði, sér í lagi til að vinna úr miklu magni af raðgreiningargögnum. Með nýrri raðgreiningartækni er hægt að lesa mun meira af DNA-...

23.4.2018Kristinn R. Þórisson er prófessor í tölvunarfræði við Háskólann í Reykjavík og stjórnandi Vitvélastofnunar Íslands. Kristinn hefur stundað rannsóknir á gervigreind í 30 ár og kennt þau fræði við Columbia-háskóla, KTH og Háskólann í Reykjavík. Hann útskrifaðist með doktorsgráðu frá MIT Media Lab 1996, þar sem hann ...

11.3.2011Alan Turing er einn þekktasti og áhrifamesti vísindamaðurinn á sviði tölvunarfræði. Til marks um það má nefna að bandarísku tölvusamtökin ACM kenna hin árlegu verðlaun sín við hann. Turing-verðlaunin eru gjarnan nefnd Nóbelsverðlaun tölvunarfræðinganna. Turing fæddist í London 23. júní 1912. Hann lærði stærðfræ...

9.3.2000Hér verður rakið það sem Tölvuorðasafn frá 1998 segir um orð eða orðasambönd sem byrja á "cyber-": cybercommunity, samheiti wired community, netsamfélag cyberethics, sh. Internet ethics, siðareglur á Lýðnetinu cybernaut, sh. cyber surfer, internaut, internetter, Internet surfer, Net surfer, netizen, net...

2.4.2001Enska orðið 'download' þýðir að flytja forrit eða gögn frá tölvu til annarrar tölvu, venjulega einmenningstölvu og nú á dögum yfirleitt á netinu. Þegar gögn eru á hinn bóginn flutt frá einkatölvu yfir á þjón eða móðurtölvu, er hins vegar oft talað um 'upload'. Í Tölvuorðasafni í Orðabanka íslenskrar málstöðvar ...

7.9.2016Alþingiskosningar verða 29. október 2016. Af því tilefni býður Vísindavefurinn almenningi að senda inn spurningar sem gætu vaknað í tengslum við kosningabaráttu flokkanna. Í kosningabaráttu er algengt að stjórnmálamenn og talsmenn stjórnmálaflokka setji fram fullyrðingar um tölulegar staðreyndir eða um þætt...

1.1.2018Anton Karl Ingason hefur gegnt stöðu lektors í íslenskri málfræði og máltækni við Háskóla Íslands frá árinu 2017 og er hann jafnframt sá fyrsti sem gegnir slíkri stöðu við íslenskan háskóla. Rannsóknarsvið hans spannar yfir setningafræði, orðhlutafræði, félagsmálfræði og máltækni. Undanafarinn áratug hefur Anton u...

15.12.2018Eyjólfur Ingi Ásgeirsson er dósent við Tækni- og verkfræðideild Háskólans í Reykjavík. Rannsóknir hans eru á sviði aðgerðarannsókna með áherslu á bestun, hermun og reiknirit. Bæði bestun og hermun ganga út á að beita stærðfræðilíkönum til að hjálpa að greina og leysa flókin vandamál. Í bestun er vandamálið sett up...