Difference between revisions of "Alexandru Mosoi"

From Chessprogramming wiki
Jump to: navigation, search
(Created page with "'''Home * People * Alexandru Mosoi''' FILE:AlexandruMosoi.jpg|border|right|thumb|link=https://github.com/brtzsnr| Alexandru Moșoi <ref>[https://github.co...")
 
Line 4: Line 4:
  
 
'''Alexandru Moșoi''',<br/>
 
'''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 [[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]] 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>.   
+
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|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=
 
=Selected Publications=

Revision as of 12:08, 17 November 2018

Home * People * Alexandru Mosoi

Alexandru Moșoi [1]

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 [2], 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 [3], the Conflict-Driven Clause Learning Sat Solver Gasca [4], the UCI compliant open source chess engine and chess library Zurichess [5] written in Go [6], and txt, which applies Texel's tuning method by Peter Österlund to optimize any UCI complaint chess engine, also written in Go [7].

Selected Publications

Forum Posts

2015

2016

2017

2018 ...

External Links

References

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

Up one level

Retrieved from "https://www.chessprogramming.org/index.php?title=Alexandru_Mosoi&oldid=8581"