Den här sidan är utskriven från Högskolan i Halmstads webbplats (www.hh.se). Texten uppdaterades senast den 2018-01-03. Besök webbplatsen om du vill vara säker på att läsa den senaste versionen.

Personal vid Högskolan

Expertuppdrag

  • 2013

    Thesis opponent

    Goriac, Eugen, Equational Theories for Structural Operational Semantics. Reykjavik Universiry, Iceland

  • 2011

    Examination committee

    Cimini, Matteo, Meta-Theory of Structural Operational Semantics. Reykjavik University, Iceland

  • 2010

    Thesis opponent

    Braun, Christelle, Quantitative Approaches to Information Hiding. Ecole Polytechnique, France

  • 2012

    Agentschap voor Innovatie door Wetenschap en Technologie, Belgium

  • 2010

    Agentschap voor Innovatie door Wetenschap en Technologie, Belgium

  • 2012 - 2012

    Editor

    Science of Computer Programming

  • 2014

    Member of scientific committee

    The 28th ACM Symposium on Applied Computing, Software Verifi- cation and Testing Track (SVT 2014), ACM, Gyeongju, South Korea

  • 2013

    Chair of scientific committee

    The 27th ACM Symposium on Applied Computing, Software Verification and Testing Track (SVT 2013), ACM, Coimbra, Portugal

  • 2013

    Member of scientific committee

    The 13th International Conference on Application of Concurrency to System Design (ACSD 2013), IEEE, Barcelona, Spain

  • 2013

    Member of scientific committee

    The 5th International Conference on Fundamentals of Software En- gineering (FSEN 2013), IFIP, ACM SigSoft, Tehran, Iran

  • 2012

    Chair of scientific committee

    The 26th ACM Symposium on Applied Computing, Software Verification and Testing Track (SVT 2012), ACM, Trento, Italy

  • 2012

    Member of scientific committee

    The 17th IEEE International High-Level Design Validation and Test Workshop (HLDVT 2012), IEEE, Huntington Beach, California, USA

  • 2012

    Member of scientific committee

    The 37th International Symposium on Mathematical Foundations of Computer Science (MFCS 2012), , Bratislava, Slovakia

  • 2012

    Member of scientific committee

    The 23rd International Conference on Concurrency Theory (CONCUR 2012), , , Newcastle upon Tyne, UK

  • 2012

    Member of scientific committee

    The 11th International Workshop on the Foundations of Coordina- tion Languages and Software Architectures (FOCLASA’2012), , Newcastle upon Tyne, UK

  • 2012

    Member of scientific committee

    The 12th International Conference on Application of Concurrency to System Design (ACSD 2012), IEEE, Hamburg, Germany

  • 2011

    Chair of scientific committee

    The 1st International Workshop on Process Algebra and Coordination (PACO'2011), , Reykjavik, Iceland

  • 2011

    Chair of scientific committee

    The 10th International Workshop on the Foundations of Coordination Languages and Software Architectures (FOCLASA'2011), , Aachen, Germany

  • 2011

    Member of scientific committee

    The 16th IEEE International Symposium on High Level Design Val- idation and Test (HLDVT 2011), IEEE, Napa Valley, California, USA

  • 2011

    Member of scientific committee

    The 11th International Conference on Application of Concurrency to System Design (ACSD 2011), IEEE, Kanazawa, Japan

  • 2010

    Chair of scientific committee

    The 9th International Workshop on the Foundations of Coordination Languages and Software Architectures (FOCLASA'2010), , Paris, France

  • 2010

    Member of scientific committee

    15. The 12th International Conference on Coordination Models and Lan- guages (COORDINATION 2010), , Amsterdam, The Netherlands

  • 2009

    Chair of committee

    Doctoral Symposium at the 16th International Symposium on Formal Methods (FM’09), , Eindhoven, The Netherlands

  • 2009

    Member of scientific committee

    The 25th Conference on the Mathematical Foundations of Program- ming Semantics (MFPS 25), , Oxford, UK

  • 2008

    Chair of organizing committee

    Workshops of the 35th International Colloquium on Automata, Lan- guages and Programming (ICALP’08), , Reykjavik, Iceland

  • 2012 - 2013

    Main supervisor

    Christiaan Hartman, Postgraduate student, Master, 2013, Faculty of Electrical Engineering, Math and Computer Science, Delft University of Technology

  • 2012 - 2012

    Main supervisor

    Tal Milea, Postgraduate student, Master, 2012 , Department of Computer Science, Eindhoven University of Technology

  • 2012 - 2012

    Main supervisor

    Vivek Vishal, Postgraduate student, Master, 2012, Department of Computer Science, Eindhoven University of Technology

  • 2011 - 2011

    Main supervisor

    Ajith Kumar, Postgraduate student, Master, 2011, Department of Computer Science, Eindhoven University of Technology

  • 2010 - 2014

    Main supervisor

    Neda Noroozi, Postgraduate student, PhD, 2014, Department of Computer Science, Eindhoven University of Technology

  • 2010 - 2011

    Main supervisor

    Yogesh Khambia, Postgraduate student, Licentiate, 2011, Department of Computer Science, Eindhoven University of Technology

  • 2009 - 2010

    Main supervisor

    Assad Saleem, Postgraduate student, Licentiate, 2010, Department of Computer Science, Eindhoven University of Technology

  • 2008 - 2009

    Main supervisor

    Jorge Crespo Cedeno, Postgraduate student, Licentiate, 2009, Department of Computer Science, Eindhoven University of Technology

  • 2007 - 2011

    Main supervisor

    Mummad Atif, Postgraduate student, PhD, 2011, Department of Computer Science, Eindhoven University of Technology

  • 2007 - 2011

    co-supervisor

    Matthias Raffelsieper, Postgraduate student, PhD, 2011, Department of Computer Science, Eindhoven University of Technology

  • 2005 - 2006

    Main supervisor

    Elena Korchounova, Postgraduate student, Licentiate, 2006, Department of Computer Science, Eindhoven University of Technology