![\"Andrej](\"http:\/\/tehnokrat.si\/wp-content\/uploads\/2016\/08\/Andrej-Bauer.jpg\")
<\/a>\n\u00bbProjekt EUTYPES je lahko uspe\u0161en le, \u010de sodeluje z raziskovalnimi skupinami iz panoge informacijskih tehnologij, pri \u010demer sadove \u017eanjeta obe strani. Na eni strani mora akademsko okolje razumeti izzive iz resni\u010dnega sveta, na drugi strani pa si partnerji iz te panoge ne morejo privo\u0161\u010diti, da bi zaostajali v inovacijah in razvoju novih izdelkov. Vloga Comtrada kot vodilnega pano\u017enega partnerja znotraj mre\u017ee EUTYPES ga postavlja na \u010delo evropskih podjetij, ki se zavedajo in podpirajo pomen inovacij ter strate\u0161ke miselnosti. Raziskovalna mre\u017ea daje Comtradu pomembno prednost, saj ima zgodnji dostop do najnovej\u0161ih dognanj in prilo\u017enost, da sodeluje in pomaga usmerjati bodo\u010de raziskave na podro\u010dju razvoja programske opreme.\u00ab je \u0161e dodal dr. Bauer.
\n
![\"it-znanstvenik\"](\"http:\/\/tehnokrat.si\/wp-content\/uploads\/2016\/08\/it-znanstvenik.jpg\")
<\/a>\nDelovanje v okviru projektov COST je zelo pozitivno tudi za znanstvenike, saj ti s sodelovanjem v mre\u017ei specializiranih strokovnjakov in drugih znanstvenikov \u0161e bolje (in dlje) razvijejo svoje ideje, kar je dobrodo\u0161lo tako na podro\u010dju raziskav, razvoja in inovacij. Raziskovalci, in\u017eenirji in znanstveniki iz javnega in zasebnega sektorja tako v skupni mre\u017ei v okviru projektov COST re\u0161ujejo razli\u010dne izzive, za re\u0161evanje posameznega izziva pa imajo zagotovljeno financiranje spremljajo\u010dih stro\u0161kov (kot so potni stro\u0161ki, obisk konferenc in delavnic, znanstvenih izmenjav, izobra\u017eevanja itd.) za dobo \u0161tirih let.<\/p>\n
mag. Gregor Molan, vodja raziskovalne skupine iz podjetja Comtrade Digital Services je povedal: \u00bb\u017de pred ve\u010d kot 20 leti sem registriral raziskovalno dejavnost, kar nam je omogo\u010dilo sodelovanje na ciljnih raziskovalnih projektih (CRP), kjer smo sodelovali tudi z Univerzitetnim klini\u010dnim centrom v Ljubljani. Prav zaradi preteklih izku\u0161enj na \u0161tevilnih raziskovalnih projektih smo dobili prilo\u017enost tudi na projektu EUTYPES, kjer bomo prispevali svoja znanja in izku\u0161nje z razvojem programske opreme in storitev za strate\u0161ke stranke. Na projektu EUTYPES naj bi prav aktivno sodelovanje v raziskavah \u0161e pove\u010dalo prednost podjetja Comtrade z vklju\u010devanjem najnovej\u0161ih odkritij na podro\u010dju matemati\u010dne teorije tipov in logike.Ta nam omogo\u010da razvoj specifi\u010dnih novih programskih jezikov, optimiziranih za re\u0161evanje konkretnih programskih re\u0161itev za klju\u010dne kon\u010dne stranke.<\/p>\n
Slovenija je ena izmed 23 dr\u017eav, ki sodelujejo v pomembnem evropskem projektu razvoja tehnologij za…<\/p>\n","protected":false},"author":1,"featured_media":3424,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"_exactmetrics_skip_tracking":false,"_exactmetrics_sitenote_active":false,"_exactmetrics_sitenote_note":"","_exactmetrics_sitenote_category":0,"footnotes":""},"categories":[1,6],"tags":[1489,736,281,536,264,1401],"class_list":["post-3422","post","type-post","status-publish","format-standard","has-post-thumbnail","hentry","category-it","category-odtuintam","tag-1489","tag-comtrade","tag-eu","tag-evropa","tag-programski-jezik","tag-projekt"],"featured_image_urls":{"full":["https:\/\/tehnokrat.si\/wp-content\/uploads\/2016\/08\/it-znanstvenik.jpg",1024,768,false],"thumbnail":["https:\/\/tehnokrat.si\/wp-content\/uploads\/2016\/08\/it-znanstvenik-150x150.jpg",150,150,true],"medium":["https:\/\/tehnokrat.si\/wp-content\/uploads\/2016\/08\/it-znanstvenik-300x225.jpg",300,225,true],"medium_large":["https:\/\/tehnokrat.si\/wp-content\/uploads\/2016\/08\/it-znanstvenik-768x576.jpg",640,480,true],"large":["https:\/\/tehnokrat.si\/wp-content\/uploads\/2016\/08\/it-znanstvenik-1024x768.jpg",640,480,true],"1536x1536":["https:\/\/tehnokrat.si\/wp-content\/uploads\/2016\/08\/it-znanstvenik.jpg",1024,768,false],"2048x2048":["https:\/\/tehnokrat.si\/wp-content\/uploads\/2016\/08\/it-znanstvenik.jpg",1024,768,false],"newsphere-slider-full":["https:\/\/tehnokrat.si\/wp-content\/uploads\/2016\/08\/it-znanstvenik.jpg",960,720,false],"newsphere-featured":["https:\/\/tehnokrat.si\/wp-content\/uploads\/2016\/08\/it-znanstvenik.jpg",1024,768,false],"newsphere-medium":["https:\/\/tehnokrat.si\/wp-content\/uploads\/2016\/08\/it-znanstvenik.jpg",507,380,false]},"author_info":{"display_name":"Miran","author_link":"https:\/\/tehnokrat.si\/?author=1"},"category_info":"Informacijske tehnologije<\/a> Od tu in tam<\/a>","tag_info":"Od tu in tam","comment_count":"0","_links":{"self":[{"href":"https:\/\/tehnokrat.si\/index.php?rest_route=\/wp\/v2\/posts\/3422","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/tehnokrat.si\/index.php?rest_route=\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/tehnokrat.si\/index.php?rest_route=\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/tehnokrat.si\/index.php?rest_route=\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/tehnokrat.si\/index.php?rest_route=%2Fwp%2Fv2%2Fcomments&post=3422"}],"version-history":[{"count":1,"href":"https:\/\/tehnokrat.si\/index.php?rest_route=\/wp\/v2\/posts\/3422\/revisions"}],"predecessor-version":[{"id":3426,"href":"https:\/\/tehnokrat.si\/index.php?rest_route=\/wp\/v2\/posts\/3422\/revisions\/3426"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/tehnokrat.si\/index.php?rest_route=\/wp\/v2\/media\/3424"}],"wp:attachment":[{"href":"https:\/\/tehnokrat.si\/index.php?rest_route=%2Fwp%2Fv2%2Fmedia&parent=3422"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/tehnokrat.si\/index.php?rest_route=%2Fwp%2Fv2%2Fcategories&post=3422"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/tehnokrat.si\/index.php?rest_route=%2Fwp%2Fv2%2Ftags&post=3422"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}<\/a>
\nPo \u0161tirih letih lahko pri\u010dakujemo programski jezik, ki bo korak pred konkuren\u010dnimi podjetji v razvoju visokotehnolo\u0161kih storitev programske opreme. Najve\u010djo prednost bomo v podjetju Comtrade imeli z uporabo teorije tipov za formalno dokazovanje pravilnosti na\u0161ih re\u0161itev. Tovrstni formalni dokazi bodo poleg svoje formalne vrednosti odkrili tudi te\u017eave, ki jih ni mogo\u010de odkriti s tradicionalnim pristopom k preizku\u0161anju programske opreme.\u00ab<\/p>\n","protected":false},"excerpt":{"rendered":"