Mobilno RSS Facebook Twitter E-novice Nastavi za domačo stran Dodaj med priljubljene Podcast Rock Radio Pozabljeno geslo Registriraj se Prijava facebook_connect.gif



  • A- A+

18.08.2016      13:05
|

Slovenija v vrhu svetovne znanosti

  • A- A+

 dr. Andrej Bauer dr. Andrej Bauer
mag. Gregor Molan

Slovenija je ena izmed 23 držav, ki sodelujejo v pomembnem evropskem projektu razvoja tehnologij za zagotavljanje varnega in zanesljivega delovanja programskih in informacijskih sistemov. EU v okviru programa Horizont 2020 podpira kar najboljšo izmenjavo znanj med znanstveno sfero in razvijalci različnih tehnologij. V medvladnem projektu združenja COST (European Cooperation in Science and Technology), ki bo trajal do marca 2020, bosta Slovenijo zastopala mag. Gregor Molan iz podjetja Comtrade Digital Services kot predstavnik visokotehnoloških podjetij ter dr. Andrej Bauer iz Fakultete za matematiko in fiziko, Univerze v Ljubljani kot  predstavnik akademske sfere.

 

Oba predstavnika Slovenije bosta sodelovala pri vodenju projekta EUTYPES, širša skupina znastvenikov iz Slovenije pa bo v sklopu projekta s partnerji iz Evropske unije razvijala nove metode za zagotavljanje pravilnosti in ustreznosti tehnologij, ki jih razvijajo visokotehnološka IT-podjetja. Pri tem bodo uporabljali teorijo tipov, ki je moderna različica matematične logike, prilagojena potrebam računalništva. Tak pristop zagotavlja izjemno visoko stopnjo kvalitete sistemov, saj se njihova ustreznost potrdi z računalniško preverjenimi matematičnimi dokazi.

 

Aktivna udeležba v programu EUTYPES bo imela tudi širše pozitivne posledice za domače gospodarstvo. Slovenska IT-podjetja bodo v obdobju naslednjih štirih let deležna brezplačnega prenosa znanj tujih in domačih strokovnjakov/akademikov in ga bodo lahko v nadaljevanju prenašala naprej na zaposlene in v same izdelke, rešitve ali storitve.

 

dr. Andrej Bauer, Fakulteta za matematiko in fiziko, Univerza v Ljubljani je povedal: »EUTYPES je akademska raziskovalna mreža, ki deluje na celotnem območju EU in povezuje vse pomembnejše evropske raziskovalce s področja teorije tipov. Gre za vejo teoretičnega računalništva, ki je temelj tehnologije sodobnih programskih jezikov, razvoja programske opreme in preverjanja programske opreme.  V njej sodelujejo uveljavljeni raziskovalci, ki so v preteklosti pomembno prispevali k razvoju teorije ali prakse tega področja. Njihove ideje so oblikovale naš pogled na to, kaj je programski jezik, na kakšen način je treba razvijati programsko opremo in kako lahko pravilnost programske opreme zagotovimo z uporabo teorije tipov in logike.«

 

»Projekt EUTYPES je lahko uspešen le, če sodeluje z raziskovalnimi skupinami iz panoge informacijskih tehnologij, pri čemer sadove žanjeta obe strani. Na eni strani mora akademsko okolje razumeti izzive iz resničnega sveta, na drugi strani pa si partnerji iz te panoge ne morejo privoščiti, da bi zaostajali v inovacijah in razvoju novih izdelkov. Vloga Comtrada kot vodilnega panožnega partnerja znotraj mreže EUTYPES ga postavlja na čelo evropskih podjetij, ki se zavedajo in podpirajo pomen inovacij ter strateške miselnosti. Raziskovalna mreža daje Comtradu pomembno prednost, saj ima zgodnji dostop do najnovejših dognanj in priložnost, da sodeluje in pomaga usmerjati bodoče raziskave na področju razvoja programske opreme.« je še dodal dr. Bauer.

 

Delovanje v okviru projektov COST je zelo pozitivno tudi za znanstvenike, saj ti s sodelovanjem v mreži specializiranih strokovnjakov in drugih znanstvenikov še bolje (in dlje) razvijejo svoje ideje, kar je dobrodošlo tako na področju raziskav, razvoja in inovacij. Raziskovalci, inženirji in znanstveniki iz javnega in zasebnega sektorja tako v skupni mreži v okviru projektov COST rešujejo različne izzive, za reševanje posameznega izziva pa imajo zagotovljeno financiranje spremljajočih stroškov (kot so potni stroški, obisk konferenc in delavnic, znanstvenih izmenjav, izobraževanja itd.) za dobo štirih let.

 

