Vacanță plăcută și „La mulți ani!”

Vă urăm vacanță plăcută și tradiționalul La mulți ani!

La mulți ani!

Anunțuri
Publicat în FII. Etichete: , , . 1 Comment »

Metode formale în ingineria software la FII

Sigla Facultății de Informatică din IașiArticolul de față prezintă o serie de cercetări aliniate cu precădere problematicilor informaticii teoretice în ceea ce privește ingineria software.

Astfel, prezentăm două dintre proiectele grupului Formal Methods in Software Engineering inițiat și condus de profesorul Dorel Lucanu. Alți membri ai grupului sunt profesorul Gheorghe Grigoraș și studenții doctoranzi Ionuț Apetrei, Măriuca Asăvoae și Mihail Asăvoae, plus masterandul Andrei Arusoaie.

Verificare automată prin circularități
Sigla FMSE (Formal Methods in Software Engineering)

Proiectul CIRC (demarat în 2007 pe o perioadă de trei ani) își propune să extindă sistemul Maude cu un motor de demonstrare construit în jurul coinducției circulare și a implementării circulare a inducției structurale. Unul dintre scopuri îl reprezintă investigarea manierei în care noul mediu – o alternativă la metodele actuale bazate pe model-checking și analiză statică a programelor – poate fi utilizat la verificarea automată de software și a specificațiilor de sisteme.

CIRC este un demonstrator automatizat, implementat în Full Maude, ca o extensie comportamentală a sistemului Maude. De asemenea, CIRC moștenește atât performanța, cât și instrumentele de analiză ale întregului sistem Maude. Demonstratorul utilizează proprietatile logicii rescrierii (rewriting logic) în ceea ce privește introspecția și lucrul la meta-nivel.

O versiune online a demonstratorului poate fi obținută vizitând pagina UIUC destinată CIRC.

Colaboratorii la acest proiect sunt Formal Systems Laboratory din cadrul University of Illinois, Urbana-Champaign și Centrum voor Wiskunde en Informatica, Vrije Universiteit Amsterdam.

DAK: proiectare, specificarea semanticii și analiză software

Principalul obiectiv al proiectului DAK este dezvoltarea unui framework (cadru de lucru) formal pentru proiectarea, specificarea semanticii și analiza software. Ideea nouă introdusă de acest proiect este aceea că activitățile principale din cadrul dezvoltarii software (limbaje sau sisteme noi) sunt realizate utilizând același framework.

Obiectivul este atins prin recurgerea la specificații algebrice și executia lor prin rescriere. Ideea de bază este de a construi semantica limbajelor de programare într-o manieră uniformă și de a o utiliza pentru a obține instrumente de analiză: model checking, verificare run-time, verificare bazată pe demonstratoare de teoreme, testare, analiză comportamentală etc.

Proiectarea și implementarea framework-ului sunt realizate de o echipă formată din membri ai Facultății de Informatică din Universitatea „Alexandru Ioan Cuza” (UAIC) și de membri ai Laboratorului de Sisteme Formale din Universitatea Illinois din Urbana-Champaign (UIUC), coordonată de Grigore Roșu – profesor asociat la UAIC și profesor permanent la UIUC.

Alte direcții de cercetare în cadrul FII au fost descrise în cadrul însemnărilor anterioare De la identificarea de microARN la detecția de malware și De la procesarea limbajului natural la ‘Bring IT on’.

Evenimente studențești de iarnă

