Search
bild
School of
Computer Science
and Communication
KTH / CSC / TCS / People

Siavash_Soleimanifard_Picture

Siavash Soleimanifard

I was a PhD student at the School of Computer Science and Communication in Royal Institute of Technology until October 2014.

I am currently working at Microsoft in the main campus located in Redmond, WA. More specifically I am working on Microsoft Cloud services, Azure platform, and Visual Studio Online services.

Contact Information

Education

Current Projects

  • Currently I am working on a project called "Security of Mobile Code". In this project we are about to develop a framework using compositional verification and inline monitoring to verify safety properties of mobile codes.

    The main research goal of the project is to provide algorithmic techniques to prevent mobile code making threat to security of the platforms it desired to be running on. This is done by proving that the mobile code preserves the security policy of the platform. To achieve this goal, one approach is to use runtime monitoring and see if the mobile code is breaking security policy of the platform during its runtime. The other interesting approach is compositional verification of open systems. Open systems are systems where some components are available by their implementation and some are available by their specification. In this approach, the abstract specification of the mobile code is composed with the specification of the present code and the result of composition is verified against the security policy of the platform. Since program verification is undecidable, we need to abstract the program. In our method we abstract away all the program data, i.e., we only consider the control flow of programs in terms of possible sequences of method invocations. This approach is carried out in the context of Compositional Verification of Control Flow Safety Properties (CVPP) project.

  • CVPP project which is a collaborative project on compositional verification of control-flow properties of programs.

Publications

The list of my publications in Google Scholar

The list of my publications in KTH DiVA

Master Thesis

I have done my master thesis at Uppsala University, Uppsala, Sweden. The title of my master thesis is: "Generating a Model of a Communication Protocol from Test Data". In this thesis we suggest a novel approach for compacting models of communication protocols inferred by Regular Inference Techniques in a way that the compact models become readily understandable for testers and engineers. You can download my master thesis from Uppsala University's publications. You can find the bibtex here, BibTex

Teaching

I have been assisting with the following courses.

2013-2014 Academic Year 2012-2013 Academic Year
  • Advanced C++ programming

    I am still checking assignments of the cprog students of previous years. Just, check my calendar (at the bottom of this page) and make an appointment with me to get your assignments examined. To contact me simply send me an email and write your free times that matches mine as in my calendar. PLEASE DO NOT FORGET TO BRING YOUR ID-CARD

  • Logic for computer science
2011-2012 Academic Year 2010-2011 Academic Year 2009-2010 Academic Year
  • Advanced C++ programming

    If you have finished your assignment of cprog09 course, please check my calendar and make an appointment with me to get it examined. To contact me simply send me an email and write your free times that matches my free time as in my calendar. PLEASE DO NOT FORGET TO BRING YOUR ID-CARD
    I will take exams in the next academic year, i.e., 2010-2011.

  • Basic Internet programming
  • Python programming
  • Network Security (guest lecture on "formal methods to verify security of network protocols")

Courses

  • Machine Learning
  • Scientific Writing
  • Temporal Logics
  • Formal Methods
  • Semantics of Programming Languages
  • Algebra + Co-Algebra
  • Advanced Object Oriented Systems
  • Basic Communication Skills and Teaching
  • Approximation Algorithms
  • Research - Theory, Method, Practice
  • COST Action 2nd Training Program
  • MOD Summer School, Byrischzell (Marktoberdorf Summer School)
  • International School HATS-FMCO (HATS Summer School)

My calendar

This is my calendar. In the calendar "busy" means I have a class, lab or meeting. Most of the other times I am at my office during office hours+.
Office hours+ is Mondays-Fridays 08:15 till 19:00.

Published by: Siavash Soleimanifard <siavashs@csc.kth.se>
Updated 2015-12-07