CZ |
Philippe
Darondeau
senior researcher |
Department: BB | from 21/11/2011 to 25/11/2011, from 01/02/2011 to 01/02/2011, from 01/01/2011 to 01/01/2011 | ||||
Affiliation: INRIA, Rennes, France | ||||||
Research interests: Concurrency theory, automata, Petri nets | ||||||
Galina
Jirásková
RNDr., CSc. |
Department: BB | from 01/01/2011 to 01/01/2011 | ||||
Affiliation: Mathematical Institute of the Slovak Academy of Sciences, Košice, Slovakia | ||||||
Research interests: Descriptional complexity of finite automata and regular languages | ||||||
Jerzy
Kąkol
Prof. |
Department: TFA | from 10/10/2011 to 17/10/2011, from 01/03/2011 to 01/05/2011, from 14/04/2011 to 27/04/2011, from 01/01/2011 to 01/02/2011, from 01/01/2011 to 01/01/2011, from 01/01/2011 to 01/01/2011 | ||||
Affiliation: Adam Mickiewicz University, Poznań, Poland | ||||||
Research interests: Functional analysis, topological vector spaces. | ||||||
Piotr
Koszmider
Prof. |
Department: TFA | from 14/04/2011 to 27/04/2011, from 02/04/2011 to 09/04/2011, from 01/01/2011 to 01/01/2011, from 01/01/2011 to 01/01/2011 | ||||
Affiliation: Mathematical Institute of the Polish of Academy of Sciences, Warsaw, Poland | ||||||
Research interests: Banach spaces of continuous functions; Applications of forcing; Combinatorial set theory; Boolean algebras | ||||||
S. Laurie
Ricker
Associate Professor |
Department: BB | from 21/11/2011 to 25/11/2011 | ||||
Affiliation: Mount Allison University, Sackville, Canada | ||||||
Research interests: Supervisory control of decentralized discrete-event systems | ||||||
Klaus
Schmidt
Assistant Prof. Dr. |
Department: BB | from 15/11/2011 to 19/11/2011, from 01/01/2011 to 01/01/2011 | ||||
Affiliation: Department of Mechatronics Engineering, Cankaya University, Ankara, Turkey | ||||||
Research interests: Hierarchical Control of Decentralized Discrete Event Systems | ||||||
Paul
Szeptycki
Prof. |
Department: TFA | from 07/08/2011 to 12/08/2011, from 01/01/2011 to 01/01/2011 | ||||
Affiliation: York University, Toronto, Canada | ||||||
Research interests: Set-theoretic Topology | ||||||
Jan H.
Van Schuppen
Prof.dr.ir. |
Department: BB | from 16/11/2011 to 23/11/2011, from 09/10/2011 to 16/10/2011, from 01/01/2011 to 01/01/2011 | ||||
Affiliation: CWI, Amsterdam, The Netherlands | ||||||
Research interests: Control of discrete-event systems | ||||||