Vacanța de iarnă care se apropie – revezi structura anului universitar curent – poate fi o perioadă propice pentru a considera participarea la următoarele evenimente destinate studenților informaticieni:
Facultatea de Informatică: FII la concurs

  • a doua ediție AI-MAS Winter Olympics 2011, un concurs dedicat aplicațiilor în inteligența artificială – detalii; prima etapă este planificată pe 19 decembrie, iar finala va avea loc la București, în perioada 19–20 februarie;
  • compania Facebook propune Facebook Hacker Cup, competiție destinată programatorilor a cărei primă rundă va începe pe data de 7 ianuarie – înscrierile demarează pe data de 20 decembrie;
  • Firefox Mobile Add-ons Cup este o competiție ce vizează dezvoltarea unei extensii pentru navigatorul Mozilla Firefox specifică dispozitivelor mobile – termen-limită: 7 ianuarie;
  • 16th Estonian Winter School in Computer Science – EWSCS’11, o școală de iarnă care va avea loc la Palmse (Estonia) în perioada 27 februarie—4 martie, termenul de înscriere fiind 14 ianuarie;
  • 2011 IEEE Winter School of Information Theory, eveniment preconizat să se desfășoare în intervalul 14—18 martie în Barcelona.

De asemenea, studiați anunțurile privind concursurile pentru studenți expuse de blog-ul FII Student și consultați secțiunea Noutăți și burse în străinătate oferită de situl UAIC.

Publicat în concurs, eveniment. Etichete: , , , , , , , , , , . Comentarii închise la Evenimente studențești de iarnă

FII la Olimpiada Internațională Online de Matematică MO-Ariel

Sigla Facultății de Informatică din IașiA devenit o tradiție ca studenții FII să participe la Olimpiada Internațională Online de Matematică organizată de Ariel University Center of Samaria din Israel.

Ediția din acest semestru – reprezentând un concurs pe echipe compuse din 4 persoane – va avea loc pe data de 14 decembrie, începând cu ora 10. Facultatea de Informatică va fi reprezentată de 13 echipe (încluzând un număr de 32 de studenți din anul I, 17 din anul II și 3 din anul III) selectate și îndrumate de profesorul Florin Iacob.

Selecția la nivel de facultate a studenților participanți s-a desfășurat pe data de 3 decembrie.

Instantanee ale premierii medaliaților MO-Ariel

Amintim rezultatele obținute în anul universitar trecut (edițiile din decembrie 2009 și, respectiv, aprilie 2010), menționate în notițele Noi medalii la Olimpiada Internațională Online de Matematică MO-Ariel și Medalii de aur, argint și bronz obținute de echipele FII la Olimpiada Online de Matematică MO-Ariel.

Le ținem pumnii și de această dată, dorindu-le baftă!

Publicat în concurs, echipa, FII. Etichete: , , , , , , , . Comentarii închise la FII la Olimpiada Internațională Online de Matematică MO-Ariel

Using Microsoft Academic Program 2010 (11 decembrie, 12h, C309)

Using MAP 2010
Echipa Microsoft Student Partners din Facultatea de Informatică invită studenții să participe la tradiționalul eveniment anual Using Microsoft Academic Program.

Principalele subiecte de interes sunt:

  • rolul și facilitățile oferite de programul Microsoft Student Partners;
  • competiția internațională Imagine Cup 2011 și relatarea absolventului Adrian Buzgar despre cum echipa Sytech a câștigat cupa Imagine Cup 2009;
  • realizarea de jocuri cu XNA, studentul Adrian Popovici (anul II) detaliind și activitățile din acest semestru ale grupului FIIGamedev din facultate;
  • implementarea de aplicații Web pe baza ASP.NET MVC – prezentator fiind Dinu Suman (anul II);
  • soluțiile vizând cloud computing oferite de Windows Azure, o expunere susținută de masterandul Alin Alexandru.

Evenimentul va avea loc sâmbătă, 11 decembrie, în intervalul 12:00—15:00, în sala C309.

Vă invităm să participați!

P.S. La pauză, nelipsitele gogoși! 😉

De la procesarea limbajului natural la ‘Bring IT on’

Sigla Facultății de Informatică din IașiInițiat și coordonat de profesorul Dan Cristea, în facultate își desfășoară activitatea grupul dedicat domeniului prelucrării limbajului natural (NLP – Natural Language Processing) și al lingvisticii computaționale (computational linguistics).

Unul dintre proiectele FII de anvergură este eDTLR – Dicționarul Tezaur al Limbii Române în format electronic.

