Professional Profile of Paolo Rocchi

 

Paolo Rocchi has been recognized as an Emeritus Docent at IBM for his outstanding achievements in basic and applied research. Rocchi is also a Contract Professor at Luiss University of Rome.


Rocchi received the degree in physics from the University of Rome in1969, 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 CAI in collaboration with the Italian Ministry of Defense.
Later he implemented CIDI: a trail-blazing application. Rocchi was qualified as an "IBM inventor" for this linguistic software product, which ran for decades. Afterwards he led inquiries on the terminology used in professional environments.

Rocchi took interest in computer security in the early seventies, as one of the pioneers in this 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 inquired 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 yielded a rather natural introduction to computing and IBM released a novel base-course in Italy and abroad. Unfortunately this initiative failed in commercial terms in that customers prefer to take introductory lessons on computer science from schools and universities which have the monopoly over this educational area.

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

*** 

Rocchi's 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
 
  Probability THEORY - 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 twelve volumes, in particular:
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. (2010).

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

*** 

Principal courses 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