Pr François Taïani

francois.taiani@irisa.fr
http://ftaiani.ouvaton.org
François Taïani
Groupe ASAP
IRISA - Inria Rennes - ESIR
Université de Rennes 1
263 Avenue du Général Leclerc - Bât 12
Campus universitaire de Beaulieu
35042 Rennes Cedex
France
Tel.:+33 (0) 2 99 84 75 04

 Navigation

 Research Activities
Université
de Rennes 1
(Rennes, FR)
Nov. 2012 - now
Professeur des Universités
Since November 2012, I am a "Professeur des Universités" (roughly covering the span from Associate to Full Professor in France) at the Université de Rennes 1 in Rennes, France. I teach system courses at the École Supérieure d'Ingénieurs de Rennes (ESIR). From 2012 to 2016 I served as Director of Teaching of ESIR, and since April 2015, I head the ASAP research group (As Scalable As Possible) of IRISA - Inria Rennes, which focuses on large scale distributed computer systems.
Lancaster
University
(Lancaster, UK)
Jan. 2005 - Oct. 2012
Lecturer (~ Assistant Professor)
For almost 8 years, I worked as a Lecturer at the School of Computing and Communications of Lancaster University in the UK. There, I taught courses about Operating Systems, Distributed systems (middleware, cloud computing), Web programming, and Safety Critical Systems. I was a member of the Next Generation Middleware research group.
INRIA
(Rennes, FR)
Jan. 2011 - Dec. 2011
Invited Professor
In 2011, I visited the ASAP research group (As Scalable As Possible) headed by Anne-Marie Kermarrec on a sabbatical leave from Lancaster. I worked on the Gossple project to develop and program novel approaches for peer-to-peer search and recommendation engines, in particular when including geolocation information.
AT&T Labs & Research
(New Jersey, USA)
Feb. 2004 - Dec. 2004
Visiting Scholar
At AT&T, I investigated the connectivity properties of the grid computing platform Globus. With my colleagues Matti Hiltunen and Rick Schlichting, I studied how profiling results could be visualised for such a complex middleware in a way that leverages the internal structure of the software and helps program comprehension.
LAAS-CNRS
(Toulouse, FR)
Nov. 2000 - Jan. 2004
Research Assistant
During my Ph.D., I developed the "CosmOpen" reverse-engineering tool suite to analyze complex multi-level software. The suite is programmed in Java and C++, and contains circa 20,000 lines of code. It is distributed under the GNU General Public License, http://ftaiani.ouvaton.org/7-software/.
I was an active member of the DSoS (Dependable Systems of Systems) IST European Project (2000-2003). I supervised with M.O. Killijian the development of the DAISY (Dependable Adaptive Interceptors & Serialization-based sYstem) prototyping platform, which was one of the project deliverables.
Twam SA
(Toulouse, FR)
Feb. 2000 - Nov. 2000 (8 months)
Research Engineer
I investigated the combined use of UML (Unified Modeling Language) and Petri nets for the development of real-time systems.
Daimler Benz
(Stuttgart, Germany)
Dec. 1997 - July 1998 (8 months)
Diplomand (MSc Thesis), Consultant (Telematics Research Dept. )
I took part in a collaborative project with ADtranz and the Deutsche Bahn (the German railways) regarding the use of the new ETCS standard (European Train Control System). I developed a geographical data model for on-board digital maps.
Bayer AG
(Cologne, Germany)
1996 and 1997 (5 months 1/2)
Praktikant, Werkstudent (Computer Chemistry Dept.)
I worked on the stochastic Simulation of Polyurethane Polymerization (FORTRAN).

 Industrial Work Experience
ILOG GmbH
(Frankfurt)
Sep. 1998 - Dec. 1999 (16 months)
I was a marketing assistant for Germany and Austria (budget circa 60,000): I organized ILOG's participation at the CeBIT Fair (Hanover) and the SYSTEMS Fair (Munich). I also worked as a technical support, pre-sales engineer and consultant. I trained prospective customers on ILOG Java products.

 Publications

