Alexander Kurz

alexhkurz

alexhkurz

AI & ML interests

logic, category theory, programming languages, formal methods, distributed computing, smart contracts, socio-technological systems, philosophy of computer science

Organizations

alexhkurz 's datasets

None public yet