معرفی
Jan van Eijck is a Senior Researcher at CWI and a part-time Professor of Computational Semantics at the Institute for Logic, Language and Computation (ILLC) in Amsterdam. He teaches Software Specification and Testing in the Master of Software Engineering program. His research covers dynamic epistemic logic, social software, and functional programming.
۰مقاله منتشرشده
