2023년 9월 1일부로 전기전자컴퓨터공학부 소순범 교수님께서 부임하였습니다.
1. 연구실: 전기전자컴퓨터공학부 C동 501호
2. TEL: 062-715-2665
3. E-mail: sunbeomso@gist.ac.kr
4. RESEARCH INTERESTS
* Software verification for automatically proving the absence of bugs in programs
* Software testing for automatically finding bugs in programs
* Software repair for automatically fixing bugs in programs
* Software synthesis for automatically generating safe and correct programs
더 많은 정보 보기: https://sites.google.com/site/sunbeomsoprl
