FII admis la doctorat — rezultate

În urma desfășurării concursului de admitere la Școala Doctorală FII care a avut loc în data de 22 septembrie, au fost admise următoarele persoane:

Infoiasi Excelsior

  1. Arusoaie G. Andrei
  2. Benchea A. Mihai-Răzvan
  3. Bogdănas A. Denis
  4. Gozman (Munteanu) C. Alina-Cristina
  5. Ignat T. Eugen
  6. Liță A. Cătălin-Valeriu
  7. Macoveiciuc C. Monica
  8. Mardari (Pistol) L. Laura
  9. Mereuță I. Radu-Adrian
  10. Mitocariu C. Elena
  11. Necula G. Emilian-George
  12. Necula G. Raluca-Iulia
  13. Panainte E. Dan
  14. Panu S. Andrei
  15. Simionescu V. Radu
  16. Tulceanu P. Violeta

Felicitări și mult succes!

Candidați declarați respinși:

  1. Gergely A.A. Adam-Mihai
  2. Popa G.G. Horia-Mihai
Postat in FII. Etichete: , , , , . Comentariile sunt închise pentru FII admis la doctorat — rezultate

FII la doctorat — Admiterea 2011 la Școala Doctorală în Informatică

Sigla Facultății de Informatică din IașiA urma o carieră academică? Pasiune pentru cercetare aplicativă și/sau teoretică în informatică? Dorința de-a desăvârși studiile?

Absolvenții studiilor de master – și nu doar ei – pot fi interesați de informațiile referitoare la admiterea din acest an la Școala Doctorală a Facultății de Informatică:

Infoiasi Excelsior

  • tematici principale – pot fi propuse și alte teme de cercetare, în urma discuției cu actualii conducători de doctorat:
    1. Criptografie,
    2. Metode de optimizare inspirate din natură,
    3. Metode formale aplicate în ingineria software (specificare, verificare, testare, analiză statică, modelare etc.) și în Web-ul semantic,
    4. Sisteme expert și prelucrarea limbajului natural;
  • număr de locuri: 15 (la buget, fără bursă) + 10 la taxă;
  • calendar de înscriere: 15, 16, 19, 20 septembrie 2011;
  • selecția candidaților: 22 septembrie 2011.

Concursul de admitere la studii doctorale va consta dintr-o probă scrisă (Direcții de cercetare actuale în informatică – particularizare pentru domeniile de interes) și dintr-o probă orală: Dezvoltarea unei teme de cercetare.

Alte informații – incluzând detalii referitoare la resurse bibliografice, taxe, acte necesare etc. – sunt disponibile în cadrul secțiunii Admitere 2011 la școala doctorală a sitului Web al facultății noastre. De asemenea, de interes pot fi amănuntele referitoare la doctorat oferite de situl admitere.uaic.ro.

Suplimentar, puteți contacta Secretariatul Școlii Doctorale – în speță doamna Lavinia Pîrîu.

Școala de vară doctorală ECODAM 2011

Așa cum am anunțat anterior, în perioada 21—26 iunie a avut loc Școala de vară doctorală ECODAM (Doctoral Summer School on Meta-heuristics in optimization and intelligent data analysis and Evolutionary Computing in Optimisation and Data Mining), eveniment inițiat în anul 2006 de profesorul Henri Luchian și co-organizat de Facultatea de Informatică, UAIC Iași și de compania SIEMENS. Școala ECODAM este destinată cu precădere studenților doctoranzi interesați de tehnicile de optimizare și de analiză inteligentă a datelor.

Școala de vară ECODAM 2011

Școala de vară ECODAM 2011 — dialoguri

Invitații speciali ai acestei ediții au fost:

  • Hussein Abbass (School of Engineering and Information Technology, Canberra, Australia)
  • Dan Dumitrescu (Universitatea Babeș-Bolyai, Cluj, România)
  • Sorin Istrail (Department of Computer Science, Brown University, Providence, Rhode Island)
  • Dan Simovici (Department of Computer Science, University of Massachusetts, Boston, Massachusetts, USA)
  • Daniel Stamate (Department of Computing, Goldsmiths College, University of London, UK)
  • Daniela Zaharie (Universitatea de Vest din Timișoara, România)

