[Pl-seminar] 12/14 Seminar: Molham Aref: Solver-Aided Declarative Programming

Daniel Patterson dbp at ccs.neu.edu
Wed Dec 13 16:18:56 EST 2017


Update: This has been moved to 108. Otherwise, same info!

Daniel Patterson <dbp at ccs.neu.edu> writes:

> NUPRL Seminar Presents
>
> Molham Aref
> Relational AI
>
> 10AM
> Thursday, December 14 2017
> Room 366 WVH (http://www.ccs.neu.edu/home/wand/directions.html)
>
> Solver-Aided Declarative Programming
>
> Abstract:
>
> I will summarize our work on a declarative programming language that
> offers native language support for model (or instance) finding. This
> capability can be used to express predictive (e.g. machine learning) and
> prescriptive (e.g. combinatorial optimization) analytics. The
> presentation gives an overview of the platform and the language. In
> particular, it focuses on the important role of integrity constraints,
> which are used not only for maintaining data integrity, but also, for
> the formal specification of complex optimization problems and
> probabilistic programming.
>
>
> Bio:
>
> Mr. Molham Aref is the Chief Executive Officer of Relational AI. Mr.
> Aref has more than 25 years of experience in developing and implementing
> enterprise-grade analytic, predictive, optimization and simulation
> solutions for the demand chain, supply chain, and revenue management
> across various industries. Relational AI combines the latest advances in
> Artificial Intelligence with a understanding of business processes to
> develop solutions that shape better decisions, improve agility, and
> reduce risk. Prior to Relational AI, he was co-founder and CEO of
> LogicBlox where he led the company from inception through a successful
> sale to Infor. Previously, he was CEO of Optimi (acquired by Ericsson),
> a leader in wireless network simulation and optimization, and co-founder
> of Brickstream (renamed Nomi and then acquired by FLIR), a leading
> provider of computer-vision-based behavior intelligence solutions.



More information about the pl-seminar mailing list