Matches in DBpedia 2014 for { ?s ?p Jan Hajek is a Czech scientist and mathematician, living in the Netherlands. He participated in the creation of the TCP/IP protocol. He also created 'Approver' "which was probably the first tool for the automated verification of concurrent systems".Hajek is best known for his work Probabilistic causation indicated by relative risk, attributable risk and by formulas of I.J.. }
Showing items 1 to 1 of
1
with 100 items per page.
- Jan_Hajek_(scientist) comment "Jan Hajek is a Czech scientist and mathematician, living in the Netherlands. He participated in the creation of the TCP/IP protocol. He also created 'Approver' "which was probably the first tool for the automated verification of concurrent systems".Hajek is best known for his work Probabilistic causation indicated by relative risk, attributable risk and by formulas of I.J.".