De asemenea, alături de prezentări ale studenților doctoranzi participanți, în cadrul școlii de vară a avut loc și susținerea publică a tezei de doctorat Hybrid Metaheuristics for Solving Constraint Satisfaction Problems elaborată de asistenta Mădălina Ioniță (Rășchip).

Spicuim din interviurile luate vorbitorilor invitați disponibile în așa-numitele daily feeds distribuite în formă tipărită participanților:

  • Profesorul Hussein Abbas – care a prezentat, printre altele, un subiect deosebit de interesant despre evolved future: „We don’t look at describing the future. We’re looking at what we have today, which may influence the shape of the future.
  • „Întotdeauna am apreciat succesul informaticii (Computer Science) în soluționarea problemelor privind fizica și biologia. […] Nu putem evolua fără o înțelegere fină a modelelor computaționale.” — profesorul Sorin Israil
    O prezentare în cadrul ECODAM 2011

    O prezentare în cadrul ECODAM 2011

  • Profesorul Henri Luchian apreciază că există multiple beneficii pentru doctoranzii care participă la Școala doctorală ECODAM: „în primul rand, ei iau contact cu unele dintre cele mai importante personalități ale domeniului. Cunoscând asemenea persoane, interacționând cu acestea, participând la expunerile oferite — o importantă oportunitate reprezentând una dintre componentele esențiale de a fi inițiat în cercetarea științifică. Eventual, astfel de interacțiuni pot conduce la colaborări în cadrul unor proiecte de cercetare sau idei de articole. […] Pur și simplu, nu poți rata un astfel de eveniment.”
  • Profesorul Dan Simovici a afirmat că este printre puținele persoane care sunt plătite să facă ceea ce le place. La întrebarea privind opinia domniei sale privind FII, răspunsul tranșant a fost „I was impressed by the faculty’s quality. […] Almost all the teachers here have been my students and it’s a pleasure and it makes me proud to see what they have built; they are well known people.
  • Profesorul Daniel Stamate, unul dintre absolvenții FII, a declarat: „În România, oamenii sunt focalizați asupra aspectelor teoretice ale informaticii, pe când în străinătate cercetătorii sunt mai mult orientați pe aspectele practice și aplicabilitate și de aceea absolvenții din țările vestice își folosesc abilitățile într-o mai bună manieră.”
  • Opinia profesoarei Daniela Zaharie este că studentele se pot bucura de succes în domeniul informaticii deoarece „mintea lor este mai analitică și ele pot să imerseze mai bine într-un mediu de programare.”

Consultați programul evenimentului, fotografiile și istoricul edițiilor anterioare.

Nu în ultimul rând, trebuie amintiți organizatorii ECODAM 2011: profesorii Henri Luchian, Vlad Rădulescu, Lenuța Alboaie, Mihaela Breabăn și Corina Forăscu, plus studenții FII voluntari Sabina Bolboceanu, Victor Panaite, Adriana Șchiopu, Ioana Iordachi, Mihaela Ghimiciu, Alexandru Blaga, Iordan Rață, Giovanni Savioli și Andrei Gheorghiu.

FII în vacanță — școli de vară

Pentru că anul universitar curent s-a încheiat, propunem participarea la o serie de evenimente ce vor avea loc pe parcursul vacanței de vară:

  • Școala de vară doctorală ECODAM (Doctoral Summer School on Meta-heuristics in optimization and intelligent data analysis and Evolutionary Computing in Optimisation and Data Mining) a ajuns la ediția a șasea, fiind co-organizată de Facultatea de Informatică, UAIC Iași și de compania SIEMENS. În perioada 21—26 iunie, invitații speciali vor prezenta cu precădere studenților doctoranzi aspecte privind tehnicile de optimizare și de analiză inteligentă a datelor;
  • Școala de vară IP Workshop care va avea loc la Călimănești în perioada 28 iulie—10 august; printre cursurile propuse se numără cele referitoare la grafică, programare Web și dezvoltarea de aplicații pe dispozitive mobile;
  • Competiția Carpathian Adventure 2011 este o provocare de aventură în natură desfășurată în perioada 10—14 august, prin care pasionații de sport pot închega echipe, lega prietenii și întrece în numeroase activități realizate în munții Apuseni;
