loria presentation
TRANSCRIPT
Географічне положенням Нансі(регіон Лотарингія)
-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)
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)
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
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