프로그래밍 언어 이론(Type Theory, Semantics), 프로그램 합성(Program Synthesis), AI for Code, 정적 분석(Static Analysis), 정형 검증(Formal Verification), 딥러닝 컴파일러 및 자동 프로그래밍을 선도하는 국내외 유수 대학 연구실과 학술 연구회 목록입니다.
프로그램 합성(Program Synthesis)과 스케치(Sketch) 시스템의 세계적 개척자인 아르만도 솔라-레자마 교수의 연구실입니다. AI 기반 코드 생성, 뉴로심볼릭 프로그램 합성, 대규모 소프트웨어 자동 리팩토링 및 확률적 프로그래밍 언어(Gen)를 집중 연구합니다.
AI for Code(BigCode/DeepCode의 산실) 및 AI 안전성 검증의 선구자 마틴 베체프 교수의 랩입니다. 딥러닝 시스템의 정형 검증(Ai2), 대규모 코드 언어모델(Code LLM), 양자 프로그래밍 언어(Silq) 및 안전한 지능형 소프트웨어 합성을 선도합니다.
엑셀 Flash Fill 기술을 발명한 수미트 굴와니 박사가 이끄는 예제 기반 프로그램 합성(PBE) 세계 최고 연구그룹입니다. GitHub Copilot, Visual Studio, Power Platform 등 현대 AI 페어 프로그래밍의 핵심 인텔리전스 기술을 주도합니다.
미국 최정상급 PLSE 연구진으로, 제약 솔버 기반 메타 프로그래밍 언어(Rosette), 수치 연산 정확도 개선(Herbie), 딥러닝 컴파일러 최적화 및 신뢰성 있는 AI 소프트웨어 정형 검증을 활발히 연구합니다.
컴파일러 및 프로그램 분석 분야의 세계적 대가 알렉스 에이켄 교수진이 이끄는 그룹으로, 대규모 병렬 이종 분산 시스템용 언어(Legion), 정적 프로그램 분석, 도메인 특화 언어(DSL) 및 AI 코딩 모델의 실증 연구를 수행합니다.
프로그래밍 언어 이론의 성지 CMU의 PoP 그룹으로, 타입 이론(Type Theory), 대화형 기계 검증, AI 생성 코드의 의미론적 정확성 보장 및 효과적인 AI 페어 프로그래밍 실증 연구를 주도합니다.
AI와 보안 분야의 세계적 석학 던 송 교수 등이 참여하는 버클리 PL 연구진입니다. 신경망 프로그램 합성(Neural Program Synthesis), 제약 기반 스케칭, 스마트 컨트랙트 정형 검증 및 AI 에이전트의 안전한 코드 실행을 연구합니다.
소프트웨어 기초(Software Foundations) 저자 벤저민 피어스와 마유르 나익 교수가 이끄는 랩으로, 뉴로심볼릭 AI(Neurosymbolic AI), 대화형 정리 증명기(Coq), 확률적 프로그램 분석 및 AI 코드 보완 기술을 연구합니다.
구문 가이드 프로그램 합성(SyGuS), 신경망 심볼릭 추론, 형식 검증과 기계학습의 융합 및 안전한 AI 코드 생성을 집중 연구하는 북미 정상급 PL 연구 그룹입니다.
옥스퍼드 컴퓨터과학부의 연구 그룹으로, 양자 프로그래밍 언어, 확률적 프로그래밍(Probabilistic Programming), 프로그램 의미론(Semantics) 및 인공신경망의 수학적 정형 검증을 선도합니다.
요약 해석(Abstract Interpretation) 기반의 정적 분석(Static Analysis)과 소프트웨어 오류 자동 검출 및 프로그램 분석 이론을 선도하는 대한민국 대표 프로그래밍 연구실입니다. 글로벌 정적 분석 솔루션 스패로우(Sparrow)의 산실입니다.
프로그래밍 언어의 설계와 의미론, 컴파일러 최적화, 자동 프로그램 분석, 고성능 병렬 컴파일 기법을 종합적으로 연구하는 KAIST 전통의 프로그래밍 언어 연구실입니다.
정형 기법(Formal Methods), 소프트웨어 모델 체킹(Model Checking), 정형 명세 및 분산 시스템 검증 이론을 연구하는 고려대학교 연구실입니다.
프로그래밍 언어의 구문과 의미론, 함수형 언어, 컴파일러 기법 및 효율적 알고리즘 설계를 연구하는 한양대학교 연구실입니다.
프로그래밍 언어 설계, 번역기 구현, 소프트웨어 실행 환경 및 언어 기반 보안 기술을 연구하는 건국대학교 연구실입니다.
프로그래밍 언어 체계와 문법, 효율적인 프로그램 분석 및 소프트웨어 개발 방법론을 연구하는 경성대학교 연구실입니다.
컴파일러, 프로그래밍 언어 번역 기법, 객체지향 및 컴포넌트 기반 소프트웨어 개발을 연구하는 동국대학교 연구실입니다.
프로그래밍 언어 교육, 프로그래밍 패러다임 분석 및 응용 소프트웨어 구현을 연구하는 동양대학교 연구실입니다.
프로그래밍 언어 시스템, 컴파일러, 소프트웨어 아키텍처 및 시스템 프로그래밍을 포괄적으로 연구하는 상명대학교 연구실입니다.
프로그래밍 언어론의 대표적인 표준 교재 저자인 창병모 교수의 연구실로, 언어의 형식적 구문과 의미론, 컴파일러 및 프로그래밍 시스템을 연구합니다.
자동 프로그래밍(Automatic Programming), 자동 논리 프로그래밍, 지식 기반 소프트웨어 합성 및 연역적 프로그램 구축 기법을 연구하는 울산대학교 연구실입니다.
국내 프로그래밍 언어, 컴파일러, 소프트웨어 분석 및 정형 기법을 연구하는 학계와 산업계 연구자들의 공식 학술 교류 연구회입니다.
프로그래밍 언어 번역 체계, 컴파일러 구현, 실행 시간 환경 및 컴퓨터 시스템 소프트웨어 기법을 연구하는 홍익대학교 연구실입니다.
병렬 및 분산 프로그래밍 모델, 병렬 컴퓨팅 아키텍처, 고성능 프로세싱 언어 및 최적화 컴파일 기법을 연구했던 ICU 핵심 연구실입니다.
자연어처리와 함께 인공지능의 핵심 기반인 논리 프로그래밍 언어 프롤로그(Prolog Programming) 전문 강좌 및 계산언어학, 기계 독해, 생물정보학을 연구하는 연구실입니다.
AIStudy 홈