Dr. Sebastian Danicic

Name:

Dr. Sebastian Danicic

Job Title:

Reader in Computer Science

 

 

Research Projects:

• Linear Schemas for Program Dependence (EPSRC)
• Web Spidering (KTP)
• Guided Slicing and Targeted Transformation (EPSRC)
• Testability Transformation (EPSRC)
• Verification and Analysisusing Slicing, Testing and Transformation (EPSRC)
• Analysis, Slicing and Transformation Research Network (EPSRC)
• Java Tools
   

Publications:

• Journal Papers
• Conferences Papers
   

Introduction

Dr. Sebastian Danicic is Reader in Computing at Goldsmiths, University of London.  He is the principal investigator of the successful EPSTuL project {Extending Program Schema Theory using Linearity; Grant EP/E002919/1}. Danicic's work on slicing began in the mid 1990s with work on its semantic foundations and algorithms.  This work was further developed by the EPSRC GUSTT project (Guided Slicing and Targeted Transformation, GR/M58719, 1999--2002). On completion, the GUSTT project was rated as `outstanding' (the top rating) by the EPSRC IGR review panel.  Danicic has a broad area of expertise and international standing in program slicing he has served on numerous program committees for example the IEEE International Working Conference on Source Code Analysis and Manipulation, and publishes regularly in top journals including Theoretical Computer Science (Elsevier).

Department of Computing,
Goldsmiths,
University of London,
New Cross,
London,
SE14 6NW,
United Kingdom

s.danicic@gold.ac.uk

+44 (0)20 7919 7868

+44 (0)7980 573 520 (mobile)

Room Number: 5, 29 St James's