Assistant ProfessorDepartment
of Computer Science - ITA
Contact
Email address: juliana@ita.br
Research Interest
- Formal Methods: CCS, CSP, pi-calculus, TLA.
- Embedded and Real-Time Systems.
- Software Enginering.
Education
- M.Sc. in Computer Science, Instituto Tecnologico de
Aeronautica S.J. Campos, Brazil, 2006, Supervisor:
Celso Massaki
Hirata.
- B.Sc. in Computer Engineering Instituto Tecnologico de
Aeronautica S.J. Campos, Brazil, 2003.
Conference Papers
- BEZERRA, J. M.; HIRATA, C. M. A Semantics for
UML-RT using pi-calculus. In: Rapid System Prototyping,
2007, Porto Alegre, RG, Brazil. 18th IEEE/IFIP International
Workshop. IEEE, 2007. p. 75-82.
- Hirata, C. M.; Pontes, G. M.; Bezerra, J. M.;
Anzaloni, A. UControl: A Bluetooth for controlling
devices. In: 6th World Multiconference on
Systemic, Informatics, and Cybernetics, p.430-435, July
14-18, 2002, Orlando, FL, USA.
Courses
- 2009
- CES11 - Algorithms and Data
Structure
