|
Olivier
Boutin
Dr. |
|||||
| Affiliation: | |||||
|
Research interests: Supervisory control of discrete-event systems BB from 21/11/2011 to 25/11/2011 |
|||||
|
|||||
|
Sam
Buss
|
|||||
| Affiliation: UC San Diego | |||||
|
Research interests: Proof complexity MLTCS from 01/07/2011 to 13/07/2011 |
|||||
|
|
|||||
Philippe
Darondeau
 senior researcher |
|||||
| Affiliation: INRIA, Rennes, France | |||||
|
Research interests: Concurrency theory, automata, Petri nets BB from 21/11/2011 to 25/11/2011 |
|||||
|
|
|||||
|
Łukasz
Jeż
Mgr., PhD. |
 |
||||
| Affiliation: University of Wrocław Institute of Computer Science, Wrocław, Poland | |||||
|
Research interests: MLTCS from 05/10/2011 to 13/07/2012 |
|||||
|
|
|||||
|
Jerzy
Kąkol
Prof. |
|||||
| Affiliation: Adam Mickiewicz University, Poznań, Poland | |||||
|
Research interests: Functional analysis, topological vector spaces. 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 |
|||||
|
|
|||||
|
Piotr
Koszmider
Prof. |
|||||
| 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 TFA from 14/04/2011 to 27/04/2011, from 02/04/2011 to 09/04/2011 |
|||||
|
|
|||||
|
Kaoru
Ono
Professor |
|
||||
| Affiliation: RIMS, Kyoto University, Kyoto, Japan | |||||
|
Research interests: Symplectic Geometry MLTCS from 14/01/2011 to 22/01/2011 |
|||||
|
|
|||||
|
S. Laurie
Ricker
Associate Professor |
|||||
| Affiliation: Mount Allison University, Sackville, Canada | |||||
|
Research interests: Supervisory control of decentralized discrete-event systems BB from 21/11/2011 to 25/11/2011 |
|||||
|
|
|||||
|
Klaus
Schmidt
Assistant Prof. Dr. |
|
||||
| Affiliation: Department of Mechatronics Engineering, Cankaya University, Ankara, Turkey | |||||
|
Research interests: Hierarchical Control of Decentralized Discrete Event Systems BB from 15/11/2011 to 19/11/2011 |
|||||
|
|
|||||
|
Paul
Szeptycki
Prof. |
|||||
| Affiliation: York University, Toronto, Canada | |||||
|
Research interests: Set-theoretic Topology TFA from 07/08/2011 to 12/08/2011 |
|||||
|
|
|||||
|
Jan H.
van Schuppen
Prof.dr.ir. |
|||||
| Affiliation: TU Delft, Delft, The Netherlands | |||||
|
Research interests: Control of discrete-event systems BB from 16/11/2011 to 23/11/2011, from 09/10/2011 to 16/10/2011 |
|||||
|
|
|||||
Visiting researchers 2015
Visiting researchers 2014
Visiting researchers 2013
Visiting researchers 2012
Visiting researchers 2010
