Nantes Atlantique Computer Science Laboratory
LINA
Nantes Atlantique Computer Science Laboratory (LINA) on kiinnitetty Nantesin yliopisto , The Nantes School of Mines , The CNRS ja INRIA .
Klo 1. st tammikuu 2017, LINA fuusioitui IRCCyN : n kanssa Nantes Digital Sciences Laboratoryn (LS2N) luomiseksi.
Historiallinen
Vuonna 2004 perustettu Nantes Atlantique Computer Science Laboratory (LINA) on syntynyt Nantes Computer Research Institute (IRIN): n ja Nantes School of Minesin (EMN) tietojenkäsittelytieteen osaston sulautumisesta . CNRS tunnusti evoluution tutkimuksen koulutukseksi (FRE) vuonna 2004, joka uusittiin vuonna 2006, ja LINA: sta tuli UMR vuonna 2008. Tämä sulautuminen aloitettiin CPER 2000-2006: n puitteissa, mikä johti ainutlaatuiseen tietokonelaboratorioon Nantesissa rakennettu kahden tutkimusakselin, "hajautettujen ohjelmistoarkkitehtuurien" ja "päätöksenteon tukijärjestelmien", ympärille. Tänä ajanjaksona 2000-2006 CPER vaikutti myös Nantes-Angers-akselin (LINA-LERIA) perustamiseen optimoinnin alalla. Nantes-Rennes-kaksinapaan liittyen vuonna 2003 luotiin kaksi INRIA- hanketta aiheista "hajautettu tiedonhallinta" ja "objektin jälkeinen ohjelmointi". Ne ovat LINA: n ja IRISA : n välisen synergian lähtökohtana " tiedonhallinta " ja " ohjelmistotuotanto ". LINA: n luomiseen liittyvä dynamiikka vaikutti suurelta osin CNRS: n vuonna 2006 perustaman AtlanSTIC-tutkimusliiton (FR 2819) kokoonpanoon, joka tänään yhdistää kolme Nantesin STIC-laboratoriota: IRCCyN , IREENA ja LINA.
Laboratorioryhmät
LINA koostuu 175 jäsenestä jaettuna 9 tutkimusryhmään:
- AeLOS on kiinnostunut ohjelmistoarkkitehtuurien todentamisesta.
- ASCOLA on kiinnostunut ohjelmistojen evoluution yleisestä ongelmasta kehittämällä konsepteja ja kieliä ohjelmistoarkkitehtuurien rakentamiseksi komponenttien ja näkökohtien perusteella.
- AtlanMod työskentelee mallipohjaisen suunnittelun nykyisten tekniikoiden, käytäntöjen ja käyttötapojen parissa.
- COMBI on kiinnostunut bioinformatiikan ongelmista hyökkäämään vertailevan genomiikan , systeemibiologian ja dynaamisten systeemien aiheuttamiin ongelmiin .
- DUKe on kiinnostunut tietotekniikasta ja tiedonlouhinnasta sekä suurten tietomäärien (relaatio-, multimedia) jäsentämisestä ja kyselystä.
- GDD on kiinnostunut laajamittaisen jaetun monimutkaisen tiedon hallinnasta .
- OPTI keskittyy optimointikysymyksiin.
- TALN on kiinnostunut luonnollisen kielen automaattisesta käsittelystä.
- TASC työskentelee rajoitusten ohjelmoinnin parissa . Hän vastaa Choco- ja IBEX-kirjastojen kehittämisestä.
Ohjelmisto
- Choco Solver: Java-kirjasto rajoitusten ohjelmoinnista integroimalla selitykset, rajoitusten rentoutuminen ja globaalit rajoitteet. Kehitetty Bouygues-e-laboratorion avulla ja sitä ovat käyttäneet Cap Gemini, Valéo, KLS, Amadeus ja Nasa.
-
ATL ATL- mallin muuntokieli Säilytettiin vuonna 2007 Eclipse-mallinnuskehyksen vakiokomponenttina ja käytettiin kahdessa eurooppalaisessa Modelware- ja Modelplex-projektissa, jota aktiivinen yhteisö, johon kuuluu noin sata akateemista ja teollista käyttäjän sivustoa, mukaan lukien TNI / Geensys, ILOG, Airbus , Thalès ja NASA. Nantes Obeo -pk-yrityksen kehittäminen, joka liittyy palvelujen myyntiin ja koulutukseen ATL: n ympäristössä sen ATL-PRO-tarjouksen kautta.
-
Rakentamaton tiedonhallinnan arkkitehtuuri (en) (UIMA): tämä Apache UIMA -arkkitehtuurille rakennettu kehitysympäristö on tarkoitettu automaattisen kielenkäsittelyn ohjelmistokomponenttien toteuttamiseen.
- Entropia: tämä ohjelmisto optimoi virtuaalikoneiden sijoittamisen klustereihin ja vähentää niiden energiajalanjälkeä. Se käyttää PPC: tä (CHOCO) ja sijoittuu kuudenneksi (526: sta) julkisiin hankkeisiin, jotka on ladattu INRIA-takomosta. Vuoden 2009 Green Digital Growth Award -palkinnon voittaja.
Koulutus
LINA osallistuu koulutukseen Nantesin eri paikoissa ja erityisesti seuraaville tietokonemestareille:
- ALMA: Ohjelmistoarkkitehtuurit
- ORO: Optimointi operatiivisessa tutkimuksessa
- MIAGE: Yritysjohtamiseen sovelletut IT-menetelmät
- BI: Bioinformatiikka
- ECD: Tietojen poiminta tiedoista
- CCI: Täydentävät tietotekniikkataidot (vain Master 2)
- EMOOSE: European Master in Object-, Component- and aspekt-Oriented Software Engineering, Ecole des Mines de Nantes.
- MDM: Multimedia ja tiedonhallinta, Polytech Nantesin yliopiston insinöörikoulusta
- DMKM: tiedonlouhinta ja tiedonhallinta, Erasmus Mundus master
Kursseja antavat joko yliopiston professorit tai opettajatutkijat tai alan yrityksiin kuuluvat ammattilaiset.
Ulkoiset linkit