Jos Vermaseren

Home * People * Jos Vermaseren



Jos A. M. Vermaseren, a Dutch theorecial physicist and researcher at the theory group of Nikhef at Amsterdam Science Park. His research interests include phenomenology of particles, perturbative calculations and computer algebra, and he is original author of the open source symbolic manipulation system FORM. He holds a 4th dan in Go, has a small art collection and a far going fascination for Japanese food and drinks.

=HEPGAME= Jos Vermaseren proposed the HEPGAME, to solve extremely complicated equations in high energy physics urgently needed to make optimal use of upcoming experimental data from the Large Hadron Collider at CERN in Geneva, awarded by the European Research Council with the ERC advanced grant in 2012. The idea is to use insights from artificial intelligence like Monte-Carlo Tree Search and UCT, worked out in collaboration with Jaap van den Herik and Aske Plaat at Leiden University. The grant will fund two postdoc positions for a duration of five years at Nikhef, and in addition two Ph.D. positions at Leiden University.

=Selected Publications=

1990 ...

 * Jos Vermaseren (1991). Symbolic manipulation with FORM. A note on computing the regular solutions of linear differential systems

2000 ...

 * Jos Vermaseren (2000). New features of FORM. CoRR abs/math-ph/0010025
 * Jos Vermaseren (2008). The FORM project. CoRR abs/0806.4080

2010 ...

 * Jos Vermaseren (2011). FORM development. CoRR abs/1101.0511
 * Jan Kuipers, Aske Plaat, Jos Vermaseren, Jaap van den Herik (2012). Improving multivariate Horner schemes with Monte Carlo tree search. CoRR abs/1207.7079
 * Ben Ruijl, Jos Vermaseren, Aske Plaat, Jaap van den Herik (2013). Combining Simulated Annealing and Monte Carlo Tree Search for Expression Simplification. CoRR abs/1312.0841
 * Ben Ruijl, Jos Vermaseren, Aske Plaat, Jaap van den Herik (2014). HEPGAME and the Simplification of Expressions. CoRR abs/1405.6369
 * S. Ali Mirsoleimani, Aske Plaat, Jaap van den Herik, Jos Vermaseren (2014). Performance analysis of a 240 thread tournament level MCTS Go program on the Intel Xeon Phi. CoRR abs/1409.4297 » Go, MCTS
 * Ben Ruijl, Jos Vermaseren, Aske Plaat, Jaap van den Herik (2014). Why Local Search Excels in Expression Simplification. CoRR abs/1409.5223

2015 ...

 * S. Ali Mirsoleimani, Aske Plaat, Jaap van den Herik, Jos Vermaseren (2015). Scaling Monte Carlo Tree Search on Intel Xeon Phi. CoRR abs/1507.04383 » Hex, MCTS, Parallel Search, x86-64
 * S. Ali Mirsoleimani, Aske Plaat, Jaap van den Herik, Jos Vermaseren (2015). Parallel Monte Carlo Tree Search from Multi-core to Many-core Processors. TrustCom/BigDataSE/ISPA 2015, pdf
 * S. Ali Mirsoleimani, Aske Plaat, Jaap van den Herik, Jos Vermaseren (2016). A New Method for Parallel Monte Carlo Tree Search. arXiv:1605.04447 » MCTS, Parallel Search
 * S. Ali Mirsoleimani, Aske Plaat, Jaap van den Herik, Jos Vermaseren (2016). An Efficient Computation Pattern for Parallel MCTS. ICT.OPEN 2016, pdf
 * S. Ali Mirsoleimani, Aske Plaat, Jaap van den Herik, Jos Vermaseren (2017). Structured Parallel Programming for Monte Carlo Tree Search. arXiv:1704.00325
 * S. Ali Mirsoleimani, Aske Plaat, Jaap van den Herik, Jos Vermaseren (2017). An Analysis of Virtual Loss in Parallel MCTS. ICAART 2017, Vol. 2, pdf
 * S. Ali Mirsoleimani, Jaap van den Herik, Aske Plaat, Jos Vermaseren (2018). Pipeline Pattern for Parallel MCTS. ICAART 2018, pdf
 * S. Ali Mirsoleimani, Jaap van den Herik, Aske Plaat, Jos Vermaseren (2018). A Lock-free Algorithm for Parallel MCTS. ICAART 2018, pdf

=External Links=
 * homepage Jos Vermaseren
 * Jos Vermaseren - Google Scholar Citations
 * vermaseren (Jos Vermaseren) · GitHub
 * Nikhef researcher Jos Vermaseren receives prestigious ERC Advanced Grant, December 17, 2012
 * Jos Vermaseren -- Advanced Algorithmic Puzzling, YouTube Video

=References=

Up one level