[4-7]Multivariable Algorithmics

文章来源:  |  发布时间:2016-04-05  |  【打印】 【关闭

  
 
SKLCS Seminar
 
Title: Multivariable Algorithmics
 
Speaker: Rod Downey (Victoria Univ. of Wellington, New Zealand)
                 homepages.ecs.vuw.ac.nz/~downey
 
Time:  15:00, April 26th, 2016
 
Venue:  Seminar Room (334), Level 3, Building 5, Institute of Software,
        Chinese Academy of Sciences.
 
Abstract:
 
Multivariable algorithmics seeks to develop algorithms and
complexity theory in a theory taking account of the parameters
associated with the input data. This area has seen enormous progress
in the last 25 years. I will look at the development, achievements,
and challenges associated with the area in a general talk.
 
Biography:
 
Rod Downey works in the theory of computation, computational
complexity and most recently, algorithmic randomness. The last seeks
to reconcile statistical notions with those of algorithmic information
theory. The former seeks to try to develop complexity theory to be
attuned to real computation by exploiting the multivariant nature of
data. He has won numerous awards for his work in logic and his work in
theoretical computer science. These include the inaugural MacLaurin
Fellowship, the Hamilton Prize of the Royal Society of NZ, and the ASL
Shoenfield Prize in Logic. He has been an organizer for several
Dagstuhl meetings, including ones on parameterized complexity (which
he co-invented with Mike Fellows) and one on computation on infinite
structures. He was the first New Zealand based mathematician to give
an invited lecture at the International Congress of Mathematicians, in
its 100+ year history, and is only the second New Zealand based
computer scientist to become a Fellow of Association for Computing
Machinery. He has given invited addresses an numerous conferences
including the International Congress of Logic Methodology and
Philosophy of Science, and the IEEE Conference on Computational
Complexity, is an editor of several journals, and author of around 200
journal papers, and several books.