Research groups
- Securing information systems from malicious attacks
- Knowledge discovery in data
- Identification, recognition, and tracking of objects
- Secure and reliable network architectures
- Recognition and analysis of natural languages
- Dependable and adaptive circuit architectures
- Formal verification and simulation for the design of secure systems