eDTLR reprezintă un proiect finanțat și derulat între septembrie 2007 și decembrie 2010. Proiectul și-a propus realizarea formatului electronic al marelui Dicționar al Limbii Române, lucrare de o însemnătate colosală pentru cultura românească, efectuată de Academia Română pe parcursul unui secol (finalizat în formatul tipărit în 2010).

O primă parte a proiectului a inclus următoarele operații:

  • scanarea volumelor (care nu au fost culese pe calculator la momentul realizării lor),
  • transformarea lor în text editabil,
  • corectarea lor (operație realizată de voluntari, prin intermediul unui sit Web, și apoi de către experți lexicografi),
  • depistarea automată a câmpurilor intrărilor de dicționar,
  • reprezentarea conținutului în format XML (conform standardelor de dicționar TEI-P5),
  • realizarea accesului la informațiile marcate în XML via interfața Web dedicată utilizatorilor.

A doua parte a vizat scanarea bibliografiei (doar volumele neprotejate de legea drepturilor de autor – aproximativ 1200 de volume, din cele aproape 3000 din care s-au extras citatele) și realizarea legăturilor dintre citate și paginile de carte (format imagine). Acest aspect va permite accesul din citate direct în originalul surselor. FII speră că Academia Română să-și dea acordul pentru ca accesul la eDTLR să fie oferit publicului larg, gratuit.

Parteneri în proiect sunt Universitatea “Alexandru Ioan Cuza” Iași, cu Facultatea de Informatică (coordonatoare) și Facultatea de Litere, plus Academia Română, cu diverse institute de cercetare din București, Cluj-Napoca și Iași.

Un alt proiect european de cercetare, aflat în derulare, este ALEAR care are drept scop studiul evoluției limbajului folosind roboți autonomi.

În cadrul proiectului există două componente majore: una de birotică, realizată de echipe de la universităţile Humboldt (Berlin) şi Osnabrück, ambele din Germania, și o componentă pentru studiul evoluției limbajului, la care contribuie echipe de cercetători din Paris, Bruxelles, Murcia (Spania), Valencia și Iași. Modelul conceptual pentru studiul evoluției limbajului este reprezentat de gramatici de construcție (Construction Grammars). Acestea pun accentul pe de o parte pe o legătura structurală foarte strânsă între sintaxă și semantică și, pe de altă parte, pe bidirecționalitate în funcționarea gramaticii – procesare (parsing) şi generare. Aceste caracteristici impun „designerului” de gramatică o disciplină foarte riguroasă: fiecare regulă trebuie să fie astfel concepută încât ea să fie folosită atât la procesare, cât și la generare, iar cele două procese să fie (pe cât posibil de mult) unul inversul celuilat.

Una dintre activități este cea de a explora „învățabilitatea” (learnability) unor astfel de gramatici. Această caracteristică se referă la posibilitatea extinderii automate a unei gramatici de construcție pe baza unor aşa-numite jocuri de limbaj, care constau în dialoguri purtate de roboţi umanoizi operând cu gramatici diferite. O altă parte a proiectului vizează studierea modalităților de gestionare optimă a memoriei de către roboții umanoizi.

Bring IT on

Bring IT on! (10 decembrie, ora 10, în Sala Pașilor Pierduți — UAIC)

Cu această ocazie, semnalăm faptul că o parte dintre numeroasele proiecte ale Facultății de Informatică – unele dintre ele realizate în colaborare cu studenți, masteranzi și doctoranzi – vor fi etalate vineri, 10 decembrie, începând cu orele 10:00, în Sala Pașilor Pierduți a UAIC, în cadrul evenimentului Bring IT on – atelier de lucru pentru prospectarea conexiunilor dintre cercetarea în informatică și industrie.

Scopul acestui workshop este cel de a face cunoscute mediului de afaceri românesc, dar și colegilor din alte unități de cercetare universitară, posibilitățile de investiții generate de cercetările în IT desfășurate la FII.

Consultați lista proiectelor FII care vor fi expuse și prezentate la evenimentul Bring IT on.

Cum este să FII student Erasmus?

