No dia 19/06/2018, o engenheiro civil João Soliman Junior, orientado pelo Prof. Carlos T. Formoso, defendeu a dissertação de mestrado intitulada “Framework para suporte à verificação automatizada de requisitos regulamentares em projetos hospitalares”. A pesquisa explorou a utilização de uma abordagem semântica para a transformação da informação na verificação automatizada de requisitos com o uso de BIM. O estudo foi delimitado a obras hospitalares, que normalmente possuem um alto grau de complexidade no que se refere aos requisitos estabelecidos por distintas regulamentações. Foi realizado um estudo na obra de ampliação do Hospital das Clínicas de Porto Alegre. A banca examinadora foi composta pelos seguintes membros: Patricia Tzortzopoulos Fazenda (University of Huddersfield), Lisiane Pedroso Lima (UFRGS-CLN) e Eduardo Luis Isatto (UFRGS).