CIDA 연구실(Computational Intelligence and Data Analytics Laboratory)은 서울시립대학교를 기반으로 컴퓨터 과학의 이론과 실용을 아우르는 첨단 연구를 수행하고 있습니다. 본 연구실은 형식 언어, 오토마타 이론, 인공지능, 데이터 분석, 스포츠 데이터 마이닝 등 다양한 분야에서 세계적 수준의 연구 성과를 창출하고 있습니다. 특히, 정규 언어와 오토마타의 복잡도, 편집 거리, 결정 가능성 등 이론적 문제와 더불어, 실제 소프트웨어 및 데이터 분석 문제에 이론적 접근을 적용하는 융합 연구를 활발히 진행하고 있습니다. 연구실의 또 다른 핵심 분야는 스포츠 데이터, 특히 축구 데이터를 활용한 인공지능 기반 분석입니다. GPS, 카메라, 컴퓨터 비전 등에서 수집된 대규모 시공간 데이터를 바탕으로, 선수 및 팀의 전술 분석, 퍼포먼스 평가, 결측 데이터 보간, 이벤트 예측 등 다양한 문제를 해결하고 있습니다. 딥러닝, 강화학습, 트랜스포머 등 최신 AI 기술을 접목하여, 실제 경기 현장에서 활용 가능한 분석 및 시각화 도구를 개발하고 있으며, 국내외 주요 학술대회 및 스포츠 분석 대회에서 우수한 성과를 거두고 있습니다. 또한, 본 연구실은 신경망 및 인공지능 시스템의 신뢰성과 안전성을 확보하기 위한 형식적 검증 연구에도 주력하고 있습니다. 오토마타 이론과 논리적 사양, 모델 체크 등 형식적 방법론을 활용하여, 딥러닝 및 스파이킹 신경망의 안정성, 적대적 강건성, 구조 최적화 등 다양한 속성에 대한 체계적 검증 기술을 개발하고 있습니다. 이러한 연구는 자율주행, 의료, 금융 등 안전이 중요한 분야에서 인공지능의 실질적 도입을 촉진하는 데 중요한 역할을 하고 있습니다. CIDA 연구실은 이론과 실용의 경계를 허무는 융합적 연구를 통해, 차세대 컴퓨터 과학 발전에 기여하고 있습니다. 다양한 국제 공동 연구, 산학협력, 데이터셋 구축, 오픈소스 소프트웨어 개발 등 활발한 대외 활동을 통해 학계와 산업계에 실질적 가치를 제공하고 있습니다. 앞으로도 본 연구실은 인공지능, 데이터 분석, 형식 언어 이론의 융합을 바탕으로, 미래 사회가 요구하는 혁신적 기술과 이론을 선도해 나갈 것입니다. 이와 같은 연구 환경은 대학원생, 학부생, 연구원 등 다양한 구성원이 참여하여, 창의적이고 도전적인 연구를 수행할 수 있는 최적의 플랫폼을 제공합니다. CIDA 연구실은 앞으로도 컴퓨터 과학의 이론적 깊이와 실용적 가치를 동시에 추구하며, 국내외 연구 커뮤니티와의 활발한 교류를 통해 글로벌 리더로 성장해 나갈 것입니다.