Russ Harmer גם זה יעבור

russ harmer

russell point harmer arobase ens tiret lyon point fr Chargé de Recherche au CNRS Chef de l'équipe Plume (LIP, CNRS - ENS Lyon - UCBL1 - Université de Lyon) Bureau GN1 Nord 326, 46 allée d'Italie, 69364 LYON Cedex 07 google scholar

séminaires / seminars

Le groupe de travail de l'équipe Plume. Séminaire LSC (Langages, Sémantique, Compilation) du LIP (co-organizer and steering committee). Séminaire mensuel CHoCoLa.

événements / events

arXiv 5th International Workshop on Interactions between Computer Science and Biology (PC member). 5th CSL-LICS-VSL Workshop on Logic and Systems Biology (co-chair). 10th International Workshop on Developments in Computational Models (co-chair). Trends in graph transformation (co-organizer). Special issue of EPTCS for the DCM 2014 workshop (co-editor). 11th International Workshop on Developments in Computational Models (PC member). 1st LIP seminar on Languages, Semantics and Compilation (invited speaker). 8th International Workshop on Information and Processes (invited speaker). 6th LICS Workshop on Logic and Systems Biology (co-chair and speaker). 3rd LyonSysBio Conference: Meet the Industry (invited speaker). 15th International Conference on Computational Methods for Systems Biology (invited speaker). Journées Nationales 2018 du GDR Informatique Mathématique (invited speaker). 12th International Workshop on Developments in Computational Models (PC member). 7th LICS-FLOC Workshop on Logic and Systems Biology (co-chair). 27th International Conference on Computer Science Logic (PC member). Workshop on Discrete models and formal verification in biology (invited speaker).
Journées Nationales 2018 du réseau NETBIO (invited speaker). W3C Workshop on Web Standardization for Graph Data (invited participant).
Dagstuhl seminar on Big Graph Processing Systems (invited participant).

enseignement / teaching

MPRI 2-02 (Modèles des langages de programmation: domaines, catégories, jeux), 2004/05-2007/08 (M2). [lecture notes] MPRI 2-19 (Méthodes informatiques pour la biologie systémique et synthétique), 2008/09 (M2). AIV CompBio 2 (Rule-based modeling), 2011/12-2013/14 (M1). ENS Lyon M2IF CR02 (Linear logic & game semantics), 2013/14 (M2). ENS Lyon M2IF CR11 (Rule-based modelling), 2014/15-2015/16 (M2). Groupe de lecture / reading group (théorie des catégories / category theory), 2015/16 (L3/M1).
ENS Lyon M2IF CR08 (Graph-based knowledge representation), 2019/20-2020/21 (M2). With Angela Bonifati. UCBL1 BDW1 (Bases de données et programmation web), groupe TP, 2019/20 (L2).

projets / projects

Executable Knowledge (DARPA Big Mechanism). Active Context (DARPA CwC bio-curation use case).
BioQurate (FIL projet transversal).

développement logiciel / software development

KAMI (Knowledge Aggregator and Model Instantiator) and the KAMIStudio environment. ReGraph: graph rewriting library in Python. More detail on the overall Kappa project.

publications

#GDB = graph DBs, #KR = knowledge representation, #GR = graph rewriting, #RBM = rule-based modelling, #GS = game semantics
Schema validation and evolution for graph databases. #GDB #KR #GR Angela Bonifati, Peter Furniss, Alastair Green, Russ Harmer, Eugenia Oshurko and Hannes Voigt. ER'19 (to appear).
KAMIStudio: an environment for biocuration of cellular signalling knowledge. #KR #GR #RBM Russ Harmer and Eugenia Oshurko. CMSB'19 (to appear).
Knowledge representation and update in hierarchies of graphs. #GDB #KR #GR Russ Harmer and Eugenia Oshurko. ICGT'19 (2019).
Bio-curation for cellular signalling: the KAMI project. #KR #GR #RBM Russ Harmer, Yves-Stan Le Cornec, Sébastien Légaré and Eugenia Oshurko. TCBB (to appear, 2019).
Bio-curation for cellular signalling: the KAMI project (extended abstract). #KR #GR #RBM Russ Harmer, Yves-Stan Le Cornec, Sébastien Légaré and Ievgeniia Oshurko. CMSB'17 (2017).
Rule-based meta-modelling for bio-curation. #KR #GR #RBM #GS Russ Harmer. Habilitation à Diriger des Recherches. ENS Lyon (2017). Soutenance.
A knowledge representation meta-model for rule-based modelling of cellular signalling. #KR #RBM Adrien Basso-Blandin, Walter Fontana and Russ Harmer. DCM'15 (2015). EPTCS 204, pp. 47-59 (2016).
arXiv

27.01.2019