Adriano J. Holanda

System Analyst and Professor
Departamento de Computação e Matemática
Faculdade de Filosofia Ciências e Letras de Ribeirão Preto (FFCLRP) Universidade de São Paulo (USP)
Note: Green links refer to pages in Portuguese

Interests

Computer Programming

By computer programming, I mean all sub-tasks involved in the global and huge task programming. My main concern during the programming activity is how to specify the program I'm developing using a formal language such that my effort in the programming could be reduced and directed to the key aspects of the chosen abstraction to realize the solution of the problem. I'm using Temporal Logic of Actions aka TLA to achieve the formal specification goal. I'm very impressed with the results because the logical aspects of the program are pretty clear in my mind when the specification is done, eliminating a lot of refactoring in the implementation phase. Indeed, TLA can be used to test all reachable states of the model. Another key aspect of the programming activity is the documentation, and to reduce the mismatch of documentation written apart from the code, I've been using CWEB program, and it is amazing how the documentation is being improved with the help of this marvelous tool associated with the concept of literate programming created by Prof. Donald E. Knuth. As an example, I become available the pidcon project documention.

Talks

System Administration

My main role in my job is administer a couple of servers in my department and guarantee the availability of network services. Lately, I'm doing this.

Talk

Complex Networks

Part of my interest in Complex Networks can be represented by the papers below:

Tasks

Publications

Teaching

Nice resources for Computer Science teaching

CV

Currículo Lattes

Education

Points of view I have a great respect

Very very useful links (to me)

Contact

Av. Bandeirantes, 3900
Monte Alegre, CEP 14040-901
Ribeirão Preto-SP
Brasil
+55 (16) 3602-0561
ajh email

Valid XHTML 1.0 Transitional CSS válido!

Adriano J. Holanda Last modified: Sat May 19 00:55:04 BRT 2012