Università di Lugano. University of Lugano. Scegli la lingua. Choose the language.
Welcome to the University of Lugano. This web site has been developed with two content access modalities: visual and oral.
You are now browsing with the visual modality. If you are listening to the web site, you can change the modality and access the oral one, following the next link.
Access to the oral modality of the web site.
Jump to Navigation
Theory and Algorithms
The fundamental problems of theories of programming and their integration with formal notations are widely acknowledged as the most significant areas of computer science research. The theories define, in various different ways, many common notions, such as abstraction, refinement, choice, termination, feasibility, concurrency and communication. Despite many differences, such theories and their combinations provide a means for development of software and hardware designs in a seamless, logically consistent way. Research at the USI Faculty of Informatics spans all areas of the theory of computing and is responsible for the development of the foundations of efficient graph algorithms, and the use of applied logic and formal verification for building reliable systems.
In addition to its depth in the central areas of theory, the University of Lugano provides unique opportunities for students to work with faculty on both theoretical and applied areas, and do their research in areas combining theory and applications.
The research interests of Prof. Papadopoulou are in the design and analysis of algorithms, computational geometry, applications of computational geometry in diverse areas such as VLSI design automation, implementation of geometric algorithms, data structures, algorithmic aspects of computer-aided design for VLSI layout and VLSI manufacturing.
Prof. Schmidhuber is a director of the IDSIA research institute and interested in topics such as machine learning, mathematically optimal universal AI, artificial curiosity and creativity, artificial recurrent neural networks, adaptive robotics, complexity theory, digital physics, theory of beauty, and the fine arts.
Prof. Sharygina's research interests are in software and hardware verification (e.g., model-checking, abstract interpretation, decision procedures, satisfiability modulo theories (SMT)), information security, and concurrent and distributed computing. She heads the Formal Verification and Security Lab
Prof. Wolf's research domain lies in the fields of cryptography, information theory, and quantum information processing. In particular, he is interested in an efficient realization of provably secure cryptographic and other information-processing functionalities based on weak classical or quantum-physical primitives.