With no explanation, label text_A→text_B with either "not_related" or "related".
text_A: Ronaldo Maczinski is known as Tim.
text_B: Michael J. Butler is Professor of Computer Science at the University of Southampton , England .. University of Southampton. University of Southampton. Computer Science. Computer Science. England. England. Butler was originally from Ireland and received his bachelor 's degree in Computer Science from Trinity College , Dublin in 1988 .. Ireland. Republic of Ireland. Computer Science. Computer Science. Dublin. Dublin. He then undertook an MSc and DPhil at the Programming Research Group in Oxford -LRB- 1989 and 1992 respectively -RRB- , working in the area of Communicating Sequential Processes -LRB- CSP -RRB- .. Oxford. University of Oxford. MSc. MSc. DPhil. DPhil. Programming Research Group. Programming Research Group. Communicating Sequential Processes. Communicating Sequential Processes. Subsequently he worked for Broadcom in Dublin and at Abo Akademi University in Turku , Finland with Ralph-Johan Back on Refinement Calculus .. Ralph-Johan Back. Ralph-Johan Back. Broadcom. Broadcom. Dublin. Dublin. Abo Akademi University. Abo Akademi University. Turku. Turku. Finland. Finland. Refinement Calculus. Refinement Calculus. He joined the University of Southampton in 1995 as a lecturer , rising to Reader in 2000 and then Professor in the same year .. University of Southampton. University of Southampton. He leads the Dependable Systems & Software Engineering -LRB- DSSE -RRB- group at the School of Electronics and Computer Science , University of Southampton .. University of Southampton. University of Southampton. Computer Science. Computer Science. His main research is in the area of the B-Method -LRB- originated by J.-R .. B-Method. B-Method. Abrial -RRB- , especially tool support such as ProB -LRB- model checking for B -RRB- , U2B -LRB- UML and B -RRB- , csp2B -LRB- CSP and B -RRB- , and the RODIN toolset for Event-B .. UML. Unified Modeling Language. Event-B. Event-B
not_related.