Bastien Wiaux is a PhD student at UCLouvain, Louvain-La-Neuve, Belgium. He is working under the supervision of Ramin Sadre and with the partnership of hex-rays. His research subject is centered around harvesting logic programming for static program analysis in decompilation.