Renato Neves

I am a postdoctoral researcher at University of Minho & INESC TEC. My overarching focus is on the development of reasoning tools, syntax, and semantics for cyber-physical systems, a highly complex class of devices that intertwines different aspects of analysis, control theory, and computer science. Cyber-physical systems are a main ingredient of the 21st century's technology, but even so they are still remarkably difficult to design and analyse in a systematic and disciplined way. My collaborators and I have been tackling this challenge by applying and advancing different mathematical frameworks. In particular, monad-based programming, automata theory and coalgebra, modal and dynamic logic, and category theory. I am also a research associate in the QuantaLab Research Center (http://www.quantalab.org), where I study the foundations of quantum computing. I am currently working with two students on semantics and behavioural equivalences for quantum transition systems. I am also an invited teaching assistant at University of Minho and team member of the research projects Klee, Da Vinci, and Dalí. I (co)authored 22 publications in international peer-reviewed conferences and journals. I regularly review submissions to international peer-reviewed conferences and journals as well.

Sou investigador pós-doutorado na Universidade do Minho e no INESC TEC. O meu foco principal é o desenvolvimento de ferramentas de análise, sintaxe e semântica para sistemas ciber-físicos, uma classe altamente complexa de sistemas que entrelaça diferentes aspectos de análise, teoria de controlo e ciências da computação. Os sistemas ciber-físicos são um ingrediente fundamental na tecnologia do século XXI, mas mesmo assim são notavelmente difíceis de projetar e analisar de maneira sistemática e disciplinada. Os meus colaboradores e eu temos vindo a abordar este problema aplicando e desenvolvendo diferentes estruturas matemáticas. Em particular, programação baseada em mónadas, teoria de automatos e coalgebra, lógica modal e dinâmica e teoria das categorias. Também sou investigador associado no QuantaLab Research Center (http://www.quantalab.org), onde estudo os fundamentos da computação quântica. Actualmente, estou a trabalhar com dois estudantes em semântica e equivalências comportamentais para sistemas de transição quântica. Sou professor assistente convidado na Universidade do Minho e membro da equipa dos projetos de investigação Klee, Da Vinci e Dalí. (Co) escrevi 22 publicações em conferências e revistas internacionais avaliadas por pares. Também avalio regularmente submissões a conferências e revistas internacionais.