Home * People * Alexandru Mosoi

Alexandru Moșoi,
a Romanian computer scientist, software engineer, and proponent of free and open source software, actually residing in Zurich working for Google Switzerland. He holds a M.Sc. degree from Vrije Universiteit Amsterdam in 2011 on the topic of distibuted SAT solving [1], and was affiliated with Politehnica University of Bucharest. Beside multiple other open source programs and projects, he is author of Chile, a compression program based on Burrows-Wheeler transform [2], the Conflict-Driven Clause Learning Sat Solver Gasca [3], the UCI compliant open source chess engine and chess library Zurichess [4] written in Go [5], and txt, which applies Texel's tuning method by Peter Österlund to optimize any UCI complaint chess engine, also written in Go [6].
Alexandru Moșoi [7]

Selected Publications

Forum Posts




External Links


  1. ^ Alexandru Moșoi (2011). STRUCTure: Towards a Distibuted Boolean Satifibiality Solver. M.Sc. thesis, Vrije Universiteit Amsterdam
  2. ^ Chile - www.alexandru
  3. ^ Next Thought: Gasca (yet another CDCL sat solver)
  4. ^ Zurich German (Züritüütsch) from Wikipedia
  5. ^ brtzsnr / zurichess — Bitbucket
  6. ^ brtzsnr / txt — Bitbucket by Alexandru Mosoi
  7. ^ brtzsnr (Alexandru Moșoi) · GitHub

What links here?

Up one level