Gleifer Vaz Alves
Full-time professor at UTFPR (Federal University of Technology - Paraná, Brazil), Campus Ponta Grossa.
I work at DAINF (Informatics Department) and teach in the Computer Science Undergraduate course and Master's programme (PPGCC). I am also a researcher at LaCA-IS, our research lab on Intelligent Systems; check the laca-is website and YouTube channel for details.
Main research interests: intelligent agents, multi-agent systems, machine ethics, formal verification, autonomous systems, autonomous vehicles, smart cities, formal methods, proof theory, and logic for computer science.
Contact: gleifer at utfpr.edu.br
Lattes (in Portuguese)
Latest updates:
22nd November 2023: talk at SEISICITE on Intelligent Agents (link)
20th to 23rd November: organizing SEI-SICITE 2023.
25th to 27th October 2023: organizing the WPCCG 2023.
11th October: Workshop "Utilização de Model Checking na verificação formal de sistemas autônomos" at WEIT 2023.
11th October presented work "Modelagem formal de abordagens éticas para comportamento de agentes" at WEIT 2023.
3rd October: Talk about the double degree between UTFPR and IPB at SATI 2023.
13rd December 2022 talk at Fórum da Pós-Graduação em Computação do Paraná "Desenvolvimento de Agentes Inteligentes e Perspectivas de Pesquisas na Área (Parte II)" (in Portuguese)
1st November 2022: talk at Fórum da Pós-Graduação em Computação do Paraná "Desenvolvimento de Agentes Inteligentes e Perspectivas de Pesquisas na Área" (in Portuguese).
1st September 2022: presented the work "Aplicação de Árvore de Decisão e Métodos de Precificação em Negociações entre Agentes em um Estacionamento Inteligente" (see slides) at WESAAC 2022 (16th Workshop-School on Agents, Environments, and Applications).
8th Dec. 2021: Invited online talk at Trustworthy Systems Lab Seminar Series (Univ. of Bristol) "An Agent-based of the Road: Autonomous Formalisation, Vehicle Implementation embedded with and the Model Checking".
14-15th Oct. 2021: Chair of WPCCG 2021 online workshop.
1st October 2021: presented the work "An Agent-based architecture with support to Ethical Decisions on a Road Traffic Scenario" at Building and Evaluating Ethical Robotic Systems (IROS 2021 Workshop) (see the paper).
11t June 2021: Invited online talk at Oldenburg Univeristy "Agent-based approach towards Model, Implementation and Formal Verification of Road Junction Rules for an Autonomous Vehicle".
7-9th July 2020: Chair of WESAAC (14th Workshop-School on Agents, Environments, and Applications).
30th June 2020: presented the abstract "First steps towards an Ethical Agent for checking decision and behaviour of an Autonomous Vehicle on the Rules of the Road" at the Second Workshop on Implementing Machine Ethics (see the abstracts).
11th Oct. 2019: presented the paper "An Agent-Based Architecture supported by Temporal Logic for representing the Rules of the Road on Autonomous Vehicles" at FMAS (Formal Methods for Autonomous Systems Workshop), a satellite workshop at FM'2019 (Porto).
7-10th Oct. 2019: Visited IPB (Bragança, Portugal) to discuss the Smart Parking Project and presented "Using rational agents in autonomous systems".
19-20th Sept. 2019: Chair of WPCCG 2019 workshop at UTFPR, Ponta Grossa, Parana, Brazil.
22nd Nov. 2018: presented at PUCRS the research work "Formalising the Rules of the Road & the Agent decision-making on Emergency Scenarios" (slides).
From Aug. 2018 to Feb. 2019: Visiting Researcher at PUCRS (smart research group) under the supervision of professor Rafael H. Bordini.
18th July 2018: presented the work "Formalisation of the Rules of the Road for embedding into an Autonomous Vehicle Agent" at VaVAS 2018 (a FLoC 2018 satellite workshop) (slides).
27th March 2018: presented at BCTCS 2018 the first steps towards the formalisation from the "Rules of the Road", named "Formal Specification of Autonomous Systems Properties by Using a Temporal-Deontic based Logic ".
From Feb. to Aug. 2018: Visiting Researcher at Univ. of Liverpool (autonomy & verification lab) under the supervision of professor Michael Fisher.
20-24th Nov. 2017: Visited IPB (Bragança, Portugal); double degree for Undergraduate course (Computer Science) and research partnerships.
19th Set. 2017: presented the paper: "A Rational Agent Controlling an Autonomous Vehicle: Implementation and Formal Verification" at FVAV 2017, an iFM satellite workshop (Turin, Italy).
