dr Anna Nenca laureatką IV edycji Programu staży zagranicznych UG

Z wielką przyjemnością informujemy, że dr Anna Nenca z Instytutu Informatyki została laureatką  IV edycji Programu staży zagranicznych UG. 

Dr Anna Nenca odbędzie swój staż u prof. Nazima Fatesa w National Institute for Research in Digital Science and Technology na Université de Lorraine we Francji. Projekt badawczy, nad którym będzie pracować, to „Sformułowanie niektórych problemów klasyfikacji automatów komórkowych jako problemów SAT”.

- Badania w ramach stażu będą połączeniem tematów badanych przez profesora Nazima Fatesa (solvery SAT) i tematów, nad którymi pracuję od dwóch lat (problemy klasyfikacji dla automatów komórkowych) - mówi dr Anna Nenca. - Automaty komórkowe są uważane za model obliczeń rozproszonych bez wspólnej pamięci globalnej. Aby zbadać możliwości obliczeniowe automatów komórkowych, zdefiniowano i zbadano różne problemy decyzyjne. Nas interesować będą problemy klasyfikacyjne, w których zadaniem jest znalezienie lokalnej reguły lub zbioru lokalnych reguł, które rządzą ewolucją automatu, określając, czy dana konfiguracja początkowa spełnia dany warunek, czy nie. Zasadniczo, zamiast znać regułę i używać jej do przewidywania ewolucji systemu, otrzymujemy określone wyniki (lub stany końcowe) i musimy określić regułę, która je wygenerowała. 

Laureatce serdecznie gratulujemy ! 

Więcej szczegółów TUTAJ