What are current trends/questions in algebraic logic?I mean the research developed by Paul Halmos.

And anyone could give some reference for overview of it's history?

Also any overview of it's application to computer science and computability theory is welcome

This version of the question is suggested by Noah S.