Patru dintre actualii studenți beneficiari ai unei mobilități Erasmus au avut amabilitatea să relateze diverse aspecte legate de experiențele unor astfel de burse în străinătate.

Sigla Facultății de Informatică din IașiPrezentăm mai jos impresiile împărtășite de:

  • studenții din anul al treilea Adrian Berilă (AB) și Cristian Chiric (CC) – ambii plecați la Universitatea Konstanz din Germania;
  • Bogdan Gâza (BG) – student în anul II și aproape de finalul studiilor semestriale la Université Lille 1: Sciences et Technologies, Franța;
  • Irina Magdici (IM) – studentă în anul terminal al studiilor de licență, aflată în prezent la Escuela Tehnica de Ingenierias Informatica y Telecomunicacion, Universidad de Granada din Spania.

Ce obiecte sunt incluse în planul de studiu? Ne-ar interesa mai ales cele care nu apar în curricula noastră

  • IM: Toate materiile studiate la facultatea gazdă sunt de profil informatic: inteligență artificială și ingineria bazelor de cunoștințe, programare declarativă (Prolog), design de interfețe-utilizator, algoritmică, tehnologii de programare (Xlib, Qt, Java Swing sub Linux), sisteme multimedia (realizarea unei aplicații multimedia în Java Swing) – n.r. proiectarea interfețelor-utilizator se studiază la FII în cadrul obiectului Interacțiune om-calculator predat la master.
  • BG: Majoritatea materiilor alese sunt cele studiate la FII (pentru a facilita echivalarea), dar există un curs special doar pentru compilatoare (COMPIL) și un curs de algoritmi unde jumătate de semestru am învățat despre programare liniară – s-ar putea, totuși, ca această materie să se facă la FII în anul 3 la TPAA – Tehnici de proiectare și analiză a algoritmilor.
  • AB: Data Mining: Foundations – e vorba în principal despre statistică (n.r. la facultatea noastră, asemenea subiect face parte din cadrul conținutului disciplinei Învățare automată – inclusă în planul de învățământ de la studii de master la toate specializările).
Oana Călin, Irina Magdici, Anca Ailioaei

Oana Călin, Irina Magdici, Anca Ailioaei — cosmonaute FII pe planeta burselor Erasmus

Care ar fi aspectele insolite privitoare la efectuarea mobilității?

  • CC: Sistemul de notare este de la 1 la 6, 1 fiind cea mai bună notă. Temele se upload-ează pe platforma software ILIAS. Această platformă dispune de mai multe facilități: profesorii își stochează aici cursurile și exercițiile pe care trebuie să le facem, rezolvările la exerciții, iar eu ca student îmi transfer rezolvările. Dacă deadline-ul trimiterii soluției unui exercițiu este depășit, ILIAS nu mai permite upload-area rezolvării pentru acel exercițiu (bineînțeles că am fost avertizat la început și până acum n-am încălcat nici un termen-limită). Cu materiile predate în limba engleză nu am probleme. Iar pentru cele care sunt în limba germană, o fată s-a oferit să îmi traducă în engleză :).
    Sistemul de evaluare e asemănător cu cel de la FII: pentru a intra în examen, trebuie să obținem cel puțin jumătate din punctajul total al temelor rezolvate pe parcurs.
  • BG: Inamicul principal al francezilor nu sunt germanii, ci englezii. Orice denumire consacrată din informatică este tradusă în franceză, iar tastaturile AZERTY pot fi foarte ciudate la început.
    Universitatea are un campus foarte mare în afara orașului, existând transport în comun ce funcționează și noaptea. Orașul Lille se află la distanțe aproximativ egale de 4 capitale europene – unde se desfășoară foarte multe evenimente interesante (conferințe, întâlniri de user groups și altele).
  • IM: Am creat un blog disponibil la adresa http://irina-magdici.blogspot.com/ conținând relatări cu privire la diverse evenimente din timpul mobilității.
  • AB: Am avut ocazia să călătoresc în numeroase locuri ieftin prin programul pentru studenții Erasmus oferit de universitatea de aici.

