AN NA DE RE ZIÑ SKA

INSTYTUT INFORMATYKI
derezińska
ANNA DEREZIÑSKA
Anna Dereziñska urodzi³a siê 21 lutego 1960
roku. W 1978 roku ukoñczy³a Liceum im.
H. Ko³³¹taja w Warszawie i rozpoczê³a studia na Wydziale Informatyki (niem. Datenverarbeitung) na Uniwersytecie Technicznym
w DreŸnie (Niemcy). Po zaliczeniu pierwszego
roku kontynuowa³a studia na kierunku Informatyka na Wydziale Elektroniki Politechniki
Warszawskiej. Po ukoñczeniu studiów w 1984
roku rozpoczê³a pracê w oœrodku obliczeniowym Instytutu Informatyki Politechniki Warszawskiej. Od 1985 roku pracowa³a jako asystent, a póŸniej wyk³adowca w tym instytucie.
W 2002 roku uzyska³a stopieñ naukowy doktora na Wydziale Elektroniki i Technik Informacyjnych Politechniki Warszawskiej. Od tego
roku pracuje na stanowisku adiunkta w Instytucie Informatyki Politechniki Warszawskiej.
W pocz¹tkowym okresie Anna Dereziñska
uczestniczy³a w projektach zwi¹zanych z rozwojem nowych metod modelowania systemów
wspó³bie¿nych. Prowadzi³a prace dotycz¹ce
przetwarzania takich modeli oraz specyfikacji
systemów wspó³bie¿nych stosowanych w ró¿nych dziedzinach.
Od 1994 roku zajmowa³a siê problemami
diagnostyki systemów wieloprocesorowych.
Przygotowywa³a stanowisko transputerowe do
prowadzenia prac eksperymentalnych. Opracowywa³a algorytmy zbierania oraz analizy
wyników diagnostycznych w systemach wieloprocesorowych.
W ostatniej dekadzie jej prace obejmuj¹
zagadnienia in¿ynierii oprogramowania, zw³aszcza odnosz¹c siê do dwóch kierunków:
poprawy jakoœci oprogramowania oraz modelowania i wytwarzania oprogramowania
z wykorzystaniem modeli. W ramach pierwszego kierunku prowadzi³a prace nad analiz¹
wiarygodnoœci oprogramowania metod¹
wstrzykiwania b³êdów, rozwoju metod i narzêdzi do testowania oprogramowania, a w szczególnoœci do testowania mutacyjnego. Drugi
obszar zainteresowañ dotyczy modelowania
oprogramowania, zw³aszcza z wykorzystaniem
notacji UML (Unified Modeling Language) oraz
generacji kodu na podstawie modeli opisuj¹cych strukturê i zachowanie (Model Driven
Engineering). Pod jej kierownictwem powsta³y unikatowe rozwi¹zania dotycz¹ce mutacji
obiektowych dla jêzyka C# (CREAM — Creator of Mutants) oraz generacji kodu C# dla maszyn stanowych UML (FXU — Framework for
eXecutable UML).
Anna Dereziñska jest autork¹ lub wspó³autork¹ ponad 50 artyku³ów naukowych, w wiêkszoœæ prezentowanych na forum miêdzynarodowym, w tym kilkunastu prac opublikowanych w czasopismach oraz kilkunastu jako
Słowa kluczowe
n inżynieria
wania
oprogramo-
n UML
n testowanie oprogramowania
INSTYTUT INFORMATYKI
D
rozdzia³y w ksi¹żkach renomowanych wydawnictw (m.in. Springer, IOS Press).
W latach 2007–2009 przewodniczy³a
konferencji „International Conference on Principles of Information Technology and Applications” (PITA) organizowanej w ramach multikonferencji IMCSIT. Uczestniczy w komitetach
programowym czasopisma i konferencji miêdzynarodowych (m.in. „Datics-Imecs”, „Datics- Ispa”). Recenzowa³a prace dla czasopisma „Informatica” i kilku konferencji miêdzynarodowych.
Anna Dereziñska bra³a udzia³ w przygotowaniu dwóch nowych wyk³adów i zajêæ
laboratoryjnych z zakresu in¿ynierii oprogramowania. Jest wspó³autork¹ czterech publikacji prezentuj¹cych metodykê i doœwiadczenia
w kszta³ceniu zaawansowanych metod in¿ynierii oprogramowania. Oprócz prowadzonych
zajêæ z tej dziedziny, prowadzi³a wyk³ad z systemów operacyjnych, a tak¿e projekty i laboratoria dla ró¿nych przedmiotów z programowania oraz wiarygodnoœci systemów komputerowych (równie¿ na studiach anglojêzycznych).
W³ada jêzykiem angielskim, niemieckim
i rosyjskim. Lubi œpiew i turystykê.