logo_FB  twitter    logo_YT     logo_QS     Časopis Buď FIT   Anketa ČVUT

Jak analyzovat korektnost programů

prof. Jan Vitek – foto

Prof. Jan Vítek, vedoucí fakultní Laboratoře výzkumu programování, bude 17. října přednášet na 44. setkání Pražského informatického semináře. V přednášce stručně představí základy analýzy korektnosti programů. Popíše i některé novější techniky a jejich praktické důsledky. Nakonec zmíní i postupy nekorektní. Jan Vítek je profesorem na Northeastern University a držitelem ERC grantu na FIT, v rámci kterého se zabývá podporou škálovatelné analýzy dat v jazyce R. Přednáška se uskuteční na Matematicko-fyzikální fakultě UK.

Podrobnosti o přednášce Jak analyzovat korektnost programů

Metodiky vývoje a rozdíly mezi nimi

Metodiky vývoje a rozdíly mezi nimi - banner

O jednotlivých metodikách vývoje a jejich rozdílech bude 21. října přednášet Martin Drábek. Na příkladech z praxe vám ukáže, jak takový projekt vypadat nemá, dále se zaměří na vize a chování zákazníků a nezapomene také zmínit osvědčené postupy. Přednáška se uskuteční v rámci cyklu Informatické večery FIT od 18:00 v posluchárně T9:107. Tento cyklus přednášek z nejrůznějších oblastí informatiky přináší na půdu FIT české i zahraniční odborníky.

Celý článek o přednášce Metodiky vývoje a rozdíly mezi nimi

Studenti FIT motivují miliony lidí zlepšit si kondici

Fitify - lidé

Z nápadu dvou studentů FIT Martina Mazance a Matouše Skály vznikl start-up Fitify Workouts. Jejich nová aplikace navrhuje osobní cvičební plány a uživatele provede jednotlivými tréninky pomocí videa. Tato aplikace nedávno zaznamenala úspěch v soutěži tuzemských mobilních aplikacích AppParade. Jen za minulý rok sestavili 18 milionů cvičebních plánů, díky nimž uživatelé spálili celkem 2,4 miliardy kalorií. Doposud tak dokázali oslovit více než 8 milionů lidí, čímž již dohnali globální konkurenci.

Kariérní veletrh COFIT

COFIT – banner

Fakultní kariérní veletrh COFIT se uskuteční 16. října v atriu Nové budovy ČVUT od 12:30 do 17:45. Studenti budou mít možnost potkat IT profesionály z nadnárodních společností i startupů a dozvědět se o jejich aktuálních projektech. Připravena je přednáška Konec prokrastinace, kde se návštěvníci dozví, jak přestat odkládat a žít naplno. RetroHerna nabídne legendárního Pac-Mana na NES konzoli a soutěž o tematické ceny. Vstup je volný a bez předchozí registrace.

Celý článek o veletrhu COFIT

 

Archiv článků



Poslední změna: 17.10.2019, 9:50