O djelatniku
doc. dr. sc. Sandro Skansi
Zvanje:docent
Funkcija:Koordinator poslijediplomskog doktorskog studija filozofije
Konzultacije:

Petkom 8:00-9:30

E-mail: E-mail
Osobna stranica na Webu: https://www.sandroskansi.com
Odsjek : ODSJEK ZA FILOZOFIJU I KULTUROLOGIJU

Nastava

sveučilišni preddiplomski

sveučilišni diplomski

Životopis

Sandro Skansi je rođen 1985. godine u Zagrebu, gdje završava osnovnu školu i klasičnu gimnaziju. 2009. diplomira na Hrvatskim studijima filozofiju i kroatologiju, a 2013. godine doktorira na Filozofskom fakultetu u Zagrebu disertacijom iz logike (Humanističke znanosti/Filozofija/Logika 6.01,01.). Od 2014. radi kao software developer u Infigo Information Security, od 2016. kao podatkovni znanstvenik u IN2, a 2017. prihvaća poziciju Voditelja za naprednu analitiku u A1 telekomu. Krajem 2017. postaje docent iz logike na Hrvatske studije Sveučilišta u Zagrebu. Od 2016. do 2019. godine je radio i kao predavač iz računarstva na Visokom učilištu Algebra.

Znanstveni interesi su mu logika, logicka zadovoljivost i umjetna inteligencija. Od jezika često koristi Python, SQL i naravno LaTeX, a radio je i u Javi, JavaScriptu, Perlu, C, C#, Lispu i Clojureu. Član je Association for Symbolic Logic i Hrvatskog filozofskog drustva, a trajni je član Association for the Advancement of Artificial Intelligence. Član je Seminara za logiku i osnove matematike pri Doktorskom studiju matematike Prirodoslovno-matematičkog fakulteta Sveučilišta u Zagrebu. Također je trajni recenzent za logiku Mathematical Reviews koje administrira American Mathematical Society. Moju akademsku geneaologiju mozete naci ovdje: https://www.genealogy.math.ndsu.nodak.edu/id.php?id=190041

 

PODRUČJA ZNANSTVENOG ISTRAŽIVANJA
• Zadovoljivost propozicijske logike:
    – Backdoor varijable za DPLL, kompleksne tautologije i (protu)primjeri logičke zadovoljivosti
    – Veze Ramseyeve teorije i parametrizirane kompleksnosti s logičkom zadovoljivosti
    – Primjene konekcionizma i dubokog učenja na logičku zadovoljivost
    – Primjene testiranja zadovoljivosti i induktivnog logičkog programiranja za sekvenciranje stringova
• Logička umjetna inteligencija i konekcionizam:
    – Redefiniranje AI zadataka s obzirom na upotrebu SAT ili dubokog učenja i usporedba uspješnosti
    – Obrnuta rezolucija, otkrivanje propozicijskih modela i induktivno logičko programiranje
    – Logička zadovoljivost i umjetne neuralne mreže za planiranje i optimizaciju (kibernetika planiranja)
    – Upotreba logičke zadovoljivosti (MAXSAT) kao optimizatora u umjetnim neuralnim mrežama
    – Sovjetska i istočnoblokovska kibernetika kao opći filozofski pravac i njegove kulturološke ramifikacije

Objavljeni radovi u Hrvatskoj znanstvenoj bibliografiji (CROSBI)
Napomena: Ove radove održava Knjižnica Instituta Ruđer Bošković koja vodi projekt Hrvatske znanstvene bibliografije CROSBI. Ovim linkom možete vidjeti sve podatke o radovima koje su autori unijeli u bazu podataka.
Za sve izmjene možete se obratiti na help@bib.irb.hr, a na istu adresu možete uputiti i sva vaša pitanja i sugestije vezana uz CROSBI.
Izabrane publikacije

S. Skansi 2020. Guide to Deep Learning Basics: Historical, Logical and Philosophical Perspectives. Springer: Cham.

S. Skansi 2019. Logika i dokazi (drugo izdanje). Element d.o.o. i Fakultet hrvatskih studija: Zagreb.

S. Skansi 2018. Introduction to Deep Learning: From Logical Calculus to Artificial Intelligence. Springer: London.

 

 

Fakultet hrvatskih studija Sveučilišta u Zagrebu visokoučilišna je ustanova i znanstvena organizacija, koja ima poziv: istraživati i proučavati hrvatsko društvo, državu, prostor, stanovništvo, iseljeništvo, kulturu, hrvatsko civilizacijsko i povijesno naslijeđe u europskom i općesvjetskom kontekstu; o postojećim znanjima i novostečenim spoznajama poučavati u sustavu visokoučilišne naobrazbe te njegovati hrvatski nacionalni i kulturni identitet.

Adresa: Borongajska cesta 83d, Zagreb
© 2013. - 2020. Sveučilište u Zagrebu, Fakultet hrvatskih studija. Sva prava pridržana. Računalna služba
QuiltCMS