You are not logged in | log in

Wydział Matematyki, Informatyki i Mechaniki Uniwersytetu Warszawskiego
  • Skala szarości
  • Wysoki kontrast
  • Negatyw
  • Podkreślenie linków
  • Reset

Software Engineering

Description

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.

Seminars

Employees

  • Jacek Chrząszcz
    Functional and object-oriented programming, code quality, Java
  • Krzysztof Ciebiera
    Computer networks, security, WWW programming
  • Robert Dąbrowski
    Programming methodology, software specification and verification, software paradigms, object-oriented programming
  • Marcin Engel
    Automated theorem proving
  • Janusz Jabłonowski
    Object-oriented programming, formal software specification and verification
  • Agata Janowska
    Specification and verification of real time systems, model-checking of timed systems
  • Zbigniew Jurkiewicz
    Functional programming, knowledge representation
  • Jan Madey
    Trace specifications, formal documentation and specification methods
  • Mirosława Miłkowska
    Logic programming, specification and verification of logic programs
  • Janina Mincer-Daszkiewicz
    Operating systems, distributed systems, concurrent programming, performance evaluation, software engineering (formal documentation and specification methods, software engineering projects)
  • Linh Anh Nguyen
    Logic programming, multimodal logic programming
  • Aleksy Schubert
    Functional and object-oriented programming, code quality, Java
  • Andrzej Tarlecki
    Mathematical foundations of software engineering
  • Artur Zaroda
    Design and implementation of programming languages, object oriented programming