» version anglaise » INTERNATIONAL » The "Guest Program" » Previous guests » Guests 2011

Guests 2011

First name / NameInstituteResearch themePeriod of timeIn collaboration with
Mme Alba Cristina MAGALHAES ALVES DE MELO University of Brasilia (UnB), (Brasil)New parallel Sequence-Profile comparison strategies, targeted for Multi/Manycore architectures that are able to calculate huge Sequence-Profile comparisons in reduced time and memory space. The architectures considered in this project can be composed of GPUs, IBM Cell/BE or clusters that combine both.February/MarchInria
Mme Lorenza SAITTADipartimento di Informatica, Universita de Turin (Italia) 1. Emergence of phenomena typical of complex systems, such as phase transitions.
2. Impact of these phenomena on the qualitative and quantitative behaviours of these systems.
3. Computational complexity of automated learning in such complex systems.1)
 December 2010 / March 2011Inria
Mr. Pourang IraniCircle Department of Computer Science EITC II -University of Manitoba Winnipeg (Canada) Co-located collaborative visualization using large wall displays and interactive tables. Our collaboration will focus on software architecture for remote collaboration in visualization January/ FebruaryInria
 Mr. Jeremy SPROSTON Dipartimento di Informatica Università degli Studi di Torino (Italia)Cooperation on Probabilistic Timed VerificationJanuaryENS
Mr. Attilo FRANGIPolitecnico di Milano (Italia) Fluid structure interaction & Lattice Boltzmann method March/April ENS
Mr. Janos KORNER Dipartimento di Informatica, Universita’ "La Sapienza" di Roma (Italia) Generalizations of 0-error information theory September/October TELECOM
Mr. Luca BERNARDINELLOUniversity of Milano-Bicocca (Italy) Orthomodular structures generated by closure operators in occurrence nets and related ordered structures. Investigation of compositionality in concurrent systems FebruaryTELECOM
Mrs. Lucia POMELLO University of Milano-Bicocca (Italy) Orthomodular structures generated by closure operators in occurrence nets and related ordered structures. Investigation of compositionality in concurrent systems February TELECOM
Mr. Gary HOWELL North Carolina State University (USA) Collaboration around development of parallel algorithms on heterogeneous architectures for sparse linear algebra solvers using techniques from dense linear algebra known for their stability. Study of performance and stability (derivation of error bounds) on very large problems from fluid mechanics. September Inria
Mr. Franklin MENDIVIL Department of Mathematics and Statistics - Acadia University (Canada) Local fractal strings July/August Inria
Mr. Alan NEEDLEMAN Department of Materials Science and Engineering, University of North Texas (USA) Role of mass diffusion in grains of deforming polycrystalline high temperature materials leading to localization. Deformation and fracture. Computational aspects May/June ENS
Prof. George P.PAPAVASSILOPOULOS Division of Signals Control and Robotics Dept.Of Electrical and Computer Engineering National Technical University of Athens (Greece) Cooperation on Game Theory Research and Proposals June/JulyENS
Mr. Shay KUTTENFaculty of industrial engineering and Management, Technion Israel institute of technology (Israël)Networks of mobile agentsJanuary / FebruaryInria
Mr Konstantin MISCHAIKOWThe State University of New JerseyTopological and geometrical analysis of the data May / JulyInria
 Mr Alejandro JOFRECentro de Modelamiento MatemáticoPrepare the mounting CIRIC project (INRIA center in Chile) energy optimization.JulyInria
Mme Juliana FREIREPolytechnic Institute of New York University1) Scientific workflows (developing a model unifying data management and dynamic management Source) 2) XML technologies around the Semantic WebJulyInria
Mr Claudio SILVAPolytechnic Institute of New York UniversityCollaborations around the system VisTrails and visualizations on hybrid brain data. VisTrails allows for dynamic treatments for viewing.JulyInria
M. Geoffrey SMITHFlorida International Universitythe study of an approach to Quantitative Information Flow based on Rényi min entropySeptember / DecemberInria
M. Yutaka YAMAMOTOKyoto UniversityEstablish a link between frequency and time-domain methods for the stability analysis/stabilization of several classes of delay systems.September / OctoberInria
Mme Sonia MALEFAKIUniversity of Patrasdevelopment of methods for parameter estimation, MCMC for hidden patterns of plant growth.JulyInria
Mr. Joachim WEICKERTSaarland Universityworkshop NCMIP 2011 - Inverse methodsMayENS Cachan
 Mr Jean-Pierre JOUANNAUDTsinghua University The area of rewriting that plays a central role in formal verification of security protocolsMarchENS Cachan