Școala de vară "Informatica la Castel" (Arad, 29 august—03 septembrie 2011)

Școala de vară "Informatica la Castel" (Arad, 29 august—03 septembrie 2011)

  • Școala de vară „Informatica la Castel” este organizată de Facultatea de Informatică din cadrul Universității de Vest „Vasile Goldiș” din Arad, în colaborare cu FII și Grupul utilizatorilor de Linux din Arad (ARLUG), fiind destinată cu precădere pasionaților de Linux și tehnologii open source; ediția 2011 va avea loc castelul Macea (20 km de municipiul Arad) între 29 august şi 03 septembrie – a se parcurge și relatarea despre participarea studenților FII la ediția din 2010;
  • A zecea ediție a tradiționalului eveniment EUROLAN, școală de vară destinată tuturor pasionaților (în special masteranzi și doctoranzi) de procesarea limbajului natural și domeniile conexe; EUROLAN 2011 – purtând subtitlul Natural Language Processing Goes Industrial – se va desfășura la Cluj-Napoca, în perioada 28 august—4 septembrie.

Vă invităm să participați!

Alte oportunități pentru studenții la informatică

Menționăm o serie de noi evenimente, concursuri și posibilități de efectuare de stagii în domeniul informaticii:

Facultatea de Informatică: FII la concurs

Suplimentar, (re)parcurgeți însemnarea anterioară Oportunități pentru studenții informaticieni (primăvara 2011).

Ca de obicei, vă urăm spor la treabă!

Postat in concurs, initiative. Etichete: , , , , , , , , , , , , , , . Comentariile sunt închise pentru Alte oportunități pentru studenții la informatică

Dezvoltarea sistemelor software complexe cu IBM Rational

Sigla Facultății de Informatică din IașiÎn zilele de 30 și 31 martie vor avea loc în sala C308 o serie de prelegeri privind utilizarea tehnologiilor IBM Rational pentru dezvoltarea sistemelor software complexe.

Acest eveniment îl are ca invitat pe Eugen Pâslaru (Rational Technical Sales Specialist la compania IBM).

Programul prezentărilor – la care sunt invitați să participe în special studenții la studii de doctorat și masteranzii FII interesați de inginerie software, servicii Web și/sau aplicații de tip enterprise – este următorul:

  • miercuri, 30 martie

     09:00 - 09:45: Problematica sistemelor software complexe
     10:00 - 11:45: Managementul ciclului de viață al sistemelor complexe, sisteme business
     12:00 - 12:30: BPM - Ciclul de viață al proceselor de business - Perspectivă de dezvoltare
     13:45 - 14:45: Modelare, Analiză, Definire cerințe
     15:00 - 15:50: Managementul cerințelor, Planificare
    
  • joi, 31 martie
     09:00 - 09:45: Managementul calității sistemelor software, Testare
     10:00 - 10:50: Dezvoltarea sistemelor orientate pe servicii (SOA), 
                              Ciclul de viață axat pe faza de dezvoltare - tehnologii Rational
     11:00 - 12:30: Prezentarea unor platforme moderne de lucru (Jazz 3.0 Middleware)
                              Partea 1: Arhitectura
     13:45 - 14:50: Partea a 2-a: Modelare, Definire cerințe
     15:00 - 15:50: Enterprise Architecture (EA)
     16:00 - 16:45: Performance Management, Program Portofolio Management (PM)
    
IBM Rational Enterprise Architecture

IBM Rational Enterprise Architecture

Întrucât numărul de locuri este limitat, prioritate vor avea doctoranzii și studenții înmatriculați la Masterul de Ingineria Sistemelor Software.

Pentru înscrieri, folosiți formularul Web.

Alte detalii referitoare la organizare pot fi furnizate de doctorandul Ionuț Apetrei (ionut.apetrei AT info.uaic.ro) căruia îi mulțumim pentru implicare.

Postat in eveniment, FII. Etichete: , , , , , , , , , . Comentariile sunt închise pentru Dezvoltarea sistemelor software complexe cu IBM Rational

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’.