At he built an AI tool to forecast earthquake aftershocks and won a national award