Margaria, Tiziana.

Integrated circuits- Verification Integrated circuits- Very large scale integration Software engineering Software Engineering. Mathematical Logic and Formal Languages. Logics and Meanings of Programs. Computer software- Validation Science- Data processing. Robots- Programming Software Engineering/Programming and Operating Systems. Systems engineering Operating Systems. Computation by Abstract Devices. Artificial Intelligence (incl. Robotics) Information Systems Applications (incl. Internet) Database Management. Algorithm Analysis and Problem Complexity. Control Structures and Microprogramming. System design- Congresses. Programming Languages, Compilers, Interpreters. Formal methods (Computer science) Information Storage and Retrieval. System design Computer science- Philosophy. Special Purpose and Application-Based Systems. Computer Science Logic and Foundations of Programming. Data Mining and Knowledge Discovery. Models and Principles. Computer Engineering and Networks. Information Systems Applications (incl.Internet) Service-oriented architecture (Computer science) Business Information Systems. Machine learning Artificial Intelligence. Formal Languages and Automata Theory. Computer software- Development Computer Science. Computer Communication Networks. Computer software- Verification Computers and Society. Simulation and Modeling. Computer System Implementation. Blockchains (Databases) Computer Hardware. System analysis Computer engineering