what is professional history
Answers
Answered by
0
HI mate GM here is your answer...,
Professional history
1980-1985: Student of Philosophy: Graduate courses on Mathematical Logic, Philosophy of Science and Computer Science.
1985: Master's degree in Philosophy at the University of Groningen. Master's Thesis: ``The expressive power of dynamic logics''. Supervisor: J.F.A.K. van Benthem.
1985-89: and Ph. D. student at the Centre of Mathematics and Computer Science in Amsterdam as participant of ESPRIT project 415.
1989-93: Assistent professor at the Technical University of Eindhoven.
1991: Ph. D. degree in Computer Science (Free University, Amsterdam): Reasoning about dynamically evolving process structures (A proof theory of the parallel object-oriented language POOL). Supervisor: J.W. de Bakker.
1993-1994: Assistent professor at the Free University of Amsterdam.
1994-: Senior researcher and teacher at the University of Utrecht.
2002-: Senior researcher at the Centre of Mathematics and Computer Science in Amsterdam.
2003-2008: Associate professor at the University Leiden (LIACS).
2008-: Professor "Program Correctness" at the University of Leiden (LIACS).
Currently employed by: Centre of Mathematics and Computer Science in Amsterdam.University of Leiden, LIACS.
Titles: Master's degree in PhilosophyPh. D. degree in Computer Science.
Research interests: Semantics and Proof-Theory of (Concurrent) Programming LanguagesComputer-aided specification and verificationComponent-based software engineeringMulti-Agent Systems.
I hope it will help you and mark me as a brain list answer plz.
Professional history
1980-1985: Student of Philosophy: Graduate courses on Mathematical Logic, Philosophy of Science and Computer Science.
1985: Master's degree in Philosophy at the University of Groningen. Master's Thesis: ``The expressive power of dynamic logics''. Supervisor: J.F.A.K. van Benthem.
1985-89: and Ph. D. student at the Centre of Mathematics and Computer Science in Amsterdam as participant of ESPRIT project 415.
1989-93: Assistent professor at the Technical University of Eindhoven.
1991: Ph. D. degree in Computer Science (Free University, Amsterdam): Reasoning about dynamically evolving process structures (A proof theory of the parallel object-oriented language POOL). Supervisor: J.W. de Bakker.
1993-1994: Assistent professor at the Free University of Amsterdam.
1994-: Senior researcher and teacher at the University of Utrecht.
2002-: Senior researcher at the Centre of Mathematics and Computer Science in Amsterdam.
2003-2008: Associate professor at the University Leiden (LIACS).
2008-: Professor "Program Correctness" at the University of Leiden (LIACS).
Currently employed by: Centre of Mathematics and Computer Science in Amsterdam.University of Leiden, LIACS.
Titles: Master's degree in PhilosophyPh. D. degree in Computer Science.
Research interests: Semantics and Proof-Theory of (Concurrent) Programming LanguagesComputer-aided specification and verificationComponent-based software engineeringMulti-Agent Systems.
I hope it will help you and mark me as a brain list answer plz.
Similar questions