Jan Hajek (mathematician)

Jan Hajek is a Czech scientist and mathematician, living in the Netherlands. He participated in the creation of the TCP/IP protocol.^[1] He also created 'Approver', "which was probably the first tool for the automated verification of concurrent systems".^[2]^[3]

Hajek is best known for his work on probabilistic causation indicated by relative risk, attributable risk and by formulas of I.J. Good, Kemeny, Popper, Sheps/Cheng, Pearl and Google's Brin, for data mining, epidemiology, evidence-based medicine, economy, investments or Causal INSIGHTS INSIDE for data mining to fight data tsunami and confounding.

References

^ Kalauzová, Sonia (2008). "Czech Inventions". The New Presence (1). Přítomnost: 52–55. Retrieved 24 October 2016.
^ Peled, Doron A; Wooldridge, Michael J (2009). Model Checking and Artificial Intelligence: 5th International Workshop. Springer. p. 66. ISBN 978-3-642-00430-8. Retrieved 16 May 2011.
^ Edelkamp, Stefan; Leue, Stefan; Visser, Willem (2007). "Directed Model Checking - 06172 Abstracts Collection". Dagstuhl Seminar Proceedings. Dagstuhl Seminar Proceedings (DagSemProc). 6172. Dagstuhl, Germany: Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany: 4. doi:10.4230/DagSemProc.06172.1. ISSN 1862-4405 – via DROPS. Approver is probably the first tool for automated verification of communication protocols. It was written by Jan Hajek in the end of the 70's at the Eindhoven University of Technology.

External links

Jan Hajek Webpage

This article about a Czech scientist is a stub. You can help Wikipedia by expanding it.

[1] Kalauzová, Sonia (2008). "Czech Inventions". The New Presence (1). Přítomnost: 52–55. Retrieved 24 October 2016.

[2] Peled, Doron A; Wooldridge, Michael J (2009). Model Checking and Artificial Intelligence: 5th International Workshop. Springer. p. 66. ISBN 978-3-642-00430-8. Retrieved 16 May 2011.

[3] Edelkamp, Stefan; Leue, Stefan; Visser, Willem (2007). "Directed Model Checking - 06172 Abstracts Collection". Dagstuhl Seminar Proceedings. Dagstuhl Seminar Proceedings (DagSemProc). 6172. Dagstuhl, Germany: Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany: 4. doi:10.4230/DagSemProc.06172.1. ISSN 1862-4405 – via DROPS. Approver is probably the first tool for automated verification of communication protocols. It was written by Jan Hajek in the end of the 70's at the Eindhoven University of Technology.

[1]

[2]

[3]