프로그래밍언어와 프로그래밍 환경, 컴파일러를 연구하는 곳입니다.
바이너리코드, 바이트코드, 소스코드에 대해 분석하거나 코드 재작성으로 변형하여 안전한 코드를 만드는 일을 하고 문제가 되는 코드를 찾아내기도 합니다.
대덕연구단지 연구소들과 함께 하는 연구를 꾸준히 하고 있습니다. (국가보안기술연구소, 한국전자통신연구원)
최근에는 컴파일러, 소프트웨어공학 분야 논리 기반 기술들 뿐 아니라 딥러닝, 프로그램 합성과 같은 데이터 기반 분석 기술을 도입하는 연구를 병행하고 있습니다. 또한 스마트컨트랙트 바이트코드와 가상머신에 대한 연구도 진행 중입니다.
현재 연구를 위해 주로 사용되는 언어는 Java, C++, Python, Golang이고 간혹 Ocaml, Rust를 사용하게 되는 경우도 있습니다.
더 자세한 내용은 http://plas.cnu.ac.kr 를 참고하시기 바랍니다.

랩의 자세한 현황에 대해 홈페이지를 참고하시기 바랍니다. http://plas.cnu.ac.kr

eschough@cnu.ac.kr 또는 http://plas.cnu.ac.kr 에 있는 랩장 주소로 메일을 보내어 zoom으로 상담할 시간을 정합니다.
(현재 랩장 rkdtjdus753@gmail.com)

자세한 자격 조건은 http://plas.cnu.ac.kr 의 "친절한 랩소개" 메뉴를 참고바랍니다.

당분간은 파트타임으로 학위 할 학생을 받지 않습니다. (연락을 주면 다른 교수님께 연결해드리겠습니다.)

경제적인 것은 프로젝트 사정마다 달라지는데, 현재는 상황이 좋습니다. 개별 연락하시면 구체적으로 알려드리겠습니다.

기타 자세한 내용은 http://plas.cnu.ac.kr 의 대학원생활, 친절한 랩소개 등의 메뉴를 보시거나 또는 선배들에게 물어보면 도움이 많이 됩니다.