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 put forward an answer upon the interpretation of the probability which constitutes an open problem since three centuries.

*** 

His recent stream of research is focusing on:
 

(Fields)

 

(SubFields)

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

 

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 recently 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 (Ass. Italiana per il Calcolo Automatico) (Roma)
- AI*IA (Artificial Intelligence Italian Association) (founder member)
- ICMM (Intl. Center for Math. Modeling) (Sweden) (former member of the advisory board)

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