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

• Seminar Operating and Distributed Systems
• Seminarium "DeSeR: Dane, strumienie, rozpraszanie"

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. ucz.

  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. ucz.

  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