Skip to content

Dragan Stosic

  • Msc
  • Senior Researcher
  • University College Dublin School of Public Health Physiotherapy and Population Science
  • 4Followers
  • 4Following

Research interests

Type theory & Refinement Calculus. tools : PVS & CoQ

About

Dragan Stošić graduated in 1992 in electrical Engineering from ETФ University of Belgrade. He also received a M.Sc. in Engineering from University of Belgrade. His research focuses on the practice and formalisation of various programming techniques. Dragan's interests are programming from specification, refinement calculus, interactive theorem proving in context of formal methods and type theory. Dragan started to work as senior developer on SenseTile project. This project represents supporting system for large-scale experiments with complex multimedia sensing and processing at terabyte scales. In 2009 he joined KindSoft group.

Followers (4)

  • Viliam Holub

    Viliam Holub

  • Dermot Cochran

    Dermot Cochran

  • Daniel Zimmerman

    Daniel ZimmermanInstitute of Technology, University of Washington Tacoma

  • Joseph Kiniry

    Joseph KiniryDTU Informatics, Technical University of Denmark

Following (4)

  • Viliam Holub

    Viliam Holub

  • Dermot Cochran

    Dermot Cochran

  • Daniel Zimmerman

    Daniel ZimmermanInstitute of Technology, University of Washington Tacoma

  • Joseph Kiniry

    Joseph KiniryDTU Informatics, Technical University of Denmark

Professional experience

Senior Researcher

UCD

February 2009 - Present

Education

Msc

College of Electrical Engineering

May 1992 - Present