Seminaria:
Matematyka Obliczeniowa czw 16:15-17:45
sala 1016 Przetwarzanie obrazów i danych wt 11:30-13:00
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:
  1. Piotr Zgliczyński, Małgorzata Moczurad,
    Central configurations on the plane with N heavy and k light bodies
    Communications in Nonlinear Science and Numerical Simulation, vol. 114, 4991-4998 (2022)
  2. Małgorzata Moczurad, Piotr Zgliczyński,
    Central configurations in spatial $n$-body problem for $n=5,6$ with equal masses
    CELESTIAL MECHANICS & DYNAMICAL ASTRONOMY, 132:56 (2020)
  3. Małgorzata Moczurad, Piotr Zgliczyński,
    Central configurations in planar $n$-body problem for $n=5,6,7$ with equal masses
    CELESTIAL MECHANICS & DYNAMICAL ASTRONOMY, vol. 131, 46 (2019)
  4. Małgorzata Moczurad, Piotr Zgliczyński,
    On the Petras algorithm for verified integration of piecewise analytic functions
    JOURNAL OF COMPLEXITY, vol. 39 , 69-93 (2017)
  5. Małgorzata Moczurad, Piotr Zgliczyński, Włodzimierz Zwonek,
    New lower bound estimates for quadratures of bounded analytic functions
    JOURNAL OF COMPLEXITY, vol. 34, 50–67 (2016)
  6. Małgorzata Moczurad, Włodzimierz Moczurad,
    Testing decipherability of directed figure codes with domino graphs
    Schedae Informaticae, 27-40 (2013)
  7. Małgorzata Moczurad, Włodzimierz Moczurad,
    How many figure sets are codes?
    LECTURE NOTES IN COMPUTER SCIENCE, vol. 5196, 385-396 (2008)
  8. Małgorzata Moczurad, Włodzimierz Moczurad,
    Asymptotic density of brick and word codes
    ARS COMBINATORIA, vol. 83, 169-177 (2007)
  9. Małgorzata Moczurad, Włodzimierz Moczurad,
    Some Open Problems in Decidability of Brick (Labelled Polyomino) Codes
    LECTURE NOTES IN COMPUTER SCIENCE, vol. 3106, 72-81 (2004)
  10. Małgorzata Moczurad, Włodzimierz Moczurad,
    Decidability of simple brick codes
    Birkhäuser, vol. Trends in Mathematics, 541-542 (2004)
  11. Małgorzata Moczurad,
    Wybrane zagadnienia z teorii rekursji
    Wydawnictwo Uniwersytetu Jagiellońskiego, (2002)
  12. Małgorzata Moczurad, Jerzy Tyszkiewicz, Marek Zaionc,
    Statistical properties of simple types
    MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE, vol. 10, 575-594 (2000)
  13. Jan Małolepszy, Małgorzata Moczurad, Marek Zaionc,
    Schwichtenberg style lambda definability is undecidable
    LECTURE NOTES IN COMPUTER SCIENCE, vol. 1210, 267-283 (1997)
  14. Małgorzata Moczurad,
    Lambda-Representability of Integer, Word and Tree Functions
    FUNDAMENTA INFORMATICAE, vol. 17/3, 253-270 (1992)