Manuel Maarek

Table of Contents

Manuel Maarek

I am a lecturer in the School of Mathematical and Computer Sciences of Heriot-Watt University in Edinburgh. I am a member of the ULTRA Group.

Research

My research interests are in programming language, type theory, formal methods and their application to the safety, security and liability of software.

Here is a list of past and ongoing projects I worked on.

LaFoSec
A study of the intrinsic security of functional programming languages (OCaml, F#, Scala). The project was initiated and funded by the French Network and Information Security Agency (ANSSI) and carried out by a consortium led by SafeRiver. The LaFoSec documents (in French) [LaFoSec-2011] are available on the ANSSI website. We presented some results of the study at JFLA 2013, at the F-IDE workshop [F-IDE-2014], and at ISCE 2015 SEIP [ICSE-SEIP-2015-a].
LISE
Liability Issues in Software Engineering was an ANR funded project (ANR-06-SECU-0007) led by Daniel Le Métayer.
MathLang
MathLang is a project for computerizing mathematical texts and knowledge led by Fairouz Kamareddine and Joe Wells
FoCaLize
FoCaLize is a formal development environment for certified programs.

Contact

email address
M.Maarek@hw.ac.uk
online profiles
Google Scholar, LinkedIn, ResearchGate, DBLP, Academia
office
EM 1.63 (Earl Mountbatten Building, Riccarton Campus)
phone number
+441314513287
address
School of Mathematical & Computer Sciences
Heriot-Watt University
EH14 4AS Edinburgh
United Kingdom

Teaching

2015-2016 S1 F21SF
Software Engineering Foundations with Katrin Lohan and Hani Ragab.
2015-2016 S1 F28DA
Data Structures and Algorithms with Rob Pooley and Mohammad Hamdan.
2014-2015 S2 F29FB
Foundations 2 with Joe Wells.
2014-2015 S1 F28DA
Data Structures and Algorithms with Rob Pooley and Mohammad Hamdan.

Biography

2014-present
Lecturer Computer Science at Heriot-Watt University in Edinburgh
2010-2014
Research Engineer at SafeRiver in Paris
2008-2010
Postdoctoral Fellow at Inria in Grenoble
2007-2008
ERCIM Research Fellow at CRP Henri Tudor in Luxembourg
2002-2007
PhD Student at Heriot-Watt University in Edinburgh
1998-2002
Undergraduate Student at UPMC in Paris

Publications

[ICSE-SEIP-2015-a]
Damien Doligez, Christèle Faure, Thérèse Hardin, and Manuel Maarek. Avoiding security pitfalls with functional programming: a report on the development of a secure xml validator. In 37th IEEE/ACM International Conference on Software Engineering, ICSE 2015, Florence, Italy, May 16-24, 2015, Volume 2, Software Engineering In Practice (SEIP) track, pages 209–218, 2015.
DOI ]
[ICSE-SEIP-2015-b]
Jean-Frédéric Etienne, Manuel Maarek, Florent Anseaume, and Véronique Delebarre. Improving predictability, efficiency and trust of model-based proof activity. In 37th IEEE/ACM International Conference on Software Engineering, ICSE 2015, Florence, Italy, May 16-24, 2015, Volume 2, Software Engineering In Practice (SEIP) track, pages 139–148, 2015.
DOI ]
[F-IDE-2014]
Damien Doligez, Christèle Faure, Thérèse Hardin, and Manuel Maarek. Experience in using a typed functional language for the development of a security application. In F-IDE, EPTCS, pages 58–63, 2014.
DOI ]
[CACM-2011]
Daniel Le Métayer, Manuel Maarek, Eduardo Mazza, Marie-Laure Potet, Stéphane Frénot, Valérie Tong Viet Triem, Nicolas Craipeau, and Ronan Hardouin. Liability issues in software engineering: the use of formal methods to reduce legal uncertainties. Communicantion of the ACM (CACM), 54:99–106, April 2011.
DOI ]
[RDST-2011]
Nicolas Craipeau, Daniel Le Métayer, Marie-Laure Potet, Sylvain Steer, Manuel Maarek, and Valérie Viet Triem Tong. Définition des responsabilités pour les dysfonctionnements de logiciels : cadre contractuel et outils de mise en œuvre. In Etienne Vergès, editor, Actes du colloque Droit, sciences et techniques : quelles responsabilités, LITEC, collection Colloques et Débats. Etienne Vergès, 2011.
[SPLeT-2010]
Manuel Maarek. On the extraction of decisions and contributions from summaries of French legal IT contract cases. In LREC 2010 Workshop on Semantic Processing of Legal Texts (SPLeT-2010), May 2010.
[ICSE-2010]
Daniel Le Métayer, Manuel Maarek, Eduardo Mazza, Marie-Laure Potet, Stéphane Frénot, Valérie Viet Triem Tong, Nicolas Craipeau, Ronan Hardouin, Christophe Alleaume, Valérie-Laure Benabou, Denis Beras, Christophe Bidan, Gregor Goessler, Julien Le Clainche, Ludovic Mé, and Sylvain Steer. Liability in software engineering – Overview of the LISE approach and illustration on a case study. In Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering - Volume 1, ICSE 2010, Cape Town, South Africa, 2-8 May 2010, pages 135–144. ACM/IEEE, May 2010.
DOI ]
[NLELA-2008]
Daniel Le Métayer and Manuel Maarek. Deriving legal arguments from software traces, position paper. In Workshop on the Natural Language Engineering of Legal Argumentation: Language, Logic, and Computation., Faculty of Law, University of Florence, Florence, Italy, December 13 2008.
[JFO-2008]
Manuel Maarek, Yannick Naudet, Patrick Plichart, and Thibaud Latour. Ontologies, règles et services : vers une connaissance actionnable. In Actes des deuxièmes Journées Francophones sur les Ontologies (JFO) 2008, 1 à 3 Décembre 2008, Lyon, France, 2008.
[MKM-2007-a]
Fairouz Kamareddine, Robert Lamar, Manuel Maarek, and J. B. Wells. Restoring natural language as a computerised mathematics input method. In Towards Mechanized Mathematical Assistants (Calculemus 2007 and MKM 2007 Joint Proceedings), volume 4573 of Lecture Notes in Artificial Intelligence, pages 280–295. Springer Verlag, 2007.
DOI ]
[MKM-2007-b]
Fairouz Kamareddine, Manuel Maarek, Krzysztof Retel, and J. B. Wells. Narrative structure of mathematical texts. In Towards Mechanized Mathematical Assistants (Calculemus 2007 and MKM 2007 Joint Proceedings), volume 4573 of Lecture Notes in Artificial Intelligence, pages 296–311. Springer Verlag, 2007.
DOI ]
[NCD-2007]
Fairouz Kamareddine, Manuel Maarek, Krzysztof Retel, and J. B. Wells. Digitised mathematics: Computerisation vs. formalisation. In Review of the National Center for Digitization, volume 10, pages 1–8, Faculty of Mathematics, Belgrade, Serbia, 2007.
[AT65-2007]
Fairouz Kamareddine, Manuel Maarek, Krzysztof Retel, and J. B. Wells. Gradual computerisation/formalisation of mathematical texts into Mizar. In Roman Matuszewski and Anna Zalewska, editors, From Insight to Proof: Festschrift in Honour of Andrzej Trybulec, volume 10(23) of Studies in Logic, Grammar and Rhetoric, pages 95–120. University of Bialystok, 2007. Under the auspices of the Polish Association for Logic and Philosophy of Science.
[MKM-2005]
Fairouz Kamareddine, Manuel Maarek, and J. B. Wells. Toward an object-oriented structure for mathematical text. In Mathematical Knowledge Management, 4th Int'l Conf., Proceedings, volume 3863 of Lecture Notes in Artificial Intelligence, pages 217–233. Springer Verlag, 2006.
DOI ]
[MKM-2003]
Fairouz Kamareddine, Manuel Maarek, and J. B. Wells. Mathlang: Experience-driven development of a new mathematical language. In Proc. [MKMNET] Mathematical Knowledge Management Symposium, volume 93 of ENTCS, pages 138–160, Edinburgh, UK (2003-11-25/---29), February 2004. Elsevier Science.
DOI ]
[MKM-2004]
Fairouz Kamareddine, Manuel Maarek, and J. B. Wells. Flexible encoding of mathematics on the computer. In Mathematical Knowledge Management, 3rd Int'l Conf., Proceedings, volume 3119 of Lecture Notes in Computer Science, pages 160–174. Springer Verlag, 2004.
DOI ]
[Calculemus-2003]
Manuel Maarek and Virgile Prevosto. FoCDoc: The documentation system of FoC. In 11th Calculemus Symposium, September 2003.

