Aktualności Instytutu Podstaw Informatyki PAN

Szkoła Doktorska Technologii Informacyjnych i Biomedycznych Instytutów PAN oraz ośrodek badawczo-rozwojowy w obszarze sztucznej inteligencji IDEAS NCBR podpiły 4. kwietnia br. list intencyjny o współpracy w obszarze kształcenia doktorantów pracujących nad badaniami wykorzystującymi metody sztucznej inteligencji.

W marcowym numerze czasopisma The Journal of Physical Chemistry B wydawnictwa American Chemical Society ukazał się artykuł we współautorstwie dr Magdaleny Krupy, adiunkta w Zespole Biologii Obliczeniowej IPI PAN, pt. "Unusual Robustness of Neurotransmitter Vesicle Membranes against Serotonin-Induced Perturbations" (pl: "Nietypowa odporność błon pęcherzyków neuroprzekaźnikowych na zaburzenia wywołane przez serotoninę"). Dodatkowo figura zawarta w artykule została wybrana na okładkę tego numeru czasopisma.

 ©KPRM

Archiwum prywatne

Prezydent Rzeczypospolitej Polskiej Andrzej Duda wręczył akty nominacyjne nauczycielom akademickim oraz pracownikom nauki i sztuki. Uroczystość odbyła się w dniu 7 lutego 2023 r. w Pałacu Prezydenckim.

Wśród nauczycieli akademickich i pracowników nauki odbierających nominację znalazło się dwóch pracowników Instytutu Podstaw Informatyki PAN:

• Profesor Marta Kwiatkowska,
• Profesor Szymon Jaroszewicz.

Otrzymane nominacje związane są z postanowieniem Prezydenta Rzeczpospolitej Polskiej z dnia 28 września 2020 r i nadaniem tytułów profesora nauk inżynieryjno-technicznych.

SpaceVote to nowy międzynarodowy projekt badawczy, realizowany przez Instytut Podstaw Informatyki PAN, SpaceForest Sp. z o.o. i Uniwersytet Luksemburski. Celem jest wykorzystanie najnowszych osiągnięć weryfikacji probabilistycznej do analizy tak różnorodnych zjawisk, jak wpływanie na wyborców podczas głosowania i manewrowanie prostą rakietą bezzałogową.

W ciągu ostatnich 30 lat świat przekształcił się w globalną, gęsto połączoną wioskę. Dotyczy to w pierwszym rzędzie usług i systemów IT, które obsługują skomplikowaną sieć użytkowników, rozproszonych na dużym obszarze geograficznym i pochodzących z różnych kontekstów kulturowych. Co więcej, usługi IT są tworzone przez ludzi i dla ludzi. W konsekwencji, analiza tych systemów musi brać pod uwagę czynnik ludzki i społeczny - co jest ogromnym wyzwaniem, gdyż ludzkie zachowania notorycznie wymykają się próbom formalnego, matematycznego opisu.

Procedury wyborcze są świetnym przykładem takich usług. Są niezwykle ważne dla społeczeństwa, a równocześnie z trudem poddają się formalnej weryfikacji. Tymczasem społeczeństwa demokratyczne stoją w obliczu poważnych zagrożeń. Oszustwa wyborcze, manipulowanie wyborcami, fake news i dezinformacja są wykorzystywane do zmiany wyników wyborów, a jeśli to się nie uda - do podważania tych wyników. SpaceVote to trzeci już z rzędu projekt, w którym łączymy techniki weryfikacji formalnej, teorii gier i logiki matematycznej, by lepiej oceniać i zapobiegać zagrożeniom dla demokracji.

W projekcie SpaceVote pokażemy również, że te same algorytmy mogą być wykorzystane w szerokiej palecie zastosowań, w szczególności do lepszej syntezy strategii dla prostych autonomicznych rakiet, poruszających się w niepewnym środowisku.