My area of Interests:
Formal Verification, Real-time/Embedded System (iRMX86 on multi-bus-I/II) developments, PLCs based real-time control system, PC-Based Supervisory Control, Micro-Controller based system and related hardware and software development, Linux/Unix based system (both systems and applications) development, IT related services and development, Grid Computing and related development, High Performance Computing, Computer Networks, Remote access via Mobile Networks/VSAT.