Global outreach
Long visits (longer than a month)
- France (1977-1980):
Doctoral Candidate in Automation and Control Engineering, from
one of the finest research centres in France: le Laboratoire
d'Automatique de Grenbole, Grenoble, France (1980). His thesis won
him the highest rating given to doctoral theses: "Très
Honorable et les félicitations du jury" which may be
translated as : Highly commended, and appreciated by the jury. Since then, he has
followed a policy of regular sabatical visits, to rejuvenate his research interests.
Details of his French connections ||
Overview of his Doctoral thesis 
- France (1983): Post-
doctoral
Fellow, Institut National de la Recherche en Informatique et en
Automatique, (INRIA)
Rocquencourt (Invited by Prof. G Lelann).
Major activities -- Research on
Petri Nets. Authored an innovative
paper on representation of Petri nets as linear difference equations.
- France (1988-1989) :
Visiting Associate Professor, Ecole des Mines de St. Etienne , St.
Etienne (Invited by Prof. P Ladet ).Major
activities -- Research on safety in automation. Taught a
course on software engineering.
- France (1993) :
Directeur de
Recherches,
Centre National de la Recherches Scientifiques
(CNRS), Grenoble. Major activities --
Research on safety of automation
systems particularly in the manufacturing sector.
- Macau / China (1993-1994):
Visiting
Expert, United Nations University, International Institute
for Software Technology (UNU/IIST), Macau. (Invited by Prof. Dines
Bjorner).
Major activities --
Research on application of formal
methods for the railways. RAISE, RSL , Lectures for University of
Macau. Project leader for a United Nations sponsored project for the
Chinese Railways.
- Germany (1999-2000):
Gastwissenschaftler, Institut fuer Regulungs-und
Automatisierungstechnik (IfRA),
Technical University of
Braunschweig. (Invited by Prof. E Schneider).
Major activities --
Research on safety in railways sector. Interaction with European
railways.
Taught "safety" to the Germans !
Taught a course on “safety
in automation”. This course was
higly appreciated and was judged (by the
students) unanimously, as the "best course".
- India (2004-2010) : Major activities
--Taught courses on: discrete mathematics", "artificial
intelligence" , "selected topics in Unix", "cryptography". Personal research on
Linux, and technology enhanced learning.
- Kathmandu, Nepal (2011-2014):
Visiting Professor, Kathmandu University. Taught courses on cryptography.
Visited Tribhuvan University and various
other institutions in Kathmandu.
Short visits (lesser than a month)
- Poland (2009) Visited and
lectured at the AGH University of
Science and Technology, Krakow (Prof. K Cetnarowicz).
- Thailand (1993): Visiting
Trainer/expert Asian Institute of Technology, Bangkok. Major
activities -- Teaching assistance for course on formal methods,
RAISE, RSL, and durational calculus.
- France:
Laboratoire d'Automatique et d'Analyse de Systemes (LAAS),
Toulouse, France (Invited by Prof. J C Laprie).
- Spain (1989): University of
Zaragossa, SPAIN (Invited by Prof. Manuel
SILVA).
- UK: Cambridge University, UK
- UK: Oxford University, UK.
(Prof. Bernard CARRE , Univ. of
Southampton).
- Australia (2015): Queensland University of Technology, Brisbane
(Prof. Joseph Pieperzyk).
|
