Wednesday,
Hours 6:30 PM
- 8:30 PM,
e-mail: | |
Zoom | or other telecommunication media |
cell-phone: | +39.3518684000 |
Telegram/WhatsApp: | +39.3518684000 |
phone office: | +39.045.802.7088 |
physical mailing address: | Romeo Rizzi, Department of Computer Science - University of Verona Ca' Vignal 2, strada le Grazie 15 I-37134 Verona (VR), ITALY |
piano 1, stanza 81 by the Department of Computer Science, in Ca' Vignal 2, strada le Grazie 15, Verona.
Modules running in the period selected: 60.
Click on the module to see the timetable and course details.
There you will find information, resources and services useful during your time at the University (Student’s exam record, your study plan on ESSE3, Distance Learning courses, university email account, office forms, administrative procedures, etc.). You can log into MyUnivr with your GIA login details: only in this way will you be able to receive notification of all the notices from your teachers and your secretariat via email and also via the Univr app.
MyUnivrDi seguito sono elencati gli eventi e gli insegnamenti di Terza Missione collegati al docente:
Topic | Description | Research area |
---|---|---|
Combinatorial Algorithms and algorithmic graph theory | When we say that our approach to graph theory and combinatorics is algorithmic we not only want to underline the fact that we are most often interested in the obtaining effective algorithms for the problems investigated but also that we indulge unraveling the mathematical problems down till the bottom most level to achieve a most elementary comprehension. Also, we rest on computational complexity as the methodological lighthouse of our research approaches and investigations. This depth and awareness characterizes the strength of the research by our department in Verona. |
Algorithms, Logic, and Theory of Computing
Computer science |
Discrete mathematics in relation to computer science | Discrete mathematics has a privileged link to computer science, and the converse is also true. As algorithmists, we tangle discrete mathematics in order to give our contribution to computer science. Discrete mathematics in relation to computer science is a huge factory all over the world, and our computer science department here in Verona is well present in all this. |
Algorithms, Logic, and Theory of Computing
Computer science |
Operations research and management science | Operations research is a discipline that deals with the application of advanced analytical methods to help make better decisions. The terms management science and decision science are sometimes used as more modern-sounding synonyms. Employing techniques from other mathematical sciences, such as mathematical modeling, statistical analysis, and mathematical optimization, operations research arrives at optimal or near-optimal solutions to complex decision-making problems. Operations Research is often concerned with determining the maximum (of profit, performance, or yield) or minimum (of loss, risk, or cost) of some real-world objective. Originating in military efforts before World War II, its techniques have grown to concern problems in a variety of industries. Besides its applications in industry and in management, Operations Research is at the very junction of mathematics and economics. Operations research embodies lots of deep results and theory but, at the same time, it is the archetype of applied mathematics. |
Algorithms, Logic, and Theory of Computing
Operations research, mathematical programming |
Polytopes and Polihedra | Polytopes and polyhedra are objects of study in topology, computational geometry, mathematical programming, and combinatorial optimization. The last two perspectives offer tools of operations research which find employment in some of the applied mathematics research lines in Verona. |
Algorithms, Logic, and Theory of Computing
Polytopes and polyhedra |
Design and analysis of algorithms for graphs | Design and analysis of algorithms for constraint analysis in graphs. |
Software Engineering and Formal Verification
Design and analysis of algorithms |
Mathematical programming | In mathematics, statistics, empirical sciences, computer science, or management science, mathematical optimization (alternatively, mathematical programming) is the selection of a best element (with regard to some criteria) from some set of available alternatives. Here, optimization includes finding "best available" values of some objective function given a defined domain, including a variety of different types of objective functions and different types of domains. Optimization theory, techniques, and algorithms, comprises a large area of applied mathematics. Among the many sectors of mathematical programming, some of those represented in Verona are the following: linear programming, integer linear programming, combinatorial optimization, multiobjective optimization. |
Algorithms, Logic, and Theory of Computing
Operations research, mathematical programming |
Operations research | Operations research is a discipline that deals with the application of advanced analytical methods to help make better decisions. The terms management science and decision science are sometimes used as more modern-sounding synonyms. Employing techniques from other mathematical sciences, such as mathematical modeling, statistical analysis, and mathematical optimization, operations research arrives at optimal or near-optimal solutions to complex decision-making problems. Operations Research is often concerned with determining the maximum (of profit, performance, or yield) or minimum (of loss, risk, or cost) of some real-world objective. Originating in military efforts before World War II, its techniques have grown to concern problems in a variety of industries. Besides its applications in industry and in management, Operations Research is at the very junction of mathematics and economics. Operations research embodies lots of deep results and theory but, at the same time, it is the archetype of applied mathematics. In Verona, we draw applications of the tools and methodologies of operations research to computational biology. More generally, we actively work in combinatorial optimization and contribute to algorithmic graph theory. We also apply and express methods and competencies of mathematical programming. In mathematics, statistics, empirical sciences, computer science, or management science, mathematical optimization (alternatively, mathematical programming) is the selection of a best element (with regard to some criteria) from some set of available alternatives. Here, optimization includes finding "best available" values of some objective function given a defined domain, including a variety of different types of objective functions and different types of domains. Optimization theory, techniques, and algorithms, comprises a large area of applied mathematics. Among the many sectors of mathematical programming, some of those represented in Verona are the following: linear programming, integer linear programming, combinatorial optimization, multiobjective optimization. |
Bioinformatics and medical informatics
Operations research |
Graph Theory | Graphs are a flexible model for core combinatorial problems as arising in various applications. In particular, graphs are encountered in various fields of mathematics, computer science, science in general, and technology. With this, graph theory is not only fun, but it is also a well established and central area of discrete mathematics of topmost interdisciplinarity. Some topics we are interested in: matching, factoring, edge-coloring, flows, cycle basis, packing, covering and partitioning, graph classes, algorithmic graph theory. |
Algorithms, Logic, and Theory of Computing
Graph theory |
Theory of computing | The theory of computation is the branch of mathematics and computer science that deals with whether and how efficiently problems can be solved on a model of computation, using an algorithm. In more than one way, this fascinating field has affected our perception of the world and of mathematics itself. In mathematics, it is an eye opener and a source of methodology and philosophical inspiration. This is particularly true for its two main branches of computability theory and computational complexity. |
Algorithms, Logic, and Theory of Computing
Computer science |
******** CSS e script comuni siti DOL - frase 9957 ********p>