kiedyś tam pewnie będę musiał dyploma popełnić i patrząc do przodu zastanawiam się nad tematem
risercz arijas które wydają mi się ciekawe
-
formalna weryfikacja kodu (języki wysokiego poziomu do modelowania) mam wątpliwości czy jest tu w ogóle o czym pisać na np. 70 stron
-
kompilatory z naciskiem na frontend + coś z llvm, ale obawiam się, że miną 3 miesiące, a ja nadal będę skakał pomiędzy artykułami i próbował posklejać "coś"
lub krud, żeby szybko zaklepać i nie ryzykować potrzeby przedłużania terminu oddania pracy
ma ktoś jakiegoś expa w tych tematach?
na pytanie @Silv
infa / software eng.