Leticia Mara Peres

Departamento de Informática: http://www.inf.ufpr.br/

URL: http://www.inf.ufpr.br/~lmperes
Voice:(+55) 41 3361 3569

(+55) 41 3361 3031

Mailing address
R. Cel. Francisco H. dos Santos, 100
Departamento de Informática - UFPR 
Centro Politécnico - Jardim das Américas
Caixa Postal 19081
81531-980  - Curitiba/PR - Brasil

About me
I am assistant professor at Universidade Federal do Paraná. More details in my CV Lattes 

Teaching Now (May, 2021)
CI167/1090/7060Tópicos em Engenharia de Software: Sistemas de Informação em Saúde (Informática Biomédica, Ciência da Computação e PPGINF): Moodle, TER, 13:30~15:30


CI221 – Engenharia de Software (Ciência da Computação e Informática Biomédica): Moodle, QUA, 17:30~19:30


Past

CI162 – Engenharia de Requisitos (Ciência da Computação e Informática Biomédica): TER e QUI, 17:30~19:30

CI242 – Tópicos de Pesquisa em Informática (Biomedicina)
•CI090/CI808 – Práticas de Engenharia de Software

CI055 – Algoritmos e Estruturas de Dados I
•CI1003 – Introdução à Ciência da Computação: SEG 17:30~19:30

CI208 – Programação de Computadores
•CI163 – Projeto de Software

CI305/CI851– Tópicos Especiais I e em Computação V
Opportunities
• Undergraduation students: Trabalho de Graduação (TG) BCC e InfoBio
• Graduation students: Doutorado e Mestrado PPGInf

Research Interest
• Verification and Formal Methods. More details LIAMF.
• Open Source Software Engineering. More details C3SL.
• Open Source Healthcare Systems. More details C3SL and IHC.
• Health Informatics. More details C3SL and IHC.
• Embedded Software Engineering. More details DART.

Tools
• Global Time Petri Net Analysis, 2010(tar)

RDBL2Onto, 2017 (tar)
• Sequence Diagram/UML to Timed Petri Net, 2012
(tar)
• Risk Analysis with RedMine, 2013
(tar.gz)