Professional Profile of Paolo Rocchi


Paolo Rocchi received his degree in physics from the University La Sapienza of Rome in 1969 and was associated to the same Institute of Physics as an assistant. Next year he joined IBM where he worked as researcher and teacher for nearly forty years. Upon retirement in 2010 has been recognized as an Emeritus Docent at IBM for his achievements in basic and applied research. Presently he is also an Adjunct Professor at Luiss University of Rome.

Rocchi began his career as an expert of computer assisted instruction (CAI) and managed a project with regard to CAI in collaboration with the IBM Scientific Centers. Later on he implemented 'CIDI' a trail-blazing application, and was qualified as an "IBM inventor" for this linguistic software product, which ran for decades. He led inquiries on the natural language used in professional environments in collaboration with Prof. Roberto Busa.

Rocchi took interest in computer security in the early seventies, as one of the pioneers in this field, and wrote a book on this topic. 

Later on, Rocchi started an inquiry upon the principles of computer systems. This topic, crossing various disciplines, involved multiple investigations for 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. Besides integration purposes, this work provided specific contributions in some fields such as information theory, software methodology, edp analysis, and artificial intelligence. In addition this work yielded a rather natural introduction to computing and IBM released a novel course in Italy and abroad.

During the same decades, Rocchi produced results in probability theory, in particular he focused on the interpretation of probability, an issue debated since three centuries, and also looked into some issues of quantum mechanics.

Rocchi has introduced a new form of entropy to calculate the reliability and reparability of systems.

Now and then he serves on various journals and congress organizations as reviewer, chair etc.


Rocchi's stream of research is focusing on:




  Computer Science  - Software change management
- Methodologies in software engineering
- Programming design
- Validation of relational database
  Information Theory  - Unified calculus of redundancy
- Relativism of classical and quantum info
- Information triad
  General Systems  - Structures of levels
- The layered properties of info system
  Reliability Theory - Boltzmann-like entropy
- System aging and mortality laws
- The reparability function
  Theoretical Biology  - The calculus of cancer tissues growth
  Probability THEORY - The structural approach to probability
- History of the indeterministic thought
- Probability in quantum mechanics
  Didactics  - Deductive teaching methods in informatics
  Software APPLICATIONS - Social networks


Rocchi has written over one hundred forty works including a dozen volumes, in particular one reads:
Technology+Culture=Software, IOS Press, Amsterdam (2000).
The Structural Theory of Probability, Kluwer/Plenum, N.Y. (2003).
Logic of Analog and Digital Machines, Nova Science Publishers, N.Y. (2013) Revised Edition.   »»

Janus-Faced Probability, Springer Verlag N.Y. (2014).
Reliability is a New Science: Gnedenko was right, Springer Verlag N.Y. (2017).


Principal courses thought:
at IBM: Foundations of Computer Science and Programming, Structural Analysis and Design, Objects-Oriented Analysis, ITIL
at LUISS University: Informatics
Known programming languages and environments: Assembler, Cobol, PL1, C, Apl, Prolog, Lisp, Fortran, Snobol, Java, Sql, Html/// Mvs, Dos/vse, Vm, Ms/dos, Unix


American Mathematical Society, Institute of Electrical and Electronic Engineers, International Federation for Information Processing, Canadian Society for History and Philosophy of Mathematics, Accademia Fulginia
founded in 1759 (corresponding member) - Artificial Intelligence Italian Association (founder member) -Former membership: Council of Ass. Italiana per il Calcolo Automatico (Roma), Advisory board of Intl. Center for Math. Modeling (Sweden)


- 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 received recognition in mass media too.


September 2017


Selected Pubblications

Last Titles