Olha Shkaravska

Digital Security Group
Radboud Universiteit Nijmegen

Current Project

AHA (Amortized Heap Analysis), funded by Netherlands Organisation for Scientific Research
Post-Doctoral Researcher

Project Collaborators:
  • Marko van Eekelen, the project leader
  • Alejandro Tamalet, the PhD student
    • Former Project Collaborator:
  • Ron van Kesteren, the PhD student

    • Research interests

  • Resource analysis of programs, type systems, program logics
  • Categorical models in computer science
  • Former research interests: computability and complexity, transducers over infinite representations of real numbers

    • International Workshop on Foundational and Practical Aspects of Resource Analysis

    FOPARA'09, November, 3, 2009. Eindhoven. (I'm a co-chair of this event.)

    Publications

    The list of my publications (with some pdf-s) is available.

    Teaching

  • "Research and Development 2" Spring/Summer 2009: assisting in monitoring students projects.
  • "Security" Fall/Winter 2008/09: assistant.
  • "Research and Development 2" Spring/Summer 2008: assisting in monitoring students projects.

    • Other Activities

    Together with Adriana Birlutiu, I'm in charge of Colloquia of the Institute for Computing and Information Sciences.

    Contact Info

    Phone (direct): +31 24 3652217
    Email: shkarav(at)cs(dot)ru(dot)nl

    Visiting address Mail
    Room HG02.071 Olha Shkaravska
    Faculty of Science Faculty of Science
    Heyendaalseweg 135 (Huygens building) University of Nijmegen
    6525AJ Nijmegen Postbus 9010
    6500 GL Nijmegen
    The Netherlands

    Former Activities

    My short bio is available.

    Personal

    Photo