mag. Gregor Molan, vodja raziskovalne skupine iz podjetja Comtrade Digital Services je povedal:

»Že pred več kot 20 leti sem registriral raziskovalno dejavnost, kar nam je omogočilo sodelovanje na ciljnih raziskovalnih projektih (CRP), kjer smo sodelovali tudi z Univerzitetnim kliničnim centrom v Ljubljani. Prav zaradi preteklih izkušenj na številnih raziskovalnih projektih smo dobili priložnost tudi na projektu EUTYPES, kjer bomo prispevali svoja znanja in izkušnje z razvojem programske opreme in storitev za strateške stranke. Na projektu EUTYPES naj bi prav aktivno sodelovanje v raziskavah še povečalo prednost podjetja Comtrade z vključevanjem najnovejših odkritij na področju matematične teorije tipov in logike. Ta nam omogoča razvoj specifičnih novih programskih jezikov, optimiziranih za reševanje konkretnih programskih rešitev za ključne končne stranke.

Po štirih letih lahko pričakujemo programski jezik, ki bo korak pred konkurenčnimi podjetji v razvoju visokotehnoloških storitev programske opreme. Največjo prednost bomo v podjetju Comtrade imeli z uporabo teorije tipov za formalno dokazovanje pravilnosti naših rešitev. Tovrstni formalni dokazi bodo poleg svoje formalne vrednosti odkrili tudi težave, ki jih ni mogoče odkriti s tradicionalnim pristopom k preizkušanju programske opreme.«










KOMENTIRAJ

X


ANKETA
Arhiv anket

Kako je tehnologija spremenila vaše življenje?










>>
Kako drastično je tehnologija spremenila svet?

ZADNJE RAČUNALNIŠKE TEŽAVE IN REŠITVE

ZADNJE KOMENTIRANE NOVICE

Amazonova futuristična trgovina brez blagajn ... 1
x800xt  |  če imaš pare da tkole zapravljaš pa še v...
Bomo baterije prenosnikov kmalu polnili le še... 7
sphinxx  |  ha ha, ta cambridge je že dostikrat reši...
BMW samodejno zaklenil tatu in počakal na pol... 5
Potato  |  Naslov: BMW samodejno zaklenil tatu in p...
Bi kupili prenosnik za 15.000 evrov? 6
David Lagonder  |  Ne.
Amazon bo naše podatke vozil kar v tovornjaku 3
zgubar  |  "Saj lepo piše, da bi drugače potreboval...
RN KANAL




e-novice Želim brezplačno izdajo uredniškega izbora
najboljših računalniških novic na e-mail
Potrdi
(predogled)
(predogled)
(predogled)
(predogled)
(predogled)


100% skrbno bomo varovali vašo zasebnost in odnaročili se boste lahko kadarkoli!
Twitter




V zgornje okence vpišite vaš elektronski naslov, na katerega boste prejeli nadaljna navodila.

Mozilla Firefox

Kliknite na meni Orodja (Tools) in izberite Možnosti (Options)
V zavihku Splošno (Main) v polje Domača stran (Home Page) vpišite naslov rn.si
Kliknite na gumb V redu (OK)

Internet Explorer

Kliknite na meni Orodja (Tools) in izberite Internetne možnosti (Internet Options)
V zavihku Splošno (General) v polje Home Page (Domača stran) vpišite naslov rn.si
Kliknite na gumb V redu (OK)

Chrome

Hkrati pritisnite ALT+F in izberite Možnosti
V zavihku Osnove kliknite na gumb Uporabi trenutno stran
Kliknite na gumb Zapri

Netscape Navigator

Kliknite na meni Tools in izberite Options
V zavihku Main v polje Home Page vpišite naslov rn.si
Kliknite na gumb OK

Opera

Hkrati pritisnite CRTL+F12
Kliknite gumb »Use current«
Kliknite na gumb OK

Safari

Hkrati pritisnite tipki CTRL+","
Izberete zavihek General
Kliknite gumb »Set to current page«

Mozilla Firefox

Hkrati pritisnite tipki CTRL+D
Kliknite na gumb Shrani (Save)

Internet Explorer

Hkrati pritisnite tipki CTRL+D
Kliknite na gumb Dodaj (Add)

Chrome

Hkrati pritisnite tipki CTRL+D
Kliknite na gumb Končano (Finish)

Netscape Navigator

Hkrati pritisnite tipki CTRL+D
Kliknite na gumb OK

Opera

Hkrati pritisnite tipki CTRL+D
Kliknite na gumb OK

Safari

Hkrati pritisnite tipki CTRL+D
Kliknite na gumb OK