Formal Methods techniques applied to Security problemsAttributing and Investigating Cyber AttacksThreat Models for IoT devices and Hybrid systemsSecure Data Sharing/Re-UsingApplying Argumentation and Knowledge Representation for Cyber Security
Dr Firman is exploiting the emerging memristive system for ultra-high dense data storage, AI-hardware accelerator, and sensor applications, where these multifunctional capabilities can exist in single architectonic enabling reconfigurable and adaptive electronic system. He is interested in integrating memristive devices with various electronics and photonics (RF, LED, waveguide, etc.) to open a new way of controlling the electrical/material properties of the integrated devices/circuits.