CURRICULUM VITAE

• Numele şi prenumele: Ţiplea Aurora
• Data şi locul naşterii: Măstăcani, jud. Galaţi, 11 mai 1963
• Stare civilă: casatorita
• Studii:
  • 1982-1986: Facultatea de matematică, secţia informatică, Universitatea „Al.I.Cuza” Iaşi
    Teza de licenţă: Proprietăţi de închidere în teoria limbajelor formale
  • 1998-2004: Studii doctorale, Facultatea de informatică, Universitatea „Al.I.Cuza” Iaşi
    Teza de doctorat: Modular Analysis of Petri Nets
Titlul ştiinţific: Doctor
• Experienţa profesională:
  • 09.1986-10.1989: Centrul Teritorial de Calcul, Vaslui, programator
  • 10.1989-08.1991: Institutul de Cercetări în Constructii, filiala Iaşi, matematician
  • 08.1991-05.1992: Prefectura Iaşi, programator, şef birou
  • 05.1992-prezent: Consiliul Judeţean Iaşi, programator, şef serviciu/compartiment/birou
  • 10.1991-06.2001, Universitatea „Al.I.Cuza”Iaşi, lector
• Lucrări publicate şi participări la conferinţe
  1. F.L. Tiplea, A. Tiplea
     Petri Net Reactive Modules
     Theoretical Computer Science 359(1-3), august 2006, pp.77-100.
     
  2. F.L. Tiplea, A. Tiplea
     Instantiating Nets and Their Applications to Workflow Nets
     Proc. of the 7th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, Timisoara, Romania, sept. 2005, IEEE Computer Society Press, DOI 10.1109/SYNASC.2005.39
     
  3. A. Tiplea
     Ph.D Thesis: Modular Analysis of Petri Net Models
     Technical Report TR 04-03, ISSN 1224-9327, Universitatea "Al.I.Cuza" Iasi, Iasi (Romania), dec. 2004
     
  4. F.L. Tiplea, A. Tiplea
     A Compositional Semantics for Petri Net Reactive Modules
     Proc. of NATO Advanced Research Workshop "Concurrent Information Processing and Computing", Sinaia (Romania), iulie 2003, IOS Press, 2004
     
  5. F.L. Tiplea, A. Tiplea
     A Simulation Preorder for Abstraction of Reactive Systems
     Third International Workshop on "Verification, Model Checking and Abstract Interpretation", Venetia (Italia), ian 2002, Lecture Notes in Computer Science 2294, Springer-Verlag, 2002, 272-288.
     
  6. A. Tiplea:
     Semantics of Petri Nets. Bisimulation and Refinement
     Ph.D. Report, Universitatea "Al.I.Cuza" Iasi (Romania), Oct. 2000.
     
  7. A. Tiplea:
     Refinement Techniques in Petri Net Theory
     Ph.D. Report, Universitatea "Al.I.Cuza" Iasi (Romania), Jan 2000
     
  8. F.L. Tiplea, A. Tiplea:
     Petri Net Reactive Modules
     Technical Report TR 1999-7, Institut fuer Informatik, Universitaet Augsburg, Augsburg (Germania), Dec. 1999.
     
  9. F.L. Tiplea, T. Jucan, A. Tiplea, C. Vidrascu:
     Processes of Jumping Petri Nets
     Proc. of the 11th Romanian Symposium on Computer Science ROSYCS '98, Iasi (Romania), 1998
     
  10. A. Tiplea, F.L. Tiplea:
      On Normalization of Petri Nets
      Scinetific Annals of the "Al.I.Cuza" University od Iasi, Computer Science Section, Tome VIII, 1999, 151-161,
      Proc. of the 11th Romanian Symposium on Computer Science ROSYCS '98, Iasi (Romania), 1998
      
  11. A. Tiplea:
      Informatization of Iasi County Council and Incresing the Efficiency of Civil Servants
      Informatization - Part of the Reform Program for Public Adminstration, Bucuresti (Romania), iunie 1998
      
  12. A. Tiplea:
      Information Society and Making Decisions Process
      European Seminar on Local and Regional Information Society: Problems of Development in Central and Eastern Europe, Miercurea Ciuc, oct.1998