Number of the records: 1

Chlipala, Adam, 1981-

Personal name	Chlipala, Adam, 1981-
Country	Spojené státy americké
Oblast působení	programovací jazyky
	software
	počítačové systémy
Profession	počítačoví vědci
	vysokoškolští učitelé
Sex	muž
Language	eng - angličtina
Biography	Americký počítačový vědec a vysokoškolský pedagog, zaměřený na programovací jazyky, formální metody a počítačové systémy.
Source data found	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)
Database	Soubor osobních jmen a jmen rodin (rodů)
References	(1) - Books

person

Number of the records: 1