Information Appliances, Electronic Commerce, Java Security, Parallel Computing, Time Series Forecasting
Automated Reasoning, Logic Programming, Rewrite Systems, Networks, Distributed Systems
Formal Methods & Software Engineering, Distributed Computing, Network & Information Security & Survivable Systems
High-speed Optical Networks, Carrier Ethernet, Data-Center and SDNs, Networks, Distributed Systems
Computer Networking, Wireless Communication, Distributed Systems, Network Security
Computer Architecture Processor architecture & micro-architecture VLSI Testing Fault-tolerant computing Robust design and architectures Self-healing system design SoC/NoC design and test Post Silicon Debug High level synthesis Formal verification
Distributed Message Dissemination using Social Network in Secured and Privacy Preserving Way