You are not logged in | Log in


Foundational and practical aspects software engineering. The research topics include functional and object-oriented programming languages, logic programming, operating systems, real time systems, software development methodologies, formal documentation and specification.


Employees and PhD students

  • dr Jacek Chrząszcz

    Functional and object-oriented programming, code quality, Java

  • mgr Krzysztof Ciebiera

    Computer networks, security, WWW programming

  • dr Robert Dąbrowski

    Programming methodology, software specification and verification, software paradigms, object-oriented programming

  • dr Marcin Engel, prof. UW

    Automated theorem proving

  • dr Janusz Jabłonowski

    Object-oriented programming, formal software specification and verification

  • dr Agata Janowska

    Specification and verification of real time systems, model-checking of timed systems

  • mgr Zbigniew Jurkiewicz

    Functional programming, knowledge representation

  • dr Mirosława Miłkowska

    Logic programming, specification and verification of logic programs

  • dr Janina Mincer-Daszkiewicz, prof. UW

    Operating systems, distributed systems, concurrent programming, performance evaluation, software engineering (formal documentation and specification methods, software engineering projects)

  • dr hab. Anh Linh Nguyen, prof. UW

    Logic programming, multimodal logic programming

  • dr hab. Aleksy Schubert, prof. UW

    Functional and object-oriented programming, code quality, Java

  • prof. dr hab. Andrzej Tarlecki

    Mathematical foundations of software engineering

  • mgr Artur Zaroda

    Design and implementation of programming languages, object oriented programming