Lucas Bourneuf


Github     Blog     Links

Education

2016-2019 (expected)

PhD, Computer Science; Université de Rennes 1, DYLISS team

Thesis title: Justifiable graph decomposition to assist biological network understanding Supervisor: Dr Jacques Nicolas

2014-2016
Master Bioinformatique et Génomique; Université de Rennes 1 (rank=3/36)
2011-2014
Licence informatique; Université du Maine (Le Mans) (rank=1/24)

Scientific Publication

FCA4AI 2018 (workshop at IJCAI/ECAI)
Formal Concept Analysis for Artificial Intelligence (acceptance rate 60%). L. Bourneuf ; An Answer Set Programming Environment for High-Level Specification and Visualization of FCA. links: publication, software.
ICFCA 2017
Int. Congress on Formal Concept Analysis (acceptance rate 30%). L. Bourneuf, J. Nicolas ; FCA in a Logical Programming Setting for Visualization Oriented (Power) Graph Compression.
Best paper award. link.

Teaching & Science Popularization

Blog articles

popularization, opinions, project presentation

Teaching
git, python and java (master’s degree) (2015-2017)
network (bachelor’s degree) (2017)
Movie
Participation to & organization of Science-en-Cour[t]s (2017, 2018)

Professional Experience

2016
Engineer (2 months) in the DYLISS team on formal methods applied to agronomic data. Supervisor: Dr Denis Tagu.
2015—2016
Internships (4 and 6 months) at INRIA-Bretagne in the DYLISS team on formal concept analysis, graph theory and constraint programming applied to biological data. Supervisor: Dr. Jacques Nicolas.
2012—2017
Participant to Hackathon Les 24h du code at Le Mans. rank=1 in 2017.
2014
Congress host at the CIGRÉ (international congress on electricity transport).

Technical Experience

Thesis related repositories
biseau: Implementation of a generalist model builder — Python, ASP
PowerGrASP: Power Graph compression implementation — Python, ASP
BubbleTools: Power Graph programmatic handling — Python
navicept: Implementation of ASP-based lattice navigation in GUI — Python, ASP
Clyngor: Embedding of ASP in Python — Python, ASP
rofetta: Convertion between the main contexts encoding of FCA — Python
Side projects
linear-choosens: efficient implementation of random selection of n elements in m — Python
Weldon: Programming education helper — Python
bfia: Meta-meta-heuristic validates unit tests with brainfuck — Python, C
graffunc: Graph of function — Python
ACCC: Compiler of whatever to whatever — Python
pydelaunator: Delaunay triangulation with robust geometry — Python, C
NeuralWorld: Binary neural networks simulation — Python, ASP
gravastre: N-Body simulation — C++, Qt, SPARQL
pynclose: Wrapper for nclose concept enumeration algorithm — Python, C
constellations in 3D: automatic 3D visualizations of constellations — Python, gnuplot
gerobust: Wrapper for robust geometry — Python, C