Aktualności Instytutu Podstaw Informatyki PAN

 ©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.

• Tygodnik Polityka; (nr 50) 07-13.12.2022

Więcej o projekcie można znaleźć na stronie: Clarin Biz

Politechnika Wrocławska jest liderem konsorcjum polskiej części ogólnoeuropejskiej struktury naukowej CLARIN, obejmującej cyfrowe archiwa tekstowe i narzędzia do ich automatycznej analizy. Umożliwia to badaczom nauk humanistycznych I ścisłych pracę z dużymi zbiorami tekstów. Stanowi również olbrzymią pomoc dla naukowców z innych obszarów nauki. Z nowoczesnych narzędzi opracowanych w ramach projektu mogą korzystać także podmioty komercyjne. CLARIN-PL jest realizowany dzięki dofinansowaniu ze środków Programu Operacyjnego Inteligentny Rozwój, które otrzymał w ramach konkursu ogłoszonego przez Ośrodek Przetwarzania Informacji - Państwowy Instytut Badawczy.

CLARIN-PL z certyfikatem Core Trust Seal

CLARIN to złożony system centrów technologicznych dający dostęp do zasobów, narzędzi i aplikacji badawczych. Jego głównym celem jest umożliwienie badań naukowych w obszarze nauk humanistycznych i społecznych z wykorzystaniem technologii językowej. Dzięki otwartemu dostępowi do większości komponentów Centrum Technologii Językowych, wpływa on również na inne obszary nauki. Z nowoczesnych narzędzi opracowanych w ramach projektu mogą korzystać także podmioty komercyjne, które potrzebują aplikacji do przetwarzania języka naturalnego. Warto podkreślić, że Centrum Technologii Językowych posiada światowy certyfikat repozytorium danych badawczych Core Trust Seal.

- Głównym celem CLARIN-PL Jest dostarczenie polskim naukowcom wszelkich środków potrzebnych do prowadzenia badań wymagają-cych wykorzystania metod przetwarzania dużych ilości tekstów. Nasza infrastruktura jest unikatowa na skalę światową ponieważ powstała specjalnie z myślą o języku polskim i dostarcza autorskich rozwiązań zapewniających precyzyjne wyniki dla badań na tekstach sporządzonych w tym języku. Nasze działania mają na celu udostępnianie zasobów językowych oraz elektronicznych narzędzi do automatycznego przetwarzania języka naturalnego badaczom z różnych dyscyplin naukowych, a w szczególności z dziedziny nauk humanistycznych i społecznych - mówi dr hab. inż. Maciej Piasecki z Politechniki Wrocławskiej, kierownik projektu CLARIN-PL.