Information Systems Engineering

Research in the information systems area includes systems engineering and systems analysis, software engineering, software testing and verification, computational logic, decision procedures, satisfiability, databases and data storage, artificial intelligence and autonomous systems, communication, distributed systems, electronic commerce, information retrieval, and natural language processing, as well as more general topics such as algorithms, game theory and human factors engineering.