LORIA (UMR 7503)

www.loria.fr

Географічне положенням Нансі(регіон Лотарингія)

-75 хвилин від Страсбургу- 3 години від Франкфурта-на-Майні

-90 хвилин від Люксембурга

ПарижСтрасбургНанси

1г30хввід

Парижу (потягом)

Нансi (Францiя)

• населення : близько 105 000 мешканців• студенти: 52 478 на 2013 р.• 7540 зарубіжні студенти (137 національностей).

•Місто досягло свого розквіту у 19 столітті із Станіславом Лещинським, двічі королем Польщі, народженим у Львові .

A few facts• 30 research teams, 14 being joint INRIA project-teams

• 450 members in 2015– 170 researchers

• CNRS, Inria, • University faculty members

– 14 members of administrative and technical staff– 120 PhD students– 30 post-doctorants– 30 engineers– 50 internships– Visitors

3

LORIA (UMR 7503)

Context

LORIA : 5 departments, 30 teams

5

D1 : Algorithms, Computation, Image and Geometry (Sylvain Lazard) ABC, ADAGIo, ALICE, CARAMBA, MAGRIT, VEGAS

D2 : Formal Methods (Horatiu Cirstea) CARTE, CARBONE, PESTO, DEDALE, MOSEL, PAREO, TYPES

D3 : Networks, Systems and Services (Ye-Qiong Song)COAST, MADYNES, ORCHIDS, OPTIMIST

D4 : Knowledge and Language Management (Bruno Guillaume) CELLO, ORPAILLEUR, MULTISPEECH, QGAR, READ, SMarT, SEMAGRAMME, SYNALP

D5 : Complex Systems, Artificial Intelligence and Robotic (Patrick Hénaff)CAPSID, CORTEX (BISCUIT) , KIWI, LARSEN, NEUROSYS

Inside UDL

6

Department 2Formal Methods

Department 1Algorithms & Computation

Department 5Complex Systems AI

& Robotics

Department 4Automatic Knowledge and

Language Processing

Department 3Systems, Networks, &

Distribution

Pôle AM2i

FédérationCharles Hermite

IECLMathematics lab

CRANSystem control lab

ATILF

MSH

CHU

INIST

LEMTA

LIEN

Inside Region of Lorraine

7

Department 2Formal Methods

Department 1Algorithms & Computation

Department 5Complex Systems & AI

Department 4Automatic Knowledge and

Language Processing

Department 3Systems, Networks, &

Distribution

Research platformsSmart Room (D2,D3,D5)Grid Computing (D1,D2,D3)Robot platforms (D3,D5)High Security Lab (D2,D3) TALC (D4, ATILF, INIST)MBI (D4,D5)

Scientific Departments

D1 - Algorithmic, Computation, Image and Geometry

Sylvain LAZARD (DR Inria)6 teams : ABC, ADAGIO, ALICE, CARAMEL, MAGRIT, VEGAS39 permanent members

– Statistical learning theory– Discrete geometry & combinatorics– Cryptography– Exact arithmetic– Computer Graphics– 3D geometric algorithms– Augmented reality

9

ERC GOODSHAPEERC SHAPEGORGECAD, oil exploration

Géométrie discrèteDécoupe des arbres

Cooperation CHUVision: positionnement et reconstructionComment voir la graisse ?

GNU MPFRCryptanalyse Integer factorisationCluster pour la crypto

Easy DNA Modeling and More with GraphiteLifeExplorer. Realistic illustration of the interior of an E. coli bacterial cell

D2 : Formal methodsHoratiu CIRSTEA (Professor UL)

7 teams : CARTE, CARBONE, PESTO, DEDALE, MOSEL, PAREO, TYPES28 permanent members

1. Logics, semantics and computability2. Design methodology for systems3. Security of software systems

10

ERC PROSECUREElectronic vote

High security labAnti-VirusANR avec le CEA (sécurité)

TOMveriT solver, SMT solverVerifiaction of disstributedsystems

Pacemaker verificationHigh security lab

D3 : Networks, Systems and ServicesYe-Qiong SONG (Professor UL)

4 teams : MADYNES, OPTIMIST, ORCHIDS, COAST32 permanent members

1. Management and cooperation of large networks and computing2. Performance

11

Internet of the future

Platforms• Grid5000• LHS• Smart Room

Automotive industry

Simgrid

ICT Labs

RealTime-at-Work

D4 : Automatic Knowledge and Language Processing

Bruno GUILLAUME (CR Inria)8 teams : CELLO, ORPAILLEUR, PAROLE, QGAR, READ, SEMAGRAMME, SMarTand SYNALP42 permanent members

1. Knowledge discovery and reasoning2. Natural languages processing3. Document analysis

12

ERC Hans van Ditmarsch

Serious games

OSEO DOD

J-SnooriTête parlante

Platforms• TALC• MBI

OrtolangISTEX

Taaaable

Harmonic Pharma, BioprolorAcquisition and merging of multimodal data

D5 : Complex systems and artificial intelligencePatrick HENAFF (Professor UL- Mines Nancy)

5 teams : CAPSID, CORTEX (BISCUIT), KIWI, LARSEN, NEUROSYS 28 permanent members

1. Interacting systems in relation with human2. Interacting systems across multiple layers of abstraction3. Neural networks and bioinspired systems4. Robotics5. Signal analysis and processing

13

Platforms• MBI• Robots• Smart room

14

3 transverse axes of research

CYBERHEALTH

SECURITY

CYBERPHYSICAL SYSTEMS

Four main application domains• Natural language processing and knowledge reasoning (LORIA, ATILF, INIST)

– Speech processing– Natural language processing– Web semantics – Intelligent systems– Document processing

• Medicine, Health, Life Science and biology– Analysis of biological data– Modeling of biological systems– Health monitoring and assistant leaving– Assistive and Interactive robotics

• Energy :– Smart Grid

• Security– Security in large-scale decentralized applications– Protocol and software security

15