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".
Born | |
Zodiac | |
Tags | Add tag |