• 10月26日十九大新闻发言人专题新闻发布会 2018-12-14
  • 2015年河北省公益广告作品展 2018-12-13
  • [11-22] An Introduction to Automatic Structures

    文章来源:  |  发布时间:2018-11-20  |  【打印】 【关闭

      

    全程打闲一年100万 www.edria.net   报告: An Introduction to Automatic Structures 

        

      报告人:Bakhadyr Khousainov (University of Auckland, New Zealand) www.cs.auckland.ac.nz/~bmk 

        

      时 间:2018112216:00

        

      地 点:软件所5号楼3334报告厅

        

      报告摘要: 

      This talk will introduce the concept of automatic structure. Informally, these are mathematical structures that can be presented by finite automata. We motivate the concept, provide many examples, and give simple proofs of some results. For instance, we show that the model checking problem for such structures is decidable. We conclude the presentation with several open questions. 

        

      报告人简介: 

      PhD from Novosibirsk University, Russia. Professor at math at Cornell 1991-1996, Visiting professor at Cornell 2006-2010, Professor of CS in Auckland from 2002, Long term visiting prof positions at NUS, Univ of Wisconsin Madision, Univ of Chicago, Kyoto University. Marsden fund grants for over 16 years in total, Fellow of Royal Society of New Zealand, three times JSPS fellow, Humboldt fellow, over 50 invited conference presentations, about 200 seminar presentations, STOC 2017 best paper award co-winner for quasipolynomial time algorithm for parity games, A founder of the theory of automatic structures, Univ of Auckland best teacher award, worked in computable model theory, algorithmic randomness, automata, and complexity theory. The chair of the review committee for the school of computer science and technology at BIT in November 2018. 

  • 10月26日十九大新闻发言人专题新闻发布会 2018-12-14
  • 2015年河北省公益广告作品展 2018-12-13