Texture Lab \/ Strategic Futures Laboratory, <\/p>\n My research interests are a mixture of Data Science, Human-Computer Interaction, and Machine Learning. In particular, I investigates user confidence and trust in automated systems, i.e. explainable AI. My Ph.D. research focuses on user confidence in automated topic map visualisation. In particular, I have implemented and analysed the effects of data-driven explanations when used to improve user confidence. My investigations led me to draw out confidence-driven usability recommendations.<\/p>\n Using the Topic Hex Map application I developed for my research, we produced an overview of British and European funded research in the UK. I have been involved in the Tinker project since my last year of undergraduate studies. Pierre Le Bras BSc (Hons) Texture Lab \/ Strategic Futures Laboratory, School of Mathematical and Computer Science, Heriot-Watt University, Edinburgh, EH14 4AS pl196 at hw dot ac dot uk +44 (0)131 451 4166 LinkedIn profile, Website Conferences and Publications Improving … Continue reading
\nSchool of Mathematical and Computer Science,
\nHeriot-Watt University, Edinburgh, EH14 4AS
\npl196 at hw dot ac dot uk
\n+44 (0)131 451 4166
\nLinkedIn profile<\/a>, Website<\/a><\/p>\n<\/div>\n<\/a>Conferences and Publications<\/h1>\n
\n
\n
Pierre Le Bras, David A. Robb, Thomas S. Methven, Stefano Padilla, Mike J. Chantler<\/ul>\n
In Proceedings of the 2018 CHI Conference on Human Factors in Computing Systems. ACM, 2018.<\/ul>\n<\/ul>\n<\/li>\n
\n
Yuhui Lin, Pierre Le Bras, and Gudmund Grov<\/ul>\n
In International Conference on Tools and Algorithms for the Construction and Analysis of Systems, pp. 573-579. Springer Berlin Heidelberg, 2016.<\/ul>\n<\/ul>\n<\/li>\n<\/ul>\n
<\/a>Research Interests<\/h1>\n
<\/a>Projects<\/h1>\n
<\/a>9 Years of Uk and EU Research<\/h2>\n
\nWebsite : strategicfutures.org\/hexmaps\/ukeutopics\/2017-01\/<\/a><\/p>\n<\/a>Tinker<\/h2>\n
\nTinker is a tool enabling Proof Strategies to be represented as graphs (called PSGraphs) and works on top of Theorem Provers (e.g. Isabelle, ProofPower).
\nMy main work was to re-create an interface that would allow more functionalities with PSGraphs such as hierarchies and a better communication protocol between the interface and the Theorem Provers.
\nWebsite : ggrov.github.io\/tinker<\/a><\/p>\n","protected":false},"excerpt":{"rendered":"