Menu

Debora SCHUCH DA ROSA

PARIS

En résumé

Debora Schuch Da Rosa a obtenu son Doctorat en Technologies de l’Information et de la Communication de l’Université de Trente (UNITN, Italie) et son Mastère en Sciences de l’Informatique de l’Université Fédérale de Rio Grande do Sul (Brésil). Elle a implémenté un générateur de code automatique pour passer des diagrammes standardisés au langage formel afin de faciliter l’analyse des procédures d’entreprises lors de son Post-doc au sein d’un projet européen SENSORIA à UNITN. Debora a enseigné les sciences de l’informatique dans plusieurs universités brésiliennes (1996-2002). Elle a affiné ses compétences interdisciplinaires en mobilité et communication en instaurant un langage de programmation pour systèmes complexes en tant que chercheure au CNRS (2005-2007, LIP6). Ses spécialités majeurs : langages formels pour les systèmes mobiles et parallèles, compilateurs, analyse statique, ingénierie pilotée par les modèles, calculabilité, complexité algorithmique, E-learning et Global Computing.

Mes compétences :
Rigueur
Proactivité

Entreprises

  • StarAmbients - Auto-entrepreneur

    2009 - maintenant

Formations

  • CELSA Paris IV Sorbonne (Ecole Hautes Etudes Sciences Information Communication)

    Neuilly Sur Seine 2012 - 2013 Mastère Spécialisé

    Innovation et Création d'Entreprise dans la Communication et les Médias - Financement de la formation a CELSA: obtention d’une bourse d'un montant de 6000 euros Projet : Le Profil Unfiée: l'échange de services et les affiliations via technologie NFC

  • Università Degli Studi Di TRENTO (Trento)

    Trento 2002 - 2007 Doctorat en Technologies de l’Information et de la Communication

    - Research Methodology (Giunchiglia) ;
    - Logics for Knowledge Repres.&Reasoning (Serafini) ;
    - Systems Approach & Mathematical Modelingwith (Chernyshenko) ;
    - Modeling of Complex Biological Systems
    (Roux-Rouquié) ;
    - Efficient Boolean Reasoning
    (Sebastiani) ;
    - Introduction to Data Mining
    (T. Ng) ;
    - Foundations of Distributed Systems
    (Priami) ;
    - Principles of Program Analysis
    (The Nielsen)

  • Universidade Federal Do Rio Grande Do Sul (Porto Alegre/Rs)

    Porto Alegre/Rs 1994 - 1997 Master em Sciences Informatiques

    - English Language Proficiency
    - Formal Logic for Computer Science
    - Artificial Intelligence Tools
    - Fundamentals of Computation Theory
    - Computer Graphics
    - Prototipation
    - Formal Especifications and Data Base Project
    - Intractability Theory
    - Formal Semantics
    - Abstract Interpretation
    - Theory and Practice of Undergraduate Teaching
    - Automated Verification in Scientific Computing

Réseau

Pas de contact professionnel

Annuaire des membres :