Seminaria:
Matematyka Obliczeniowa czw 16:15-17:45
sala 1016
Rozpoznawanie Obrazów czw 14:15-15:45
sala 1146
Równania różniczkowe i zagadnienia pokrewne pt 12:15-13:45
sala 1016
Równania różniczkowe cząstkowe wt 12:15-13:45
sala 1016
dr Małgorzata Moczurad
pokój:2053
adres:Łojasiewicza 6, PL-30-348 Kraków, Poland
telefon:+48 12 664 7536
e-mail:malgorzata.moczurad At ii.uj.edu.pl
www:http://ww2.ii.uj.edu.pl/~madry

Zainteresowania naukowe:
  • granice rozstrzygalności
  • obliczalność i złożoność problemów ciągłych

CV light:
1991MSc in computer scienceJagiellonian University
1992MSc in computer scienceUniversity of Salford, England
2000PhD in computer scienceJagiellonian University

Nagrody i stypendia:
2000Rector's research awardJagiellonian University
2002Rector's research awardJagiellonian University
2005Rector's research awardJagiellonian University

Granty badawcze:
1993Lambda definiowalność funkcji wyższego rzedu, główny wykonawcaCommittee for scientific research
1999Prosty rachunek lambda jako narzędzie dla programowania wyższego rzędu, główny wykonawcaCommittee for scientific research

Książki:
  • M. Moczurad,
    Wybrane zagadnienia z teorii rekursji
    Wydawnictwo Uniwersytetu Jagiellońskiego, 2002

Publikacje:
  • M. Moczurad, P. Zgliczyński, W. Zwonek,
    New lower bound estimates for quadratures of bounded analytic functions
    Journal of Complexity, vol. 34, 50-67 (2016)
  • M. Moczurad, W. Moczurad,
    Testing decipherability of directed figure codes with domino graphs
    Schedae Informaticae, 27-40 (2013)
  • M. Moczurad, W. Moczurad,
    How many figure sets are codes?
    Lecture Notes in Computer Science, vol. 5196, 385-396 (2008)
  • M. Moczurad, W. Moczurad,
    Asymptotic density of brick and word codes
    Ars Combinatoria, vol. 83, 169-177 (2007)
  • M. Moczurad, W. Moczurad,
    Decidability of simple brick codes
    Trends in Mathematics, Birkh¨auser, 541-542 (2004)
  • M. Moczurad, W. Moczurad,
    Some open problems in decidability of brick (labelled polyomino) codes
    Lecture Notes in Computer Science, vol. 3106, 72-81 (2004)
  • M. Moczurad, J. Tyszkiewicz, M. Zaionc,
    Statistical Properties of Simple Types
    Mathematical Structures in Computer science, vol. 10, 575-594 (2000)
  • J. Małolepszy, M. Moczurad, M. Zaionc,
    Schwichtenberg Style Lambda Definability is Undecidable
    Lecture Notes in Computer Science 1210, 267-283 (1997)
  • M. Moczurad,
    Lambda Representability of integer, word and tree functions
    Fundamenta Informatica 17, (1992)