Welcome to my homepage !

 

  • Full-time senior lecturer at PUCRS (Pontifícia Universidade Católica do Rio Grande do Sul), one of the most important universities in Brazil.
  • Researcher financed by CNPq (Brazilian research agency). Level 2.
  • Coordinator of the Dependable Systems Group - CNPq.

Research fields 
  • Coordination Languages
  • Multiparty Interactions 
  • Fault-Tolerant Systems
  • Programming Languages
  • Distributed Systems
  • Parallel Programming
  • Object-Oriented Languages
 
Teaching 
  • Undergraduate courses
    1. Lógica para Computação (in Portuguese)
    2. Computabilidade e Complexidade de Algoritmos
      • A turma 1 tem horário 3CDE
  • Postgraduate courses
    1. Dependable Systems
    2. Logic
    3. Computer Theory
    4. Distributed Computing
  • Sistemas Operacionais
    • Technical Communication 
  • Introduction to Computer Engineering
  • Distributed Operating Systems 
  • Compilers 
  • Introduction to Informatics 
  • Logic and Algebraic Structures
  • Testing and Systems Dependability

Lastest most important publications 
  • 2008
  • CAPOZUCCA, A. ; GUELFI, N. ; PELLICCIONE, P. ; ROMANOVSKY, A. ; ZORZO, A. F. . Frameworks for designing and implementing dependable systems using Coordinated Atomic Actions: a comparative study. Journal of Systems and Software, 2008.
  • 2007
  • MENEGUZZI, F. R. ; ZORZO, A. F. ; MÓRA, M. ; LUCK, M. . Incorporating planning into BDI Systems. Scalable Computing. Practice and Experience, v. 8, p. 23-39, 2007.
  • 2006
  • CHANIN, R. ; CORRÊA, M. ; FERNANDES, P. ; SALES, A. ; SCHEER, R. ; ZORZO, A. F. . Analytical Modeling for Operating System Schedulers on NUMA Systems. Electronic Notes In Theoretical Computer Science, Amsterdan, Holanda, v. 151, n. 3, p. 131-149, 2006.
  • CORREA, M. ; ZORZO, A. F. ; SCHEER, R. . Operating System Multilevel Load Balancing. In: 21stACM Symposium on Applied Computing, 2006, Dijon - France. SAC 2006, 2006. v. 1. p. 1467-1471.
  • CAPOZUCCA, A. ; GUELFI, N. ; PELLICCIONE, P. ; ROMANOVSKY, A. ; ZORZO, A. F. . CAA-DRIP: a framework for implementing Coordinated Atomic Actions. In: 17th IEEE Intenational Symposium on Software Reliability Engineering, 2006, Raleigh, EUA. ISSRE 2006, 2006. v. 1. p. 1-12.
  • 2005
  • ZORZO, A. F.; MENEGUZZI, F. R. An agent model for fault-tolerant systems. In: 20TH ACM Symposium on Applied Computing (SAC2005), Santa Fe- USA. ACM Press, 2005. v. 1, p. 60-65.
  • 2004
  • BORTOLAS, D. O.; ZORZO, A. F.; BEZERRA, E.; OLIVEIRA, F. M.. "Mutation-like Oriented Diversity for Reliability/Maintainability Improvement: A Distributed System Case Study". In: 19th International Symposium on Computer and Information Sciences, 2004, Antalya, Turquia. Lecture Notes on Computer Science (LNCS). Springer-Verlag, 2004. v. 1.
  • BERTOLINI, C.; BRENNER, L.; FERNANDES, P. H. L.; SALES, A.; ZORZO, A. F.. "Structured Stochastic Modeling of Fault-Tolerant Systems". In: 12th IEEE/ACM International Symposium on Modeling, Analysis, and Simulation of Computer and Telecomunication Ssystems, 2004, Volendam - Holanda. MASCOTS2004. IEEE Computer Society, 2004. v. 1, p. 1-8.
  • MENEGUZZI, F.; ZORZO, A. F.; MÓRA, M.. "Propositional Planning in BDI Agents". In: 19th ACM Symposium on Applied Computing (SAC2004), 2004, Nicosia, Chipre. p.58-63
  • ESPINDOLA, A. P.; BECKER, K.; ZORZO, A. F.. "An Extension to UML Components to Consider Distribution Issues in Early Phases of Application Development". In: 37th Hawaii International Conference on System Sciences (HICSS37), 2004, Big Island, Hawaii.
  • 2003
  • ZORZO, A. F.; ROMANOVSKY, A.; Periorellis, P. "Using Coordinated Atomic Actions for Building complex Web Applications". In: 8th IEEE International Workshop on Object-Oriented Real-Time Dependable Systems (WORDS2003), 2003, Guadalajara, Mexico.
  • ROMANOVSKY, A.; PERIORELLIS, P.; ZORZO, A. F. "Structuring Integrated Web Applications for Fault Tolerance". In: 6th IEEE International Symposium on Autonomous Decentralized Systems (ISADS2003), 2003, Pisa, Italy, p. 99-106.
  • 2002
  • ZORZO, A. F.; RANDELL, B.; ROMANOVSKY, A. "TLA Specification of a Mechanism for Concurrent Exception Handling". In: Paul Ezhilchelvan; Alexander Romanovsky, Concurrency in Dependable Computing , Chapter 3, Amsterdam - Holland, Kluwer Academic Publishers, 2002, p. 41-59. (Previously presented at Workshop on Concurrency in Dependable Computing (22nd International Conference on Petri Nets), 2001, Newcastle upon Tyne, UK, pp. 27-36.
  • XU, J.; RANDELL, B.; ROMANOVSKY, A.; STROUD, R.; ZORZO, A. F.; CANVER, E.; HENKE, F. V. "Rigorous Development of an Embedded Fault-Tolerant system based on Coordinated Atomic Actions". IEEE Transactions on Computers, USA, v. 51, n. 2, p. 164-179, 2002.
  • 1999
  • ZORZO, A. F.; STROUD, R. "A distributed object-oriented framework for dependable multiparty interactions". ACM Sigplan Notices , USA, v. 34, n. 10, p. 435-446, 1999. (OOPSLA99)
  • ZORZO, A. F. "Dependable Multiparty Interactions: A Case Study". In: Technology of Object-Oriented Languages and Systems - Europe99, 1999, Nancy, France, Proceedings of TOOLS99, IEEE Computer Society Press, 1999, p. 319-328.
  • ZORZO, A. F.; ROMANOVSKY, A.; XU, J.; RANDELL, B.; STROUD, R.; WELCH, I. Using Coordinated Atomic Actions To Design Safety-Critical Systems: A Production Cell Case Study. In: Software: Practice and Experience, Chichester - UK, v. 29, n. 8, p. 677-697, 1999.

If you like games, have a look at Settlers of Catan. It is a very nice game and helped me a lot during my PhD. I've made very good friends playing the game - see our ranking. At that time I translated the rules from German to English. A friend of mine, Martin Beet, helped me a lot.

E-mail address: zorzo at inf dot pucrs dot br

Links

Last updated: August, 5th 2008