Skip to content

Hossein HAERI

  • Dr rer. nat., MPhil, BSc
  • Post-Doctoral Research Fellow
  • Catholic University of Louvain
  • 3h-indexImpact measure calculated using publication and citation counts. Updated daily.
  • 29CitationsNumber of citations received by Hossein's publications. Updated daily.

Other IDs

Research interests

and Semantic WebTree AutomataTerm RewritingProof TheoryType TheoryBisimilarityObservational EquivalenceOperational SemanticsProgramming ParadigmsDesign PatternsGeneric/Generative Programming

About

As a freelancer, I have been involved in the design and development of a variety of system programming applications especially in simulation. Starting in 1996, I have developed skills which prove my expertise in precise mathematical/algorithmic descriptions of real-world applications as well as large-scale design of complex engineering problems. This is on top of my proficiency in C++ as my main programming language. Since around 2000, most of my tasks at the software industry involved excessively more software design than development. Since around 2004, I gradually drifted towards research. In May 2006, I joined the Semantic Web Research Laboratory (SWRL) in Sharif University of Technology, Tehran, IRAN. I was a member of SWRL until Jul 2007 when I started my MPhil in Heriot-Watt University, Edinburgh, UK. Immediately after finishing my MPhil in Theoretical Computer Science in 2009, I became an R&D Software Developer/Designer at MuSemantik Ltd. I was with MuSemantik until Sep 2011 when I moved to Institue for Software Systems (STS) at Hamburg University of Technology (TUHH). As a research assistant in Programming Languages, I remained in STS until Jun 2015 when I joined INGI at Catholic University of Louvain. I am still at INGI as a post-doctoral research fellow on Programming Languages.

Co-authors (9)

  • elia shahbazi
  • bander alkgudairi
  • fahimeh mirakhori
  • Vishal Mehta

Publications (5)

  • Declarative, sliding window aggregations for computations at the edge

    • Meiklejohn C
    • Haeri S
    • Van Roy P
    N/AReaders
    2Citations
    Get full text
  • Worlds of events: Deduction with partial knowledge about causality

    • Haeri S
    • Van Roy P
    • Baquero C
    • et al.
    N/AReaders
    0Citations
    Get full text
  • Distributed lazy evaluation: A big-step mechanised semantics

    • Haeri S
    • Schupp S
    N/AReaders
    0Citations
    Get full text
  • Using functional languages to facilitate C++ metaprogramming

    • Haeri S
    • Schupp S
    • Hüser J
    N/AReaders
    0Citations
    Get full text
  • On ontology alignment experiments

    • Abolhassani H
    • Hariri B
    • Haeri S
    N/AReaders
    10Citations

Professional experience

Post-Doctoral Research Fellow

Universite Catholique de Louvain

June 2015 - Present

Research Assistant

Institute for Software Systems, Technical University of Hamburg at Harburg

September 2011 - Present

R&D Software Designer/Developer

MuSemantik Ltd.

January 2010 - September 2011(2 years)

Post-Graduate Research Student

Dependable Systems Group, Department of Mathematical and Computer Sciences, Heriot-Watt University

September 2007 - December 2009(2 years)

Research Fellow

Semantic Web Research Laboratory, Computer Engineering Department, Sharif University of Technology

January 2006 - June 2007(a year)

Education history

Dr. rer. nat.

Technische Universitat Hamburg-Harburg

September 2011 - June 2014(3 years)

MPhil

Heriot-Watt University

September 2007 - August 2009(2 years)

BSc

Sharif University of Technology

September 2000 - May 2006(6 years)