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

Could anyone give some references for the overview of its history? Any overview of its application to computer science and computability theory is welcome.