Cryptography and Security, Computer Aritmetic, High Perfomance Computing,Distributed Computing.

Formal methods; hardware/software verification; model checking; finite state machine based testing

Information and Network Security, Wireless Network Security, IoT Security and Privacy, Cryptography, Certificate Systems and Public Key Infrastructures, Computer Networks

Computer vision & Machine learning: biometrics, image understanding, NLP applications

Software Engineering; Software Security; Software Quality Assurance; Software Testing; Data-Driven Dynamic Program Analysis

privacy, human computer interaction, natural language processing, computational social science, responsible artificial intelligence

Computer Vision, Deep Learning, Remote Sensing, Precision agriculture, Industrial vision, Biomedical image analysis, Automotive vision systems

Artificial intelligence. Knowledge representation. Automated reasoning. Cognitive Robotics.

Parallel Algorithms; high performance computing; BigData analysis; cryptography; bioinformatics

Computational Social Science; Data Science; Machine Learning; Complex Systems; Network Science; Data Mining

Network security, Cybersecurity, Security Economics, Socio-technical security, Privacy

Hardware Accelerators, Heterogeneous Systems, Parallel Computing, Computer Architecture, GPU Computing, Compiler Optimizations, Embedded Systems, System-on-Chip Architectures

Computational Biology, Bioinformatics, Machine learning,

Data Science, Data Analytics, Applied Machine Learning and AI, Visual Analytics, Complex Systems, Computer Graphics, Virtual Reality, Augmented Reality, Cultural Heritage

software verification and validation, concurrency theory, linearizability, deductive verification, developing testing methods with provable guarantees, proposing reasoning mechanisms for shared-memory and distributed concurrent programs focusing on block-chain platforms

Active database systems; data mining; data mining security; data warehouses; mobile data management.