Dane Pracownika



   dr hab. Lidia Tendera prof. UO
  E-mail:
  Telefon: (77) 452 7210 w. 7210
  Pokój: 210 BG ul. Oleska 48
  Jednostka: Zakład Informatyki

  • Strona prywatna
  • Publikacje
  • Konsultacje: p. 210 BG Oleska 48 wtorki i środy godz. 12:00-13:00.
  • Zainteresowania: logiki komputerowe. Obowiązki: kierownik projektu NCN nr DEC-2013/09/B/ST6/01535 pt.: "Automatyczne rozumowanie o specyfikacjach wyrażonych w prostych logikach - kwestie rozstrzygalności i złożoności".
Za aktualność danych na stronie odpowiedzialne są osoby zainteresowane. Dane pobierane są z bazy danych "CS" systemu Internetowej Obsługi Sprawozdawczości działającego na potrzeby Instytutu Matematyki i Informatyki UO. Pytania dotyczące formatu lub sposobu uaktualnienia danych prosimy kierować na adres webmaster@math.uni.opole.pl.

Witryna, którą obecnie przeglądasz, wykorzystuje pliki cookies w celu poprawnej realizacji dostarczanych usług i informacji oraz w celach gromadzenia anonimowych informacji statystycznych. Więcej informacji >>

The cookie settings on this website are set to "allow cookies" to give you the best browsing experience possible. If you continue to use this website without changing your cookie settings or you click "Accept" below then you are consenting to this.

Close