Reports and theses

[LaFoSec-2011]
Étude de la sécurité intrinsèque des langages fonctionnels (LaFoSec). Technical report, ANSSI, 2011. SafeRiver, CEDRIC and Normation. Part of the deliverable will published on the ANSSI website.
http ]
[INRIA-RR-7148-2009]
Christophe Alleaume, Valérie-Laure Benabou, Denis Beras, Christophe Bidan, Nicolas Craipeau, Stéphane Frénot, Gregor Goessler, Ronan Hardouin, Julien Le Clainche, Daniel Le Métayer, Manuel Maarek, Eduardo Mazza, Ludovic Mé, Marie-Laure Potet, Sylvain Steer, and Valérie Viet Triem Tong. Liability in software engineering: Overview of the LISE approach and illustration on a case study. Research Report RR-7148, INRIA, December 2009.
http ]
[PhD-2007]
Manuel Maarek. Mathematical Documents Faithfully Computerised: the Grammatical and Text & Symbol Aspects of the MathLang Framework. PhD thesis, Heriot-Watt University, Edinburgh, Scotland, June 2007.
http ]
[DEA-2002]
Manuel Maarek. Conception d'une librairie OMDoc pour FoC. Technical report, Université Pierre et Marie Curie Paris VI, September 2002. MSc thesis / Rapport de DEA.