def build_profile_name(account: int, role: str) -> str:
    """
    Builds a profile name from an account ID and role name

    :param account: the account ID
    :param role: the role name
    :return: a profile name
    """
    return f"gatech_{account:12}_{role}"