Čtvrtek 20. ledna 2022, svátek má Ilona
  • schránka
  • Přihlásit Můj účet

Lidovky.cz

Chyba softwaru zavinila výbuch

Česko

Začínat v Rakousku je obtížnější než ve Státech, domnívá se slovenský informatik Pavol Černý, který vyvíjí co nejspolehlivější programy.

* LN Jak jste se na Institut vědy a techniky (IST) dostal?

Po doktorátu v Americe jsem chtěl jít pracovat do skupiny Thomase Henzingera na techniku do švýcarského Lausanne. On se právě stěhoval na nově založené pracoviště u Vídně a navrhl mi, ať jdu s ním.

* LN Neměl jste obavy?

Ne. Byl jsem rád, že budu moct častěji jezdit do Bratislavy.

* LN Je těžší začínat v Americe, nebo v Rakousku?

Po vědecké stránce se obě místa příliš neliší. IST se v mnohém podobá právě americkým univerzitám, které si vzal za vzor, a navíc řada zdejších profesorů v minulosti ve Státech působila, prezident institutu Henzinger byl například řadu let na Kalifornské univerzitě v Berkeley. Začlenit se do běžného života je ovšem jednodušší ve Spojených státech. Když to přiblížím na svém příběhu - už měsíc po příchodu do USA jsem si pořídil auto, bavoráka, i když dvacet let starého, za tisíc dolarů. Americká společnost je také mnohem otevřenější, na univerzitách se tam potkávají studenti z celého světa. Rakousko se naopak trochu podobá Slovensku a Česku. Život mírně komplikuje přebujelá byrokracie. Pro dobré slovenské vědce, kteří nechtějí jít daleko od domova, je ale IST ideální příležitost.

* LN Čemu se věnujete?

Naše práce má blízko k praxi. Zkoušíme vymyslet technologie pro vývoj spolehlivějších programů nebo u stávajícího softwaru zjišťujeme, zda splňuje potřebná kritéria. V případě jaderných elektráren či letadel nelze rozhodně spolehlivost ověřovat až v praxi. Softwarová chyba zapříčinila třeba výbuch francouzské nosné rakety Ariane 5, ke kterému došlo pár sekund po startu. Opomenutí při programování procesoru zase připravilo firmu Intel o miliardu dolarů. Ač to může vypadat zvláštně, programy jsou nesmírně komplexní a v současnosti nemáme technologie, pomocí kterých bychom garantovali jejich spolehlivost.

* LN IST chce propojovat různé obory. S kým spolupracujete?

S experimentálními biology. Modelujeme různé systémy a kolegové nyní s jejich pomocí zkoušejí zkoumat uskupení buněk. Zjišťují, jak systém s danými pravidly vývoje dospěje do stavu, kdy je nefunkční. Ptají se, proč k tomu došlo.

Autor:

Velký test samotestů na covid: lépe fungují výtěrové, některé neodhalí nic

Premium Ještě před dvěma lety znamenaly dvě čárky na testu, že se budou chystat křtiny, delta byly americké aerolinky, gama...

Nečekaný příbuzenský vztah. Vévodkyně Kate a Meghan pojí krev Přemyslovců

Premium Učebnice mluví jasně. Přemyslovci vymřeli po meči v roce 1306, kdy byl mladičký král Václav III. zákeřně zavražděn...

Češi investují do kryptoměn ve velkém. Stát řeší, jak je přinutit přiznat zisky

Premium Ještě nedávno byly virtuální měny jako bitcoin investicí především pro lidi, kteří chtěli experimentovat a nebáli se...