profile photo

Bakh M.Khoussainov
University of Electronic Science and Technology of China
The University of Auckland

Bakh M.Khoussainov

I am a professor of computer science at The University of Electronic Science and Technology of China(UESTC),Chengdu. I lead The Algorithm and Logic Lab at the computer science school of the UESTC. I work on computable structures, automatic structutres, games on graphs, mechanism design, and probability structures.

Interests & Hobbies

  1. Research
  2. Teaching
  3. Football(Soccer)
  4. Tennis
  5. Taekwondo
  6. Table Tennis
  7. Drinking coffee

Work experience

  1. 2020-present:The University of Electronic Science and Technology of China(UESTC)
  2. 2004-2021: The University of Auckland.
  3. 2016–2019: Kyoto University
  4. 2012–2013: National University of Singapore.
  5. 2007-2010(1991-1997): Cornell University.
  6. 2006:National University of Singapore.

News

recent news

  • Prof. Bakh Khoussainov’s talk at Nerode’s conference
    Prof. Bakh Khoussainov is an invited speaker at Nerode’s conference, Logical Foundation of Computer Science. Title of the talk is “Probability Structures”.
    June 22, 2022
  • We won the 5th place in The IEEEXtreme Global Extreme Programming Competition
    Recently, the results of the IEEEXtreme 15.0 programming competition were announced. The CoolSunlightBear team sent by our group has achieved the 5th place in the world (2nd in Asia). The three student members of the team are Zihui Liang (captain, supervised by Prof. Bakh Khoussainov), Ziliang Xiong (supervised by Prof. Mingyu Xiao), Yuxi Liu (supervised by Prof. Mingyu Xiao), and the team adviser is Associate Prof. Yi Zhou.
    April 23, 2022
  • One paper accepted by WWW 2022
    The paper "Listing Maximal k-Plexes in Large Real-World Graphs" Zhengren Wang, Yi Zhou, Mingyu Xiao and Bakhadyr Khoussainov accepted by WWW 2022
    January 17, 2022
  • We got one paper accepted by AAAI 2022 in the full paper
    The paper "Multi-Unit Auction in Social Networks with Budgets" Mingyu Xiao, Yuchao Song, Bakh Khoussainov accepted by AAAI 2022
    December 8, 2021
  • We got one paper accepted by INFOCOM 2022 in the full paper
    The paper "Optimal Shielding to Guarantee Region-Based Connectivity under Geographical Failures" Binglin Tao, Mingyu Xiao, Bakhadyr Khoussainov, Junqiang Peng accepted by AAAI 2022
    December 8, 2021
  • If you want know more news about my work or my lab's work click here >>more

    Publications

    papers&books

    I have published more than 150 research articles. Many of these works have been published in SIAM Journal of Computing, ACM Trans of Computational Logic, Proceedings of LICS,STOC, STACS, MFCS, Journal of Symbolic Logic, Algebra and Logic, and Transactions of the AMS. These are top publication venues in theoretical computer science, logic, and mathematics.

    Selected papers:

  • Automatic Presentations of Structures
  • Deciding Parity Games in Quasi-polynomial Time
  • Degree spectra and computable dimensions in algebraic structures
  • Automatic Structures: Richness and Limitations
  • Infinite Strings and their Large Scale Properties
  • Multi-Unit Auction in Social Networks with Budgets
  • you want to know more about my articles click here My DBLP or My AMS

    Talks

    select lecture

    About 150 invited or plenary lectures in conferences and workshops. Recent selected ones are:

  • 2022: Nerode 90s birthday conference., New York. Invited speaker.
  • 2021: Malcev Meeting, Novosibirsk Russia. International conference on Logic, Algebra and Computation, Steklov Mathematical Institute in Moscow, Russia. IPEC meeting, invited presentation as Nerode prize winner, Lisbon. Algorithmic presentations on Mathematics, International Workshop in Sirius Mathematics Center, Sochi, Russia.
  • 2019: Aitken Lectureship tour in the UK Universities and meetings including Oxford University, the LMS meeting, Durham University, St Andrews University, University of Liverpool, Manchester University, Swansea University, and London Logic Forum. Lectures at Bejing Institute of Technology
  • 2018: Computability in Europe conference (largest meeting of experts in mathematical logic and computability worldwide), three tutorial lectures. Developments in Language Theory (DLT 2017), plenary talk. Oberwolfach computability meeting
  • 2016: Association for Symbolic Logic Conference, Seattle, plenary talk. Conference on Implementation and Application of Automata (CIAA 2016), Soul, plenary talk. Mathematical Logic and Applications workshop at RIMS, invited lecture, Kyoto University.
  • 2015: Proof theory, complexity, and related topics workshop at RIMS, invited lecture, Kyoto University.
  • Research

    personal research

    Primary research:

    • The theory of automatic structures
    • Algorithmic game theory
    • Large databases and graphs
    • Algorithmic randomness
    • Probability structures
    • Computable model theory

    Secondary research:

    • Study of large graphs
    • Mechanism design

    Collaborations:

    A network with over 100 experts from over 30 academic institutions in Europe, America and Asia, including Cornell University, The University of Chicago, University of California at Berkeley, Notre–Dame University, Novosibirsk University, Moscow University, National University of Singapore, Kyoto University, University of Wisconsin-Madison. I have collaborated with 89 experts so far

    Services

    appointment

    Administrative work at the University of Electronic Sciences and Technology:
  • 2021- Present. Director of the Algorithms and Logic Lab at the UESTC.
  • 2020-2021. Member of the recruitment panel into the school of computer science
  • Administrative work at the University of Auckland:
  • 2017 – 2020: Faculty of Science Awards, Prizes and Fellows Committee.
  • 2016-2019 and 2009. Member of Faculty of Science Staffing Committee.
  • 2014 – 2016: Deputy Head of Department (DHoD-Academic).
  • 2009 – 2012 and 2002-2008: Deputy Head of Department (DHoD-Research).
  • 2005 – 2011: Faculty of Science Research Committee member.
  • PC membership:
  • I have been a member of more than 100 conference and workshop program committees including LICS, MFCS, LFCS, CSL, and DLT. Here is the recent list:
  • 2021: ICALP, International Conference on Automata, Languages, and Programming
  • 2020: Logic in Computer Science (LICS). Logical Foundations of Computer Science (LFCS). Maltzev meeting
  • 2019: Asian Logic Conference (ALC), Astana. Languages, Automata, and Applications (LATA). Maltzev meeting.
  • 2018: Logical Foundations of Computer Science (LFCS), Mathematical Foundations of Computer Science (MFCS).
  • 2016: Logical Foundations of Computer Science (LFCS).
  • Editorship:
  • 2014 – 2021. An editor of the Journal for Symbolic Logic, a premier journal in logic, computability, and applications.
  • Awards & Grants

    personal awards

    Awards Distinctions:

  • 2021: Nerode prize. The EATCS-IPEC Nerode Prize for outstanding papers in the area of multivariate algorithmics (co-winner)
  • 2020: Humboldt prize. Euro 60K. The first computer scientist from NZ awarded
  • 2019: Aitken lecturer. A competitive lectureship selected by the London and the NZ Math Societies once every two years. Includes a series of lectures at UK universities.
  • 2017: Best STOC 2017 paper award (co-winner)
  • 2016: JSPS Postdoctoral Fellowships for Reserach in Japan
  • 2014: JSPS Postdoctoral Fellowships for Reserach in Japan
  • 2005: Fellow of the Academy of The Royal Society of New Zealand
  • 2001: JSPS Invitation Fellowships for Reserach in Japan
  • Grants:

  • 2022 – 2026: NSFC research grant (15% success rate)
  • 2017 – 2020: MOE Singapore
  • 2016 – 2019: Marsden fund grant of Royal Society of NZ (10-15% success rate)
  • 2011 – 2016: Marsden fund grant of Royal Society of NZ (10-15% success rate)
  • 2008 – 2011: Marsden fund grant Royal Society of NZ(10-15% success rate)
  • 2004 – 2008: Marsden fund grant Royal Society of NZ(10-15% success rate)
  • 2001 – 2004: Marsden fund grant Royal Society of NZ(10-15% success rate)
  • Teaching awards:

  • 2022: International Cooperation and International Education Advanced Team in UESTC
  • 2018: Engineering Faculty top teaching award, The University of Auckland
  • 2017: Top undergraduate teacher award in Engineering Faculty, The University of Auckland
  • 2011: Top undergraduate teacher award in Engineering Faculty, The University of Auckland
  • 2001: The University of Auckland Distinguished Teaching Award
  • Contact

    contact me

    Address:
    Qingshuihe Campus of UESTC,
    No.2006, Xiyuan Avenue,West Hi-tech Zone,
    Chengdu, Sichuan, P.R.China
    Zip/Postal Code:611731
    Telephone:

    (64 9) 3737599 ext. 85120

    Email:

    bmk@uestc.deu.cn

    Welcome to use this website No. Visitor Since Oct 2022. Powered by w3.css