·        Research & Development: Theorem Proving,  Model Checking, Formal Methods, SAT-Solvers, VLSI Design, High Level Synthesis, ASIC/SOC modeling and verification, Computer Architecture, Digital Design, Fault Tolerant & Software Engineering.

                                ·        Teaching: Digital Design, Computer Architecture and Organization, Microprocessor, Operating System, Networking & Programming Languages.

                                ·        Project Management & Administration: System Support, UNIX System Administrator, Software (Programmer), Hardware & Networking.