Ce experiențe negative ai întâmpinat?

  • BG: Datorită situației internaționale actuale, în Franța este posibil să te găsești puțin discriminat atunci când spui că ești din România. Oricum, lumea este deschisă studenților care se implică și vor să învețe.
  • IM: Singura experiență negativă trăită până în prezent: am subestimat frigul din această zonă. Colegii și profesorii sunt foarte ospitalieri, nu am întâmpinat până în prezent situații excepționale: asist la cursuri și seminarii, odată ce am reușit să stăpânesc limba (fără studii anterioare, o lună este suficientă pentru exprimare în spaniolă) pot participa activ, lucrez și predau proiecte etc.
  • AB: Nu am întâmpinat nici o dificultate… poate limba a fost un mic impediment, dar m-am descurcat tot timpul în engleză.

Ai repeta experiența unei mobilități pe parcursul facultății? De ce?

  • CC: Cu siguranță aș repeta această experiență, deoarece am ocazia să îmi fac prieteni de prin toată lumea (deja am fost invitat acasă la un prieten în Thailanda), să-mi îmbunătățesc limba engleză și să învăț o nouă limbă străină (în cazul de față, germana).
  • IM: Desigur, aș repeta experiența indiferent de maniera de finanțare. Am încredere că mă pot adapta oricărei situații și, în plus, vin în contact cu obiecte diferite de cele pe care le studiez la facultatea de origine.
  • AB: Da, poate un master aici.
  • BG: Aș repeta oricând o astfel de mobilitate, oferă oportunități extraordinare. Mobilitatea mea se aproprie de sfârșit, așa încât aș vrea să încerc și altă țară în afară de Franța.

Ce alte observații, sfaturi, păreri ar fi de oferit cititorilor?

  • IM: Limba engleză nu ajută în Spania: pentru a fi apreciat de colectivul de aici, este necesară exprimarea în limba spaniolă. Este apreciată participarea activă și deschiderea afectivă către profesor (mulți dintre profesori – cei mai puțin în vârstă – preferă să fie numiți cu numele mic, fără titluri de politețe). Lucrările practice (laboratoarele) se folosesc pentru a solicita opinii/ajutor/sfaturi de la profesor, iar proiectul efectiv este lucrat în timpul lor sau acasă. Proiectele de la obiectele pe care le studiez sunt toate de natură practică (nu se dau probleme teoretice, ci se cere design/implementare de diverse jocuri și situații care să aplice anumiți algoritmi, euristici, concepte predate etc.).
  • CC: Aici toata lumea este corectă și punctuală. Cei în vârstă nu vorbesc engleza deloc și sunt foarte reci cu străinii; în schimb, majoritatea studenților și a profesorilor vorbesc limba engleză și sunt foarte săritori. Pentru studenți: singurul aspect care nu-mi place aici sunt petrecerile nemților; în schimb, fetele sunt foarte drăguțe (majoritatea blonde cu ochii albaștri).
  • AB: Suplimentarea fondurilor este binevenită.
  • BG: O inițiativă națională a francezilor este de a organiza Nuit de L’Info – un concurs având mulți sponsori din industrie unde echipe de studenți concurează timp de 12-24h în crearea unei aplicații Web (asemănător cu open-ul de la concursul InfoEducație). Ar fi foarte interesant să vedem astfel de concursuri între studenți organizate și în țară.

Bogdan Gâza pe Twitter

O serie de amănunte referitoare la maniera de obținere a burselor de studiu în străinătate pot fi parcurse în cadrul însemnărilor Mobilități Erasmus de studii pentru anul universitar 2010-2011 și Rezultatele selecției de mobilități Erasmus, nivelul licență în informatică.

Amintim, de asemenea, faptul că profesorul Vlad Rădulescu este coordonator Erasmus la nivel de facultate, iar profesorul Cormin Vârlan are ca responsabilitate facilitarea efectuării stagiilor de practică pe parcursul vacanței de vară în cadrul inițiativei Erasmus LLP (Life-long Learning Programme).