University of Artois Jean Perrin Faculty of Sciences
Daniel Le Berre conducts research in the field of artificial intelligence and is particularly interested in the design and evaluation of algorithms for inference and decision-making. He is also passionate about software engineering, which he teaches at the University of Artois. Mobilizing the two facets of his job as a teacher-researcher, Daniel Le Berre studies the practical resolution of problems specific to software engineering. It uses Boolean constraint-based approaches to address dependency management, software product lines, and automatic hotfix summarization.Some of his contributions are Sat4j, which offers a set of reasoning tools in Boolean variables for the Java language, which also integrates consortium ObjectWeb (now OW2), which promotes the development of free middleware, and has emerged as one of the software flagship consortium. All applications based on Eclipse benefit from the integration of the software of Daniel Le Berre.
School of Computing, National University of Singapore.
Mate Soos obtained his MsC in BUTE, Hungary, in IT Security and wrote his PhD in INRIA, Grenoble on Privacy-preserving RFIDs. During this time he has started writing the SAT solver CryptoMiniSat that has since won many awards, most recently it ranked the first in the 2016 and 2015 incremental SAT solving competitions. Mate has worked in the IT security industry for many years while maintaining and building (i) CyrptoMiniSat, a SAT solver, (ii) STP, an SMT solver, and (iii) ApproxMC, Approximate Model Counter, all of which are extensively used in both industry and academia.
TCS Research, Pune, India
R. Venkatesh is a chief scientist with TCS Research and heads its Verification and Validation Program. He has been with TCS for more than 25 years primarily in the areas of software development, formal methods and verification. During this tenure he has lead several tool development projects including TCS ECA a static analysis tool that is sold commercially by TCS. Other tools include MasterCraft and more recently a formal specification notation EDT.