Seminari Dr. Andreu Ballús

Next Friday the 6th of February by 13:00 Dr. Andreu Ballús, Managing Director · TOPOSCIRCUITRY, S.L. and Ass. Prof at the Department of Philosophy (Area of Logic and Philosophy of Science) of UAB, will give a research seminar (in Catalan) entitled ""Títol: Què poden aportar els 'disbarats abstractes' a la certificació en microelectrònica?"

Short Bio: Andreu Ballús Santacana és filòsof de la ciència, professor associat al departament de Filosofia de la UAB i investigador independent. La seva recerca se centra en els fonaments lògics de la complexitat estructural i la invariància matemàtica. Actualment explora com la teoria de categories i la cohomologia (l'estudi de les obstruccions a la continuïtat global) poden combinar-se amb l'enginyeria clàssica per detectar i resoldre problemes de disseny en microelectrònica. És fundador de ToposCircuitry, una start-up tècnica on treballa en la traducció d'aquests models teòrics en eines de software per a la certificació formal i la verificació de dissenys de microxip.