Laboratorium Informatyczne Nantes Atlantique
LINA
Nantes Atlantique Computer Science Laboratory (LINA) jest przymocowany do Uniwersytetu w Nantes , w Nantes School of Mines , w CNRS i INRIA .
W 1 st styczeń 2017, LINA połączyła się z IRCCyN, tworząc Nantes Digital Sciences Laboratory (LS2N).
Historyczny
Laboratorium Informatyczne Nantes Atlantique (LINA), utworzone w 2004 r., Jest wynikiem połączenia Instytutu Badań Komputerowych w Nantes (IRIN) i wydziału informatyki Szkoły Górniczej w Nantes (ESM) . Uznany przez CNRS jako szkolenie badawcze w zakresie ewolucji (FRE) w 2004 r., Odnowiony w 2006 r. LINA stał się UMR w 2008 r. Fuzja została zainicjowana w ramach CPER 2000-2006, co dało początek unikalnemu laboratorium komputerowemu w Nantes zbudowane wokół dwóch osi badawczych: „Architektury rozproszonego oprogramowania” i „Systemy wspomagania decyzji”. W tym okresie 2000-2006 CPER przyczynił się również do ustanowienia osi Nantes-Angers (LINA-LERIA) w dziedzinie optymalizacji. Jeśli chodzi o dwubiegunowy projekt Nantes-Rennes, w 2003 r. Powstały dwa projekty INRIA poświęcone „rozproszonemu zarządzaniu danymi” i „programowaniu post-obiektowemu”. Stanowią one źródło synergii między LINA i IRISA w zakresie tematów „ zarządzania danymi ” i „ inżynierii oprogramowania ”. Dynamika związana z powstaniem LINA w dużej mierze przyczyniła się do powstania federacji badawczej AtlanSTIC (FR 2819) utworzonej w 2006 r. Przez CNRS, która obecnie łączy trzy laboratoria STIC w Nantes: IRCCyN , IREENA i LINA.
Zespoły laboratoryjne
LINA składa się z 175 członków podzielonych na 9 zespołów badawczych:
- AeLOS jest zainteresowany weryfikacją architektur oprogramowania.
- ASCOLA jest zainteresowana ogólnym problemem ewolucji oprogramowania poprzez opracowywanie koncepcji i języków do tworzenia architektur oprogramowania w oparciu o komponenty i aspekty.
- AtlanMod pracuje nad aktualnymi technikami, praktykami i zastosowaniami inżynierii opartej na modelach.
- COMBI interesuje się problematyką bioinformatyki do rozwiązywania problemów wynikających z genomiki porównawczej , biologii systemów i systemów dynamicznych .
- DUKe interesuje się inżynierią wiedzy i eksploracją danych, a także strukturalizacją i przeszukiwaniem dużych ilości danych (relacyjnych, multimedialnych).
- GDD interesuje się zarządzaniem złożonymi danymi rozproszonymi na dużą skalę.
- OPTI skupia się na kwestiach optymalizacji.
- TALN jest zainteresowany automatycznym przetwarzaniem języka naturalnego.
- TASC pracuje nad programowaniem z ograniczeniami . Odpowiada za rozwój bibliotek Choco i IBEX.
Oprogramowanie
- Choco Solver: biblioteka Java programowania z ograniczeniami integrująca wyjaśnienia, rozluźnianie ograniczeń i ograniczenia globalne. Opracowany przy pomocy laboratorium elektronicznego Bouygues i używany przez Cap Gemini, Valéo, KLS, Amadeus i Nasa.
-
ATL - język transformacji modelu ATL Zachowany w 2007 roku jako standardowy składnik Eclipse Modeling Framework i używany w dwóch europejskich projektach Modelware i Modelplex, a następnie przez aktywną społeczność około stu witryn użytkowników akademickich i przemysłowych, w tym TNI / Geensys, ILOG, Airbus , Thalès i NASA. Rozwój MŚP w Nantes Obeo związany ze sprzedażą usług i szkoleń wokół ATL poprzez ofertę ATL-PRO.
-
Unstructured Information Management Architecture (en) (UIMA): to środowisko programistyczne zbudowane na architekturze Apache UIMA jest przeznaczone do realizacji komponentów oprogramowania do automatycznego przetwarzania języka.
- Entropia: to oprogramowanie optymalizuje rozmieszczenie maszyn wirtualnych w klastrach i zmniejsza ich zużycie energii. Używa PPC (CHOCO) i zajmuje szóste miejsce (z 526) dla projektów publicznych pobranych z kuźni INRIA. Zwycięzca nagrody Green Digital Growth Award 2009.
Trening
LINA uczestniczy w szkoleniach w różnych miejscach w Nantes, aw szczególności w następujących Computer Masters:
- ALMA: architektury oprogramowania
- ORO: Optymalizacja w badaniach operacyjnych
- MIAGE: Metody IT stosowane w zarządzaniu biznesem
- BI: Bioinformatyka
- ECD: Ekstrakcja wiedzy z danych
- CCI: Uzupełniające umiejętności komputerowe (tylko Master 2)
- EMOOSE: Europejski magister inżynierii oprogramowania zorientowanej obiektowo, komponentowo i aspektowo z Ecole des Mines de Nantes.
- MDM: Multimedia and Data Management, z uczelni inżynierskiej Polytech Nantes
- DMKM: Data Mining and Knowledge Management, magister Erasmus Mundus
Kursy są prowadzone przez profesorów lub nauczycieli-pracowników naukowych Uniwersytetu lub przez specjalistów należących do firm działających w tej dziedzinie.
Linki zewnętrzne