Ioana Leahu "Al. I. Cuza" University
Faculty of Computer Science
Contact:
Office:
    C301 (C Building, 1st Floor)
Office phone:
    0040-232-201538
Office hours:
    Friday, 10-12 or on request;
Email:
    olgai[at]info[dot]uaic[dot]ro
Research Interests
  • modeling of distributed systems through Petri Nets;
  • command synthesis for distributed systems
  • properties of term rewriting systems
  • decidability of problems related to Petri nets
  • complexity of problems related to Petri nets