Copyright Notice: This material is presented to ensure timely dissemination of scholarly and technical work.Copyright and all rights therein are retained by authors or by other copyright holders. All persons copying this information are expected to adhere to the terms and constraints invoked by each author's copyright. In most cases, these works may not be reposted without the explicit permission of the copyright holder.

IEEE Copyright Notice: © 2001-2017 IEEE. Personal use of this material is permitted. However, permission to reprint/republish this material for advertising or promotional purposes or for creating new collective works for resale or redistribution to servers or lists, or to reuse any copyrighted component of this work in other works must be obtained from the IEEE.

Book Chapters

Proceedings

Peer-Reviewed Journals

Peer-Reviewed Conferences

Keynotes

Workshops

Demonstrations

Talks

Technical Reports

Thesis

Misc.

Copies / Update: Please contact me by email if you wish to obtain a copy of a paper that is not available on line.

 Grants and Scholarships

As primary investigator (PI)

EPSRC &
Anglian
Water Ltd
2012-2015 (PI from Jan to Oct 2012)
Smart Wastewater Networks. Project in collaboration with Geoff Coulson (CI, Lancaster), David Singerton (CI, Anglian Water). Total value (Lancaster): 92,161
EPSRC &
CEFAS
2012-2015 (PI from Jan to Oct 2012)
SeaCloud: A GPU-Powered Cloud for Marine Ecology. Project in collaboration with Gordon Blair (CI, Lancaster), Keith Beven (Lancaster Environment Center, CI), Jonathan Beecham (CI, CEFAS). Total value (Lancaster): 92,161
Lancaster
University
2008-2009
A Quest for Comprehension: Mining Abnormal Software Behaviours: Project in collaboration with Linden Ball (Lancaster Psychology Department, CI), Tom Ormerod (Lancaster Psychology Department, CI), Geoff Coulson (Lancaster, CI). Total value: 6,800
British
Council
2009-2010
Message dissemination algorithms for Mobile Ad Hoc Networks: Project in collaboration with Hugo Miranda (Universidade de Lisboa, Portugal, Co-PI). Total value (Lancaster's side): 1,000
INRIA 2004
Postdoc scholarship for a one year visit at the AT&T Shannon Laboratory (New Jersey): €16,266
French-German
University
1996-1998
Two year scholarship to study at the University of Stuttgart (Germany)

As co-investigator (CI)

FP7 IST 2009-2012
Emergent Connectors for Eternal Software Intensive Networked Systems (CONNECT): Project in collaboration with INRIA (coordinator), Thales, University of Oxford, University of Uppsala, NTT Docomo, TU Dortmund, CNR Pisa, Universitá dell'Aquila, Peking University. Co-investigators (Lancaster): Gordon Blair (PI), Geoff Coulson (CI). Budget (Lancaster):€540k
FP7 IST 2008-2011
Wireless Sensor Network Testbeds (WISEBED): Project in collaboration with University of Lübeck (Coordinator), Freie Universität Berlin, Braunschweig Institute of Technology, Research Academic Computer Technology Institute (GR), Universitat Politecnica de Catalunya, Universität Bern, University of Geneva, Delft University of Technology, Lancaster University. Co-investigators (Lancaster): Geoff Coulson (PI), Utz Roedig (CI). Budget (Lancaster): €305k
FP7 IST 2008-2011
Dynamic Variability in Complex, Adaptive Systems (DIVA): Project in collaboration with SINTEF (coordinator), INRIA, Pure Systems (D), Thales, CAS Software (D). Co-investigators (Lancaster): Awais Rashid (PI), Gordon Blair (CI), John Whittle (CI). Budget (Lancaster): €608k
EPSRC 2005-2008
The Divergent Grid: Dealing with Extreme Heterogeneity and Dynamicity in Next Generation Grid Middleware. Project in collaboration with Gordon Blair (PI for Lancaster), Geoff Coulson (CI), and UCL (University College London). Total value (Lancaster's side): 256k

 Service
Conference Organisation Programme Co-Chair: 15th ACM/IFIP.Usenix International Middleware Conference (Middleware 2014)
Programme Co-Chair: 13th IFIP WG 6.1 International Conference on Distributed Applications and Interoperable Systems (DAIS-2013)
Programme Chair: Eighth European Dependable Computing Conference (EDCC-2010)
Tutorials Chair: Tenth ACM/IFIP/Usenix Int. Conf. on Middleware (Middleware 2009)
Fast-Abstract Chair: Sixth European Dependable Computing Conference (EDCC-6, 2005)
Workshop Organisation Co-organiser: 1st Workshop on Middleware and Architectures for Autonomic and Sustainable Computing (MAASC'11)
Co-organiser: 7th Workshop on Adaptive and Reflective Middleware (ARM'08)
Programme Coordinator: The 5th MiNEMA Workshop (Middleware For Network Eccentric And Mobile Applications (MiNEMA'2007)
Conference Programme Committees 42th IEEE/IFIP Int. Conf. on Dependable Systems and Networks (DSN 2012)
9th European Dependable Computing Conf. (EDCC 2012)
12th Int. IFIP Conf. on Distributed Applications and Interoperable Systems (DAIS 2012)
27th ACM Symposium on Applied Computing (ACM SAC 2012)
2012 IEEE Int. Conf. on Service Oriented Computing and Applications (SOCA 2012)
12th ACM/IFIP/USENIX Int. Middleware Conf. (Middleware 2011)
41th Annual IEEE/IFIP Int. Conf. on Dependable Systems and Networks (DSN 2011)
11th Int. IFIP Conf. on Distributed Applications and Interoperable Systems (DAIS 2011)
La 11ème Conf. Int.e sur les NOuvelles Technologies de la REpartition (NOTERE 2011)
26th ACM Symposium on Applied Computing (ACM SAC 2011)
29th IEEE Int. Symposium on Reliable Distributed Systems (SRDS 2010)
2010 IEEE Int. Conf. on Service-Oriented Comp. and Applications (SOCA 2010)
ACM/IFIP/Usenix 11th Int. Conf. on Middleware (Middleware 2010)
40th Annual IEEE/IFIP Int. Conf. on Dependable Systems and Networks (DSN 2010)
25st Annual ACM Symposium on Applied Computing (ACM SAC 2010)
10th ACM/IFIP/Usenix Int. Conf. on Middleware (Middleware 2009)
7th European Dependable Computing Conf. (EDCC 2008)
27th IEEE Int. Conf. on Distributed Computing Systems (ICDCS 2007)
Int. Conf. on Complex Open Distributed Systems (CODS 2007)
33rd Int. Conf. on Current Trends in Theory and Practice of Comp. Sc. (SOFSEM 2007)
21st Annual ACM Symposium on Applied Computing (ACM SAC 2006)
Workshop Programme Committees 10th Int. Workshop on Adaptive and Reflective Middleware (ARM 2011)
6th Workshop on Middleware for Service Oriented Computing (MW4SOC 2011)
3rd Int. Workshop on Middleware for Pervasive Mobile and Embedded Computing (M-MPAC 2011)
2nd Int. Workshop on Green Computing Middleware (GCM 2011)
Int. Workshop on Clouds for Enterprises (C4E 2011)
13th European Workshop on Dependable Computing (EWDC 2011)
4th Int. Workshop on Architectures, Services, and Applications for the Next Generation Internet (WASA-NGI 2011)
Workshop on Exception Handling in Contemporary Software Systems (EHCoS 2011)
9th Workshop on Adaptive and Reflective Middleware (ARM 2010)
2nd Int. Workshop on Middleware for Pervasive Mobile and Embedded Computing (M-MPAC 2010)
5th Workshop on Middleware for Service Oriented Computing (MW4SOC 2010)
1st Int. Workshop on Green Computing Middleware (GCM 2010)
1st Int. workshop on Validation and Verification of Dynamic Software Systems (ViDaS'10)
2009 Workshop on Middleware for Ubiquitous and Pervasive Systems (WMUPS 2009)
4th Int. Workshop on Exception Handling (WEH 2008)
8th Workshop on Adaptive and Reflective Middleware (ARM 2009)
Fifth Middleware Doctoral Symposium (MDS 2008)
Int. workshop on Middleware for Network Eccentric & Mobile Applications (MiNEMA'08)
DSN 2008 Workshop on Architecting Dependable Systems (WADS)
3rd Int. Workshop On Reliability in Decentralized Distributed Sys. (RDDS-08)
2nd Int. Workshop On Reliability in Decentralized Distributed Systems (RDDS-06)
1st Int. Workshop On Reliability in Decentralized Distributed Sys. (RDDS-07)
Workshop on Dependable Application Support in Self-Organising Networks (DASSON 2007)
Workshop on Context-Awareness and Mobility in Grid Computing (WCAMG 07)
4th Int. Workshop on Middleware for Grid Computing (MGC 2006)
1st Workshop on Software Engineering Challenges for Ubiquitous Computing (SEUC 2006)
1st Int. Workshop on Reliability in Decentralized Distributed systems (RDDS 2006)
Reviewer I have been a reviewer on major conferences and journals in distributed systems and dependability: DSN (The IEEE/IFIP International Conference on Dependable Systems and Networks), PODC (The ACM Symposium on Principles of Distributed Computing), SRDS (The IEEE Symposium on Reliable Distributed Systems), Software: Practice and Experience (journal), Concurrency and Computation: Practice and Experience (journal), IEEE TSE (IEEE Transactions on Software Engineering), MC2R (ACM SIGMOBILE Mobile Computing and Communications Review), IEEE DSO (Distributed System Online)

 Main Education
Université
de Rennes 1
(France)
Nov. 2011
HDR (Habilitation à Diriger des Recherches)
Habilitation Thesis: "Some Contributions to The Programming of Large-Scale Distributed Systems: Mechanisms, Abstractions, and Tools" obtained from Université de Rennes 1 (France). Defence panel: Anne-Marie Kermarrec (President), Laurence Duchien (Reviewer), Pascal Felber (Reviewer), Rick Schlichting (Reviewer), Jean-Charles Fabre (Examiner), Hugues Fauconnier (Examiner), and Rachid Guerraoui (Examiner).
(Defence : 17 November 2011)
LAAS-CNRS
(Toulouse, F)
Nov. 2000 - Jan. 2004
Ph.D. (Grade: Highly Honourable)
Ph.D. Thesis: "Reflection in Multi-Level Software Architecture : Application on Fault-Tolerant Systems"
Advisers: Jean-Charles Fabre (Research Director (DR), CNRS) and Marc-Olivier Killijian (Research Associate (CR), CNRS) performed at the Laboratory for Analysis and Architecture of Systems (LAAS), in the TSF Group (Dependable Computing and Fault Tolerance)
(Defence : 12th January 2004)
Universität
Stuttgart
(Germany)
1996-1998
Diplom der Informatik
Masters Studies ("Hauptstudium") in Computer Science
École Centrale Paris
(France)
1994-1996
Diplôme d'ingénieur
Masters Studies ("Ingéniorat") in Industrial Engineering
Lycée du Parc
(Lyon, F)
1992-1994
Undergraduate Studies (Mathematics and Physics Majors)

 Other Degrees
Lancaster
University
(UK)
2007
Postgraduate Certificate in Academic Practice (CAP)
This degree of 32 ECTS credits (equivalent to half a year of study) trains to teaching in higher education, both at undergraduate and graduate levels.


 
      francois.taiani@irisa.fr