박성우 교수 사진

포항공과대학교컴퓨터공학과

Programming Languages Lab

박성우 교수 (Sungwoo Park)

탑티어 논문
9
전체 논문
29
구성원
10
연구실 소개

이 연구실은 GPU 기반 정규 경로·서브그래프 질의 처리와 복잡한 그래프 패턴을 효율적으로 검색하는 방법을 연구합니다. graph neural network와 강화학습 등을 활용한 주가·인플루엔자·태양광 예측, 시계열 분석과 생성형 모델의 선택적 망각도 다룹니다. 또한 이미지 생성과 얼굴 비식별화, 로봇 손의 촉각·힘 센서 및 피드백, 재난·의료·교육 분야의 데이터 기반 문제를 연구합니다.

AI가 최신 논문을 바탕으로 생성한 연구실 소개예요

연구실 홈페이지의 소개

We focus on fundamental programs and computations across diverse areas (e.g., machine learning, scientific computing). We analyze existing, practically-used software from theoretical perspectives. We design and develop new, practical software with theoretical guarantees. Relevant Software: GNU C Library, LLVM C Library, CORE-MATH, ... Relevant Software: GNU Scientific Library, SciPy, PyTorch, ...

원문 보기
연구 분야

Parallel Programming · Deductive Software Verification · Type Theory · Logic in Computer Science

컨택 준비
[email protected]

홈페이지에서 읽은 구성원

  • 박사과정 3명
  • 학부 인턴 6명
  • 구성원 1명
  • 졸업생 8명
컨택 메일 쓰는 법
연도별 논문

정보가 틀렸거나 삭제를 원하시면 [email protected]로 알려 주세요.

비슷한 연구를 하는 연구실