Français Anglais
Accueil Annuaire Plan du site
Home > Research results > Dissertations & habilitations
Research results
Faculty habilitation de MELQUIOND Guillaume
MELQUIOND Guillaume
Faculty habilitation
Group : Verification of Algorithms, Languages and Systems

Formal Verification for Numerical Computations,and the Other Way Around

Starts on 01/01/1970
Advisor :

Funding :
Affiliation : vide
Laboratory :

Defended on 01/04/2019, committee :
Rapporteurs :
- Luc Jaulin (Université de Bretagne Occidentale)
- David Monniaux (CNRS)
- Warwick Tucker (Université d'Uppsala)

Autres membres du jury :
- Yves Bertot (Inria)
- Florent Hivert (Université Paris Sud)
- Claude Marché (Inria)
- Jean-Michel Muller (CNRS)
- Sylvie Putot (École Polytechnique)

Research activities :

Abstract :


Ph.D. dissertations & Faculty habilitations
DESIGNING INTERACTIVE TOOLS FOR CREATORS AND CREATIVE WORK
Creative work has been at the core of research in Human-Computer Interaction (HCI). I describe the results of a series of studies that look at how creators work, where creators include artists with years of professional practice, as well as learners, or novices and casual makers. My research focuses on three creation activities: drawing, physical modeling, and music composition. For these activities, I examine how artists switch between representations and how these representations evolve throughout their creative process, from early sketches to fine-grained forms or structured vocabularies. I present interactive systems that enrich their workflow (i) by extending their computer tools with physical user interfaces, or (ii) by making physical materials interactive. I also argue that sketch-based representations can allow for user interfaces that are more personal and less rigid. My presentation will reflect on lessons and limitations of this work and discuss challenges for future design-support tools.

INCREASING THE BANDWIDTH OF INTERACTIVE VISUALIZATIONS, USING COMPLEX DISPLAY ENVIRONMENTS AND TARGETED DESIGNS
Interactive visualizations combine human computer interaction, visual design, perception theory, as well as data processing methods in order to propose visual data representations that amplify cognition, and aid data exploration and understanding. We can consider visualization as a communication medium or channel between humans and their data. The higher the communication bandwidth (the data that can be communicated and understood), the more effective the visualization is. My research attempts to increase the bandwidth of this communication channel in the following two ways. (i) First, by moving away from traditional desktops towards larger displays that can both render larger amounts of data and can accommodate multiple viewers. (ii) And second, by designing and studying appropriate visual representations that show salient information. In my presentation I will describe my work on these topics, the challenges it tries to address, and discuss the methodology and inspiration behind this research.

MODéLISATION DE SYSTèME PHYSIQUES PAR APPRENTISSAGE STATISTIQUE PROFOND