Dragiša Žunić

Researcher at The Institute for Artificial Intelligence of Serbia
  • Claim this Profile
Contact Information
us****@****om
(386) 825-5501
Location
RS
Languages
  • English Full professional proficiency
  • French Professional working proficiency
  • Serbian Native or bilingual proficiency
Skills

Topline Score

Topline score feature will be out soon.

Bio

Generated by
Topline AI

You need to have a working account to view this content.
Join now
You need to have a working account to view this content.
Join now

Credentials

  • Fundamentals of Deep Learning
    NVIDIA
    Mar, 2022
    - Nov, 2024

Experience

  • The Institute for Artificial Intelligence of Serbia
    • Serbia
    • Research
    • 1 - 100 Employee
    • Researcher
      • Oct 2021 - Present

      Linking symbolic AI and machine learning in designing and studying financial systems. Also I am a researcher in the fields of formal methods, formal logic, design of shape descriptors, and on the fundamental market design (design of the exchange central processing units, XCPU). Initially I was leading the development of the FinTech segment at the institute. Linking symbolic AI and machine learning in designing and studying financial systems. Also I am a researcher in the fields of formal methods, formal logic, design of shape descriptors, and on the fundamental market design (design of the exchange central processing units, XCPU). Initially I was leading the development of the FinTech segment at the institute.

  • Carnegie Mellon University in Qatar
    • Qatar
    • Higher Education
    • 100 - 200 Employee
    • Researcher
      • Jun 2016 - May 2019

      Designing the underlying theory and tools for formal verification of parallel, distributed and concurrent systems. Applying symbolic AI (based on formal logic) in representing and formally verifying modern financial exchanges. Working on a challenge of fundamental market design for parallel exchange. Designing the underlying theory and tools for formal verification of parallel, distributed and concurrent systems. Applying symbolic AI (based on formal logic) in representing and formally verifying modern financial exchanges. Working on a challenge of fundamental market design for parallel exchange.

  • Faculty of Computer Science
    • Belgrade
    • Associate Professor
      • Jan 2015 - Jun 2016

  • Techstars Startup Weekend
    • United States
    • Civic and Social Organizations
    • 1 - 100 Employee
    • Co-editor at StartupDigest
      • Nov 2012 - Oct 2014

  • Faculty of Economics and Management
    • Novi Sad
    • Assistant Professor
      • Oct 2008 - Sep 2013

  • EPFL (École polytechnique fédérale de Lausanne)
    • Switzerland
    • Higher Education
    • 700 & Above Employee
    • Researcher
      • Sep 2010 - Aug 2011

  • École normale supérieure de Lyon
    • France
    • Research Services
    • 700 & Above Employee
    • PhD student
      • Oct 2004 - Dec 2007

Education

  • Ecole normale supérieure de Lyon
    Doctor of Philosophy (PhD), Mathematics and Computer Science
    2004 - 2007
  • Faculty of Economics Belgrade
    IMQF - International Masters in Quantitative Finance
    2013 - 2015
  • Faculty of Sciences, University of Novi Sad
    Master of Science (MSc), Mathematics and Computer Science
    1996 - 2002

Community

You need to have a working account to view this content. Click here to join now