Počet záznamů: 1

Chlipala, Adam, 1981-

Osobní jméno	Chlipala, Adam, 1981-
Země	Spojené státy americké
Oblast působení	programovací jazyky
	software
	počítačové systémy
Profese	počítačoví vědci
	vysokoškolští učitelé
Pohlaví	muž
Jazyk	eng - angličtina
Biografie	Americký počítačový vědec a vysokoškolský pedagog, zaměřený na programovací jazyky, formální metody a počítačové systémy.
Zdroj nalezených informací	Chlipala, Adam: Certified programming with dependent types: a pragmatic introduction to the Coq proof assistant, 2013 ; LC (Names), cit. 25. 2. 2019 (autoritní forma, datum narození, biografické údaje) ; www(osobní stránka), cit. 25. 2. 2019 (biografické údaje)
Databáze	Soubor osobních jmen a jmen rodin (rodů)
Odkazy	(1) - Knihy

osoba

Počet záznamů: 1