ย้ถนำฐา๔

์•ัซฃผ๋Œถฤว๊™๊ต

์‚ฐํ•™หณ‘๋ ฅ๋‹จ/์—ฐ๊ตฌ์ •๋ณด์ฒ˜

๋ชจ๋ฐ”์ผ ๋ฉ”๋‰ด ์—ด๊ธฐ
 

์—ฐ๊ตฌ์ •๋ณด์ฒ˜

์—ฐ๊ตฌ์ •๋ณด์ฒ˜

์†Œํ”„ํŠธ์›จนฎด์œตว๊ฉ์—ฐ๊ตฌ์†Œ

์†Œํ”„ํŠธ์›จนฎด์œตว๊ฉ์—ฐ๊ตฌ์†Œ

Institute for Computing and Informatics Research
  • ์†Œ์žฅ : ๊ฐ•๊ฒฝ๋ž€
  • ์œ„์น˜ : ํŒ”๋‹ฌ๊ด€ 408-1ํ˜ธ
  • ์ „ํ™” : 031-219-2645
  • ํŒฉ์Šค :031-219-1621
  • ์„ค๋ฆฝ๋…„๋„ : 1997. 3
  • ํ™ˆํŽ˜์ด์ง€ :

์—ฐ๊ตฌ์†Œ ์†Œ๊ฐœ

  • ์ •๋ณดํ†ต์‹  ์‹œ์Šคํ…œ ์†Œํ”„ํŠธ์›จ์–ด, ํ•˜๋“œ์›จ์–ด ์—ฐ๊ตฌ
  • ์ •๋ณดํ†ต์‹  ์‹œ์Šคํ…œ ์‘์šฉ๊ธฐ์ˆ  ์—ฐ๊ตฌ
  • ์‚ฐํ•™ํ˜‘๋ ฅ ์—ฐ๊ตฌํ™œ๋™๊ณผ ๊ตญ๋‚ด์™ธ ํ•™์ˆ ๋Œ€ํšŒ ์œ ์น˜

์—ฐ๊ตฌ์„ผํ„ฐ

์—ฐ๊ตฌ์„ผํ„ฐ์ด๋ฆ„, ์ •๋ณด, ์—ฐ๊ตฌํ™œ๋™ ๋‚ด์šฉ์œผ๋กœ ๊ตฌ์„ฑ๋œ ์—ฐ๊ตฌ์„ผํ„ฐ ์•ˆ๋‚ด ํ‘œ
์ด๋ฆ„ ์ •๋ณด ์—ฐ๊ตฌํ™œ๋™ ๋‚ด์šฉ
๋ฐ์ดํ„ฐ์‚ฌ์ด์–ธ์Šค์—ฐ๊ตฌ์„ผํ„ฐ
  • ์„ผํ„ฐ์žฅ : ๊ณ ์šฑ
  • ์„ค๋ฆฝ๋…„์›” : 1999.03
  • ์—ฐ๋ฝ์ฒ˜ : 031-219-1851
  • ์‹คํ—˜ ๋ฐ์ดํ„ฐ์— ๊ธฐ๋ฐ˜ํ•œ ๊ณผํ•™ ์ด๋ก ์˜ ์—ฐ๊ตฌ์™€ ๊ฐœ๋ฐœ (Research and develop scientific theories based on experimental data using AI)
์‹ ์ธ์„ฑ์—ฐ๊ตฌ์„ผํ„ฐ
  • ์„ผํ„ฐ์žฅ : ๋ฐ•์Šน๊ทœ
  • ์„ค๋ฆฝ๋…„์›” : 2005.03
  • ์—ฐ๋ฝ์ฒ˜ : 031-219-2439
  • ์ž„๋ฒ ๋””๋“œ ์‹œ์Šคํ…œ์„ ๋ณด๋‹ค ํฌ๊ด„์ ์ธ ์‹ ์ธ์„ฑ(dependability) ์ฐจ์›์—์„œ์—ฐ๊ตฌ
์ฐจ์„ธ๋Œ€ ๋ณด์•ˆ๊ธฐ์ˆ  ์—ฐ๊ตฌ์„ผํ„ฐ
  • ์„ผํ„ฐ์žฅ : ํ™๋งŒํ‘œ
  • ์„ค๋ฆฝ๋…„์›” : 2007.8.20
  • ์—ฐ๋ฝ์ฒ˜ : 031-219-1605
  • ๊ด‘๋Œ€์—ญ, ์ด๋™/๋ฌด์„  ๋„คํŠธ์›Œํฌ ํ™˜๊ฒฝ ๋“ฑ ์ฐจ์„ธ๋Œ€ ๋ณด์•ˆ๋ถ„์•ผ์˜ ํ•ต์‹ฌ๊ธฐ์ˆ  ๊ฐœ๋ฐœ
  • ์ฐจ์„ธ๋Œ€/๋ฒ”์šฉ ๋ณด์•ˆ๋ถ„์•ผ์˜ ์ด๋ก ๊ณผ ์‹ค๋ฌด๋ฅผ ๊ฒธ๋น„ํ•œ ์ „๋ฌธ์ธ๋ ฅ ์–‘์„ฑ
์†Œํ”„ํŠธ์›จ์–ด ๋ฐธ๋ฆฌ๋ฐ์ด์…˜ ์—ฐ๊ตฌ์„ผํ„ฐ
(Software Validation Research Center)
  • ์„ผํ„ฐ์žฅ : ๊ณ ์˜๋ฐฐ
  • ์„ค๋ฆฝ๋…„์›” : 2018.10
  • ์—ฐ๋ฝ์ฒ˜ : 031-219-3814
    dhcstl@ajou.ac.kr
  • ๋””์ง€ํ„ธ ํ—ฌ์Šค์ผ€์–ด SW ๋ฐธ๋ฆฌ๋ฐ์ด์…˜ ๊ธฐ์ˆ  ์—ฐ๊ตฌ
  • ๋””์ง€ํ„ธ ํ—ฌ์Šค์ผ€์–ด ์ œ์กฐ ๊ธฐ์—…์˜ ์ธ์ฆ ํš๋“์„ ์œ„ํ•œ SW ๋ฐธ๋ฆฌ๋ฐ์ด์…˜ ์ง€์›
  • SW ๋ฐธ๋ฆฌ๋ฐ์ด์…˜ ๊ธฐ์ˆ  ์—ฐ๊ตฌ
  • SW ๊ฐœ๋ฐœ ๊ธฐ์—…์„ ๋Œ€์ƒ์œผ๋กœ ํ•˜๋Š” SW ๋ฐธ๋ฆฌ๋ฐ์ด์…˜ ๊ธฐ์ˆ  ์ง€์›
table scroll image