Dragiša Žunić
CURRENT RESEARCH
Design of fundamental financial systems
I am working on several unrelated things. The most challenging is the design of computational core for financial trading venues, such as electronic exchanges, within the paradigm which enables formal reasoning about system properties. We first formalized the sequential core (surprisingly still state-of-the-art in electronic markets), and I am currently working on the design of a parallel and concurrent core, which is more natural computational model for trading platforms, and improves the sequential model without loosing any of the desirable properties.
CURRENT POSITION
Researcher in symbolic AI, Institute for Artificial Intelligence R&D of Serbia. https://www.ivi.ac.rs/
PREVIOUSLY
Associate Professor, Alfa University, Belgrade
Researcher, Faculty of Technical Sciences, CMS, University of Novi Sad, Serbia
Postdoctoral researcher at Carnegie Mellon University in Qatar, Doha (here)
Assistant professor at University Business Academy.
Postdoctoral researcher at EPFL Switzerland.
NEWS
A verifiable model of a minimal market operating sequentially, with price and time discrete, Journal of Computer Science and Forensics, 2023. Article → here.
Formalization of automated trading systems in a concurrent linear framework, EPTCS proceedings of Linearity & TLLA (FloC), April 2019. Article → here
Presentation at Qatar Stock Exchange (QSE) → slides
A presentation at CMU-Q @ QNRF project seminar, October 2018. Slides → here
An article: Formalization of automated trading systems in a concurrent linear framework, LINEARITY'18 [program] (affiliated with FCSD at FLOC) - Oxford UK, July 2018.
A congruence relation for restructuring classical terms (conf. article) - ICTCS'17, Naples, Italy - proceedings, article
Standard classical logic as protocol for process communication (conf. abstract) - LAP'17, Dubrovnik, Croatia - book of abstracts
In 2016 I joined CMU-Q - Carnegie Mellon University in Qatar - city of Doha
FINTEGRATIO - a page exploring the intersection between finance and automated reasoning
Shape interpretation of second-order moment invariants, journal, september 2016 - here
Logic and Applications conference, LAP 2016, Dubrovnik [search here for presentation]
Computational interpretation of classical logic with explicit structural rules (with P. Lescanne and S. Ghilezan) -- [search here]
Startap Akademija 3.0 - program for technology entrepreneurship, 3 months during 2014.
2 journal articles: [1] in Information Processing Letters, december 2013 [more info here], and [2] in Applied Mathematics and Computation [here]
Logic and Applications, Dubrovnik, sept. 2013 [pdf]
IT entrepreneurship workshop @ Beli Dvor [by Prince Karadjordjevic Foundat. for Education]
A talk at the Institute of Mathematics SANU, Belgrade - Seminar for general proof theory - November 2012. [slides here]
An article, in International Journal of Pattern Recognition and Artifical Intelligence, published, December 2012. [more info here]
An article @ International Conference of Numerical Analysis and Applied Mathematics, Greece, September 2012. [more info here]
ISMANAM 2012 Moscow, June 2012 [here]
>>> And by the way, I also failed... often.
PhD from Ecole Normale Supérieure, ENS Lyon, France >> here
F O R M E R L Y:
Associate Professor (2014-16), Faculty of Economics and Management, Novi Sad FIMEK
Research fellow (2010-11), Ecole Polytechnique Fédérale de Lausanne (EPFL/Lara)
Assistant Professor (2008-12), Faculty of Economics and Management, Novi Sad FIMEK
PhD student (2004-08), Ecole Normale Supérieure de Lyon (ENS Lyon/PLUME)
Master in Quantitative Finance (2014-15), Faculty of Economics, Belgrade (IMQF)
Research associate, Faculty of Technical Sciences, FTN Novi Sad (FTN/CMS)
I AM ALSO INTERESTED IN:
- Market design, matching markets
- Finance in practice and in theory
- Decentralized markets design and blockchain related concepts
- Digital entrepreneurship and technology transfer
OTHER
Please check out the page where I keep track of applications of formal logic and automated reasoning, in the field of finance