Professional Profile of Paolo Rocchi

 

Paolo Rocchi is a scientist and docent of IBM. He received the degree in physics from the University of Rome, and was associated to the same Institute of Physics as an assistant. Next year he joined IBM as an expert of computer assisted instruction (CAI), an innovative sector in those times, and managed a project on automatic methods of teaching in collaboration with the Italian Ministry of Defense.

Later he implemented CIDI: a trail-blazing application. Rocchi was recognized as an "IBM inventor" for this linguistic software product, which has run for decades. Afterwards he has lead inquiries on the Italian language used in professional environments.

Rocchi took interest in computer security in the early seventies, as one of the IBM pioneers in the field. He has written a book on this topic. 

In the late seventies, Rocchi started investigations upon the principles of the hardware/software systems. Theoretical foundations of informatics cross several disciplines and he investigated a broad variety of themes over fifteen years with the aid of a small team of ibmers and academicians. The philosophical scenario and the formal key results began to be published in the nineties. Rocchi put forward a unitary logical framework for information, control and systems, which he expressed through mathematical formalism. Besides integration purposes, this work provided original contributions in special fields such as in  information theory, software methodology, edp analysis, reliability theory, and neuro-sciences. In addition this new organization of knowledge led a more natural teaching of computing and IBM has released educational products in Italy and abroad. 

During the same decades, Rocchi produced results in the realm of the philosophy of mathematics, notably he has put forward an interpretation of the probability which constitutes an open problem since three centuries.

*** 

His recent stream of research is focusing on:
 

(Fields)

 

(Areas)

- Evolutionary nature of software programming
- Methodologies in software engineering
- Programming design with information fields
 
- Computer Science 
- Unifying calculus of redundancy
- Relativism of classical and quantum information
- The information triade
 
- Information Theory 
- Structures of levels
- The layered properties of info system
 
- General Systems 
- Stochastic or Boltzmann-like entropy
- System aging and mortality laws
- The reparability function
 
- Reliability Theory
- The calculus of cancer tissues growth
 
- Theoretical Biology 
- The dualist interpretation of probability
- The structure of random events
- History of the indeterministic thought
 
- Calculus of Probability 
- Deductive teaching methods in informatics
 
- Didactics 
- Social networks
- Advanced Software

 

Rocchi has written over one hundred works including eleven volumes. The following books ranked the list of top-sellers at amazon.com:
Technology+Culture=Software     IOS Press, Amsterdam (2000).
The Structural Theory of Probability     Kluwer/Plenum, N.Y. (2003).

He is currently serving different journals and congress organizations as chair, reviewer etc.

*** 

Principal courses currently taught:
- Foundations of Computer Science and Programming
- Structural Analysis and Design
- Objects-Oriented Analysis
- ITIL

Known programming languages and environments:
- Assembler, Cobol, PL1, C, Apl, Prolog, Lisp, Fortran, Snobol, Java, Sql, Html
- Mvs, Dos/vse, Vm, Ms/dos, Unix

***

Membership:
- AMS (American Mathematical Society)
- ACM (Association for Computing Machinery)
- IFIP (International Federation for Information Processing)
- CSHPM (Canadian Society for History and Philosophy of Mathematics)
- Coucil of AICA (Associazione Italiana per il Calcolo Automatico) (Roma)
- AI*IA (Artificial Intelligence Italian Association) (founder member)
- Advisory Board of ICMM (Intl. Center for Math. Modeling) (Sweden) (former member)

Recipient:
- IBM Special Award (1978)
- IBM Prize for Scientific Publications (1990)
- IBM Prize for Scientific Publications (1992)

Biographical entry in Who's Who in the World (Marquis, 2002, 2003, 2004, 2007)

Rocchi's scientific production has been appreciated even beyond the scientific community. Mass media commented his achievements in successive stages.

Last Titles


International Home

=