Changes

Jump to: navigation, search

Alexandru Mosoi

24 bytes added, 12:08, 17 November 2018
no edit summary
'''Alexandru Moșoi''',<br/>
a Romanian computer scientist, software engineer, and proponent of [https://en.wikipedia.org/wiki/Free_and_open-source_software free and open source software], actually residing in [https://en.wikipedia.org/wiki/Z%C3%BCrich Zurich] working for [[Google]] Switzerland. He holds a M.Sc. degree from [https://en.wikipedia.org/wiki/Vrije_Universiteit Vrije Universiteit Amsterdam] in 2011 on the topic of distibuted [https://en.wikipedia.org/wiki/Boolean_satisfiability_problem SAT solving] <ref>[[Alexandru Mosoi|Alexandru Moșoi]] ('''2011'''). ''[https://github.com/brtzsnr/structure STRUCTure: Towards a Distibuted Boolean Satifibiality Solver]''. M.Sc. thesis, [https://en.wikipedia.org/wiki/Vrije_Universiteit Vrije Universiteit Amsterdam]</ref>, and was affiliated with [https://en.wikipedia.org/wiki/Politehnica_University_of_Bucharest Politehnica University of Bucharest]. Beside multiple other open source programs and projects, he is author of ''Chile'', a [https://en.wikipedia.org/wiki/Data_compression compression] program based on [https://en.wikipedia.org/wiki/Burrows%E2%80%93Wheeler_transform Burrows-Wheeler transform] <ref>[http://www.alexandru.mosoi.ro/open-source/chile Chile - www.alexandru]</ref>, the [https://en.wikipedia.org/wiki/Conflict-Driven_Clause_Learning Conflict-Driven Clause Learning] Sat Solver ''Gasca'' <ref>[http://nextthought.mosoi.ro/2012/01/gasca-yet-another-cdcl-sat-solver.html Next Thought: Gasca (yet another CDCL sat solver)]</ref>, the [[UCI]] compliant [[:Category:Open Source Engines|open source chess engine]] and chess library [[Zurichess]] <ref>[https://en.wikipedia.org/wiki/Zurich_German Zurich German (Züritüütsch) from Wikipedia]</ref> written in [[Go (Programming Language)|Go]] <ref>[https://bitbucket.org/brtzsnr/zurichess/ brtzsnr / zurichess — Bitbucket]</ref>, and ''txt'', which applies [[Texel's Tuning Method|Texel's tuning method]] by [[Peter Österlund]] to optimize any [[UCI]] complaint chess engine, also written in Go <ref>[https://bitbucket.org/brtzsnr/txt brtzsnr / txt — Bitbucket] by [[Alexandru Mosoi]]</ref>.
=Selected Publications=

Navigation menu