Aktuality

Jeden se v Brně zasloužil o vybudování největší vývojové centrály Red Hat na světě, druhý dokázal vytvořit z malé brněnské firmy mezinárodní holding. Děkan Fakulty informačních technologií VUT Pavel Zemčík včera ocenil dvě osobnosti se zásluhami o rozvoj IT v Brně. Medaili z jeho rukou převzali Radovan Musil, bývalý šéf vývojového centra Red Hat v Brně, a Martin Cígler, spoluvlastník a předseda představenstva holdingu Solitea. 

Více se dozvíte v tiskové zprávě. 

Partner fakulty Thermo Fisher Scientific pořádá 17. října od 13 hod. den otevřených dveří pro studenty. Thermo Fisher Scientific vyvíjí a vyrábí špičkové elektronové mikroskopy, které slouží vědcům a výzkumníkům po celém světě. Přijďte se podívat, jak se vyvíjí software pro analytické přístroje za miliony dolarů.

V rámci Open Day je připravena řada workshopů včetně těch zaměřených na vývoj software. Ukážeme vám, jak s využitím algoritmů zpracování obrazu kalibrujeme elektronovou optiku mikroskopu. Budete si moci vyzkoušet naprogramovat ovládání mikroskopu přes naše Python API. Zároveň se můžete podívat do prostor největší výroby elektronových mikroskopů na světě, které jsou stále udržovány v superčistém režimu. Můžete také navštívit pojízdný FabLab Experience.

Kapacita jednotlivých workshopů je omezená, proto prosíme o registraci ve FB události nebo zde.

Vojtěch Havlena, Lukáš Holík, Ondřej Lengál a Tomáš Vojnar ze skupiny VeriFIT získali ocenění za nejlepší článek na prestižní konferenci CADE 2019 věnující se tématu automatizovaného dokazování ve formálních systémech. Článek s názvem "Automata Terms in a Lazy WSkS Decision Procedure" se zabývá rozhodováním formulí logiky WSkS pomocí symbolických technik pro práci s konečnými (stromovými) automaty. Logika WSkS se používá např. pro popis nekonečných množin grafů při formálním usuzování a hledání chyb v programech s dynamickými datovými strukturami. Vojtěch Havlena navíc získal od programového výboru ocenění Woody Bledsoe Award pro studenty za mimořádný přínos oblasti automatizovaného usuzování.