Blog Archives

2016 신년 하례식

2016년 1월 11일 2016년 SE&Spiral 연구실의 모든 학생분들과 배두환 교수님, Spiral 연구실 백종문 교수님과 함께 신년 하례식을 가졌습니다. 새해 다짐과 함께 서로 덕담을 나누는 따뜻한 시간이었습니다. 새해 복 많이 받으세요~  

Posted in Uncategorized

2015년 배두환 교수님 생신파티

2015년 12월 7일, 신성동의 샤브샤브집에서 연구실 사람들과 함께 교수님의 생신을 축하드리는 파티를 했습니다. 교수님, 생신 축하드립니다~

Posted in Uncategorized

2015 전문가 초청 세미나(AMME)

오스트리아 University of Vienna의 Dimitris Karagiannis 교수님을 초청하여, Agile Modeling Method Engineering(AMME) 를 주제로 세미나를 진행하였습니다. 배울 것이 많은 자리 였습니다.

Posted in Uncategorized

2015 K-Valley RED&B 무주 워크샵

  2015년 8월 13~14일, 무주 덕유산리조트로 K-Valley RED&B 워크샵을 다녀왔습니다. 건국대학교 유준범 교수님, 한국항공우주연구원의 신현규 박사님, ETRI의 강성주 박사님, 한국원자력연구원의 이장수 박사님께서 세미나를 해주셨습니다. 또한 SE lab에서도 응급 환자 이송 시나리오를 각각 UPPAAL, PRISM, DEVS로 SoS 시뮬레이션을 하여 결과를 보였습니다.

See more ›

Posted in Uncategorized

2015 KCC (6.24~6.26)

2015년 6월 24일~6월 26일 제주대학교에서 개최된 KCC 학회를 다녀왔습니다. 3일 내내 비바람이 몰아치는 날씨였지만, 즐겁고 유익한 시간이었습니다.   또한, 백영민 석사과정 학생의 ‘효과적인 모델 기반 안드로이드 GUI 테스팅을 위한 동일 화면 비교 기법’이 우수 논문상에, 신동환 박사과정 학생의 ‘FBD 프로그램

See more ›

Posted in Uncategorized

2015 SE & Spiral 연구실 딸기 파티

2015년 4월 8일, 배두환 교수님과 백종문 교수님, 그리고 SE와 Spiral 연구실 사람들이 모두 모여 딸기 파티를 하였습니다. 예쁘게 활짝 핀 벚꽃과 함께 즐거운 시간이었습니다!

Posted in Uncategorized

2015 야외 짜장면 피크닉

  4월 2일,  벚꽃이 가득한 따뜻한 봄날에 SE lab의 연구실 사람들이 모여 야외 짜장면 피크닉을 하였습니다. 맛있는 짜장면, 그리고 예쁜 벚꽃, 기타 소리와 함께 즐거운 피크닉이었습니다!

Posted in Uncategorized

2015 학위수여식

  2015년 2월 13일, KAIST 학위 수여식이 있었습니다. SE lab에서는 서동원 님이 석사 졸업을 하셨습니다. 졸업 축하드립니다~

Posted in Uncategorized

2015 배두환 교수님 부임 20주년 축하연

2015년 2월 7일,  배두환 교수님의 재학생 / 졸업생 제자 분들이 모두 모여, 파르나스 호텔에서 교수님의 부임 20주년 축하연을 가졌습니다. 졸업하신 선배님들 께서 아이들도 함께 데리고 오셔서 더 풍성한 축하연이 되었네요. 교수님! 부임 20주년을 축하드립니다.

Posted in Uncategorized

2014 연구실 딸기파티

2014년도 어김없이 봄이 찾아왔고, KAIST에는 벚꽃이 만개했습니다. 이맘때 즈음 교정은 딸기파티를 하는 인파로 북적입니다. 우리 SE Lab도 SPIRAL Lab과 함께 벚꽃으로 물든 잔디밭에 앉아 딸기파티를 가졌습니다. 🙂 깨끗이 씻은 탐스러운 빛깔의 딸기, 그리고 SE Lab의 박사과정 영택 형님께서 시간에 맞춰

See more ›

Posted in Uncategorized