Alexis Linard

Postdoctoral Researcher KTH Royal Institute of Technology

More About Me
About

Postdoctoral Researcher

Profile Picture

I am Alexis Linard, Postdoctoral Researcher at KTH - Royal Institute of Technology, Stockholm (Sweden). I am part of the division of Robotics, Perception and Learning (RPL), as well as the WASP Expedition Project on Correct-by-design and Socially Acceptable Autonomy (CorSA). I am currently doing research in the fields of Cyber-Physical Systems, Robotics, Automata and Model Learning.

Publications

Active Learning of Signal Temporal Logic Specifications.
(2020). Linard, A. & Tumova, J. In Proceedings of the IEEE 15th International Conference on Automation Science and Engineering, CASE 2020 (pdf)
Learning Models for Cyber-Physical Systems.
(2019). Linard, A. PhD thesis (pdf)
Fault Trees from Data: Efficient Learning with an Evolutionary Algorithm.
(2019). Linard, A., Bucur, D., Stoelinga, M. In Proceedings of the Symposium on Dependable Software Engineering: Theories, Tools, and Applications, SETTA 2019 (pdf)
Induction of Fault Trees through Bayesian Networks.
(2019). Linard, A., Bueno, M., Bucur, D., Stoelinga, M. In Proceedings of the 29th European Safety and Reliability Conference, ESREL 2019 (pdf)
An Application of Hyper-Heuristics to Flexible Manufacturing Systems.
(2019). Linard, A., van Pinxten, J. In Proceedings of the 22nd Euromicro Conference on Digital System Design, DSD 2019 (pdf)
Learning Unions of k-Testable Languages.
(2019). Linard, A., de la Higuera, C., Vaandrager, F. In Proceedings of the International Conference on Language and Automata Theory and Applications, LATA 2019 (pdf)
Learning Several Languages from Labeled Strings: State Merging and Evolutionary Approaches.
(2018). Linard, A. arXiv preprint: arXiv:1806.01630 (pdf)
Asymmetric hidden Markov models.
(2017). Bueno, M. L., Hommersom, A., Lucas, P. J., & Linard, A. International Journal of Approximate Reasoning, 88, 169-191. (pdf)
Learning Pairwise Disjoint Simple Languages from Positive Examples.
(2017). Linard, A., Smetsers, R., Vaandrager, F., Waqas, U., van Pinxten, J., & Verwer, S. arXiv preprint: arXiv:1706.01663 (pdf)
Towards adaptive scheduling of maintenance for cyber-physical systems.
(2016). Linard, A., & Bueno, M. L. In Proceedings of the 7th International Symposium on Leveraging Applications of Formal Methods (pp. 134-150). (pdf)
Extraction de lexiques bilingues à partir de corpus comparables spécialisés à travers une langue pivot.
(2016). Linard, A., Daille, B., & Morin, E. In Actes de la conférence conjointe JEP-TALN-RECITAL 2016 (2), 180-193 (pdf)
Learning complex uncertain states changes via asymmetric hidden Markov models: an industrial case.
(2016). Bueno, M. L., Hommersom, A., Lucas, P. J., Verwer, S., & Linard, A. In Proceedings of the Eighth International Conference on Probabilistic Graphical Models, 50-61, PGM 2016 (pdf)
Attempting to bypass alignment from comparable corpora via pivot language.
(2015). Linard, A., Daille, B., & Morin, E. In Proceedings of the Eighth Workshop on Building and Using Comparable Corpora (pp. 32-37). (pdf)

Teaching

Languages and Automata (Talen en Automaten).
2017, 2018
Algorithms and Data Structures.
2017
Machine Learning in Practice.
2016, 2017, 2018

Master Thesis Proposals

STL Satisfaction Visualization for Temporal Logic Inference.
Starting date: ASAP.
Full description here.
Hierarchical Clustering of STL Formulae.
Starting date: ASAP.
Full description here.

Work Experience

Postdoctoral Researcher

since October 2019

KTH Royal Institute of Technology

Stockholm, Sweden.

PhD Candidate

September 2015 - August 2019

Radboud University

Nijmegen, The Netherlands.

Intern as researcher in NLP

January 2015 - July 2015

Université de Nantes

Nantes, France.

Intern as researcher in Machine Learning

May 2014 - July 2014

Universitat Politècnica de Catalunya

Barcelona, Spain.

Programmer Analyst

March 2013 - September 2013

Netapsys

Nantes, France.

Intern as Programmer Analyst

April 2012 - June 2012

Coremain

Santiago de Compostela, Spain.

Education

Doctoral Degree

2015 - 2019

Radboud University

Nijmegen, The Netherlands.

Master Degree

2013 - 2015

University of Nantes

Nantes, France.

Bachelor Degree

2010 - 2013

University Institutes of Technology of Nantes, University of Nantes

Nantes, France

Where to find me

Department of Robotics, Perception, and Learning (RPL)
School of Computer Science and Communication
KTH Royal Institute of Technology
Lindstedtsvägen 24, floor 4, room 419
SE-100 44 Stockholm, Sweden

Email Me At

linard@kth.se