Mr Murad TAQQUBoston UniversityUtilisation des scalogrammes pour l’estimation du coefficient de mémoire de processus stationnairesMay / JuneTélécom
Mr Bran SelicCarleton UniversityDefining a pratical user guide for MARTEApril / june 
Mr Georges BITSORISUniversité de PatrasAnalyse et synthèse des ensembles invariants par rapport aux trajectoires des systèmes dynamiques. Les implications sur la tolérance aux défauts, la commande sous contraintes et la viabilité du fonctionnement des systèmes de commande.SeptemberSupélec
Mrs. Sandra ALVESUniversidade PortoReduction strategies for the lambda calculus provide a foundation for the efficient implementation of functional programming languages.August / SeptemberLIX
Mr. Siméon JérômeIBM T.J. Watson Research CenterStandards for XML ; XQuery 3.0 type systems.September / OctoberLRI
Dr. Petra DIETRICHVictoria University of WellingtonIntegrating CZT and HOL-Z.September / NovemberLRI
Mr Odd-Sture HopperstadUniversity of Science and TechnologyFracture at low triaxialities in anisotropic materials with application to extruded High résistance aluminum alloysOctoberENS Cachan
Mr. Bernard Henry FLEURYAalborg UniversityBayesian Cramer-Rao Bound for Sparse Estimation of Complex ParameterNovember / DecemberENS Cachan
Mr. ASPRAGKATHOSUniversity of Patras- Collaborative manipulation using Adaptive and Learning Fuzzy logic control
- Mission planning and manipulation using Hybrid force/vision control
- Optimal design and operation of manipulator using Genetic Algorithms
- Kinematics based on line geometry and dual quaternion
September / JanuaryCEA
Linh Trung NguyenVietman national UniversityCompressed sensing and applications in signal processing and communicationsDecember / JanuarySupélec
Mr. Gopalan NadathurUniversity of Minnesota- Completing research into the proof theory behind strong principles of induction and co-induction within the sequent calculus. This work will provide a stronger foundation for the work that Parsifal does in theorem proving.
- Continued development and applications of the Abella theorem prover. This prover, first built by Nadathur’s Phd student, Andrew Gacek, is now a centerpiece of Parsifal’s theorem proving work. We plan to collaborate on several aspects of improving its foundations and implementation.
September / NovemberLIX
Mr Brahim SADIKFaculté des Sciences Semlalia Marrakech (Marrueco)La preuve d’un résultat conjectural, lié aux systèmes différentiels plats, qui exprime le fait qu’un système linéarisable par bouclage exogène est linéarisable par bouclage endogène, ou encore que tout sous-système d’un système plat est plat. Nous aborderons les aspects algorithmiques de la preuve pour en déduire dans le cas d’un système algébrique une version constructive implémentable ainsi que de nouveaux critères de platitudeFaculté des Sciences Semlalia MarrakechLIX
Mr Moreno FALASCHIUniversité de SienneParticipation aux travaux de l’équipe COMETEOctober / NovemberLIX
Mr. MAVRIS DimitriGeorgia Institute of TechnologyNews Trends in Complex Systems DesignDecemberLIX
Dr. LEVESON NancyMassachusetts Institute of TechnologySystems SafetyDecemberLIX
Mr. Ruediger SchultzUniversity of Duisburg-EssenStoczastic programming maximum weighted treeOctober / NovemberLRI
Mrs. Bernadette Farias LóscioUniversidade Federal de PernambucoData Quality in Data Integration SystemsDecemberUVSQ
Mr. Philippas TsigasChalmers University of Technology (Sweden)Self-stabilizing and secure clustering algorithmsDecemberUVSQ
Mr. Peter ReichlFTW Forschungszentrum TelekommunikationAlgorithmic Game Theory and wireless NetworksDecemberUVSQ
Monsieur Guillermo ARTANAUniversidad de Buenos AiresDéveloppement des outils pour l’analyse et la modélisation des écoulements,
Contrôle par forçage plasma d’un écoulement dans une cavité.
December / JanuaryUVSQ