My full name is Seyed Hossein HAERI."Hossein" is my first name with which I usually get called -- and prefer to get called.
Quick Background:
 |
(On the left is my photo before surgery; and, after it on the right. If you're interested in the surgery, get in contact with my surgeon: Mr Hadi Daneshvar.) |  |
I finished my undergraduate studies in Computer Science at
Department of
Mathematical Sciences, Sharif University of Technology (SUT), Tehran, IRAN.
(In fac, in the bachelor level, I am the first
CS graduate of SUT after
the Iranian 1978 revolution.) Next, I did an
MPhil in Theoretical Computer Science at the
Dependable Systems Group, School of Mathematics and Computer Science,
Heriot-Watt University, Edinburgh, UK.
(Click here to get my thesis.)
I currently am on a Research Assistant position at the
Institute for Software Systems
(STS), Technical University of Hamburg
at Harburg.
Before starting my postgraduate studies, I was a member of the Semantic Web Research Laboratory, Computer Engineering Department, SUT. As an IT Professional, I also was a member of the IT Masterplanning Group at the Iranian Research Institute for Scientific Information and Documentation (IranDoc). Soon after my graduation from Heriot-Watt, I became an R&D Software Designer/Developer at MuSemantik Ltd. -- a spin-out company of the Edinburgh University. I left MuSemantik by Sep 2011 to STS.
Research:
Amongst other things, I particularly use:
1) Ott: I use operational semantics all the time. I input my simple ASCII operational semantics into Ott to get back a checked TeX version. The input/output for the three operational semantics of Abramsky and Ong, Launchbury, and myself for Lazy Evaluation are as follows, respectively: ott/pdf, ott/pdf, and ott/pdf.
2) Rascal: There are lots of things one can do with an operational semantics. For example, one might want to perform code analyses on programs written in that semantics. Rascal can be a good friend on these jobs. "What sort of analyses?" you may ask. Well, what I call LaTeXification is perhaps nowhere else considered to be an analysis. Yet, I consider it thatbecause: By "LaTeXification for an operational semantics OS" I mean the process of evaluating something in OS and producing the LaTeX proof tree of that evaluation, if any, plus some pretty-printing to manage width overflow semi-automatically. I used Rascal for the operational semantics of Abramsky and Ong, as well as that of Launchbury.
Here is an example: In Launchbury's semantics, this input file results in this pdf. If people find the idea specially interesting, I'll post more information on how to get it run.
3) The K Framework: Want to get a small-step operational semantics into work as soon as possible? Take a look at K because that might currently be your best bet. I used it for that of Abramsk and Ong, despite the fact that that's a big-step operational semantics. Because K is not designed for big-steps, although the implementation is clean, it's still a dudgy hack. Due to their favour in small-step, there unfortunately is no way to get it implment the operational semantics of Launchbury or that of myself for the latter ones are both big-step.
Some Publications:
1) Seyed H. HAERI, Sibylle Schupp, Functional Metaprogramming in C++ and Cross-Lingual Development with Haskell, 23rd Symposium on Implementation and Application of Functional Languages (IFL 2011), Oct, 2011. [get it]
2) Seyed H. HAERI, Observational Equivalence and a New Operational Semantics for Lazy Evaluation with Selective Strictness, International Conference on Theoretical and Mathematical Foundations of Computer Science (TMFCS-10), 2010. [get it]
3) V. Qazvinian, H. Abolhassani, and S. H. HAERI, Evolutionary Coincidence-Based Ontology Mapping Extraction, The Journal of Knowledge Engineering Special Issue on Advances in Ontologies Expert Systems, Vol. 25, No. 3, Pages 221--236, July 2008. [get it]
4) Haeri S. H. et al., Coincidence-Based Scoring of Mappings in Ontology Alignment, Journal of Advanced Computational Intelligence and Intelligent Informatics (JACIII) SCIS&ISIS2006 special issue of JACIII Vol.11 (2007). [get it]
5) V. Qazvinian, H. Abolhassani, and S. H. Haeri, Coincidence-Based Mapping Extraction with Genetic Algorithms, in Proceedings of 3rd International Conference on Web Information Systems and Technologies (Webist 2007) Barcelona, Spain, March, 2007. [get it]
6) Abolhassani H., B. B. Hariri, and S. H. HAERI, A New Structural Measure-Based on Graphs of Ontologies, Scientia Iranica, 2006 http://www.scientiairanica.com
7) Abolhassani, H., Bagheri-Hariri, B., Haeri, S.H. (2006) On Ontology Alignment Experiments, Webology, 3(3), Article 28. Available at: http://www.webology.ir/2006/v3n3/a28.html
8) S. H. HAERI, B. B. Hariri, H. Abolhassani, Coincidence-Based Refinement of Ontology Matching, Joint 3rd International Conference on Soft Computing and Intelligent Systems and 7th International Symposium on advanced Intelligent Systems (SCIS & ISIS 2006) [get it]
Contact:
N.B. Remove the trailing XYZ from my email addresses below if you're not a robot!
© 2011 Hamburg University of Technology (TUHH) - Institute for Software Systems (E16)
Before starting my postgraduate studies, I was a member of the Semantic Web Research Laboratory, Computer Engineering Department, SUT. As an IT Professional, I also was a member of the IT Masterplanning Group at the Iranian Research Institute for Scientific Information and Documentation (IranDoc). Soon after my graduation from Heriot-Watt, I became an R&D Software Designer/Developer at MuSemantik Ltd. -- a spin-out company of the Edinburgh University. I left MuSemantik by Sep 2011 to STS.
Research:
Amongst other things, I particularly use:
1) Ott: I use operational semantics all the time. I input my simple ASCII operational semantics into Ott to get back a checked TeX version. The input/output for the three operational semantics of Abramsky and Ong, Launchbury, and myself for Lazy Evaluation are as follows, respectively: ott/pdf, ott/pdf, and ott/pdf.
2) Rascal: There are lots of things one can do with an operational semantics. For example, one might want to perform code analyses on programs written in that semantics. Rascal can be a good friend on these jobs. "What sort of analyses?" you may ask. Well, what I call LaTeXification is perhaps nowhere else considered to be an analysis. Yet, I consider it thatbecause: By "LaTeXification for an operational semantics OS" I mean the process of evaluating something in OS and producing the LaTeX proof tree of that evaluation, if any, plus some pretty-printing to manage width overflow semi-automatically. I used Rascal for the operational semantics of Abramsky and Ong, as well as that of Launchbury.
Here is an example: In Launchbury's semantics, this input file results in this pdf. If people find the idea specially interesting, I'll post more information on how to get it run.
3) The K Framework: Want to get a small-step operational semantics into work as soon as possible? Take a look at K because that might currently be your best bet. I used it for that of Abramsk and Ong, despite the fact that that's a big-step operational semantics. Because K is not designed for big-steps, although the implementation is clean, it's still a dudgy hack. Due to their favour in small-step, there unfortunately is no way to get it implment the operational semantics of Launchbury or that of myself for the latter ones are both big-step.
Some Publications:
1) Seyed H. HAERI, Sibylle Schupp, Functional Metaprogramming in C++ and Cross-Lingual Development with Haskell, 23rd Symposium on Implementation and Application of Functional Languages (IFL 2011), Oct, 2011. [get it]
2) Seyed H. HAERI, Observational Equivalence and a New Operational Semantics for Lazy Evaluation with Selective Strictness, International Conference on Theoretical and Mathematical Foundations of Computer Science (TMFCS-10), 2010. [get it]
3) V. Qazvinian, H. Abolhassani, and S. H. HAERI, Evolutionary Coincidence-Based Ontology Mapping Extraction, The Journal of Knowledge Engineering Special Issue on Advances in Ontologies Expert Systems, Vol. 25, No. 3, Pages 221--236, July 2008. [get it]
4) Haeri S. H. et al., Coincidence-Based Scoring of Mappings in Ontology Alignment, Journal of Advanced Computational Intelligence and Intelligent Informatics (JACIII) SCIS&ISIS2006 special issue of JACIII Vol.11 (2007). [get it]
5) V. Qazvinian, H. Abolhassani, and S. H. Haeri, Coincidence-Based Mapping Extraction with Genetic Algorithms, in Proceedings of 3rd International Conference on Web Information Systems and Technologies (Webist 2007) Barcelona, Spain, March, 2007. [get it]
6) Abolhassani H., B. B. Hariri, and S. H. HAERI, A New Structural Measure-Based on Graphs of Ontologies, Scientia Iranica, 2006 http://www.scientiairanica.com
7) Abolhassani, H., Bagheri-Hariri, B., Haeri, S.H. (2006) On Ontology Alignment Experiments, Webology, 3(3), Article 28. Available at: http://www.webology.ir/2006/v3n3/a28.html
8) S. H. HAERI, B. B. Hariri, H. Abolhassani, Coincidence-Based Refinement of Ontology Matching, Joint 3rd International Conference on Soft Computing and Intelligent Systems and 7th International Symposium on advanced Intelligent Systems (SCIS & ISIS 2006) [get it]
Contact:
N.B. Remove the trailing XYZ from my email addresses below if you're not a robot!
| email (academic) | hossein {a} tu {hyphen} harburg {dot} deXYZ | |
| email (other) | hossein {dot} haeri {a} gmail {dot} comXYZ | |
| phone (office) | +49 40 428 78 21 80 | |
| snail mail | Raum 4.044 | |
| Schwarzenbergstraße 95 (E) | ||
| 21073 Hamburg, Germany |
© 2011 Hamburg University of Technology (TUHH) - Institute for Software Systems (E16)