วาเลนติน โกรันโก
Valentin Goranko - นีซ ก.ย. 2019
เกิด	( 22 กันยายน 1959 )22 กันยายน พ.ศ. 2502 โซเฟีย ประเทศบัลแกเรีย
อัลมา มัธยฐาน	มหาวิทยาลัยโซเฟีย
เป็นที่รู้จัก ในด้าน	ผลงานที่เกี่ยวข้องกับ: ตรรกศาสตร์เชิงโมดอล , ตรรกศาสตร์เชิง ไฮบริด , ตรรกศาสตร์เชิงเวลา , ตรรกศาสตร์สำหรับเกมและระบบหลายเอเจนต์
เส้นทางอาชีพด้านวิทยาศาสตร์
ฟิลด์	ตรรกะ
วิทยานิพนธ์	ความสามารถในการกำหนดและความสมบูรณ์ในตรรกะหลายรูปแบบ(1988)
อาจารย์ที่ปรึกษาปริญญาเอก	ดิมิเตอร์ วาคาเรลอฟ
ประธานของ DLMPST/IUHPST
ดำรงตำแหน่งระหว่างปี 2024–2027
นำหน้าโดย	แนนซี่ คาร์ทไรท์
เว็บไซต์	เว็บไซต์อย่างเป็นทางการ

Valentin Feodorov Goranko (เกิด 22 กันยายน พ.ศ. 2492 ในโซเฟียประเทศบัลแกเรีย ) เป็นนักตรรกศาสตร์ ชาวบัลแกเรีย-สวีเดน ศาสตราจารย์ด้านตรรกศาสตร์และปรัชญาเชิงทฤษฎีประจำภาควิชาปรัชญามหาวิทยาลัยสตอกโฮล์ม^{[ 1 ]} ปัจจุบัน เขาเป็นประธานของแผนกตรรกศาสตร์ ระเบียบวิธี และปรัชญาของวิทยาศาสตร์และเทคโนโลยี (DLMPST)ของสหภาพระหว่างประเทศว่าด้วยประวัติศาสตร์และปรัชญาของวิทยาศาสตร์และเทคโนโลยีภายใต้สภาวิทยาศาสตร์ระหว่างประเทศ (ISC)

โกรานโกศึกษาคณิตศาสตร์ (ปริญญาโท ปี 1984) และได้รับปริญญาเอกสาขาตรรกศาสตร์ทางคณิตศาสตร์จากคณะคณิตศาสตร์และสารสนเทศศาสตร์มหาวิทยาลัยโซเฟีย "เซนต์คลิเมนต์ โอห์ริดสกี"ในปี 1988 ก่อนที่จะเข้าร่วมมหาวิทยาลัยสตอกโฮล์มในปี 2014 เขาเคยดำรงตำแหน่งทางวิชาการในมหาวิทยาลัยต่างๆ ในประเทศบัลแกเรีย (จนถึงปี 1992) แอฟริกาใต้ (1992-2009) เดนมาร์ก (2009-2014) และสวีเดน (ตั้งแต่ปี 2014 เป็นต้นมา) และได้สอนวิชาต่างๆ มากมายในสาขาคณิตศาสตร์ วิทยาการคอมพิวเตอร์ และตรรกศาสตร์

โกรานโกมีความสนใจในการวิจัยที่หลากหลายในทฤษฎีและการประยุกต์ใช้ตรรกศาสตร์กับปัญญาประดิษฐ์ระบบหลายเอเจนต์ปรัชญาวิทยาการคอมพิวเตอร์และทฤษฎีเกมโดยเขาได้ตีพิมพ์หนังสือ 4 เล่ม และบทความวิจัยและบทในหนังสือคู่มือและงานวิจัยอื่นๆ มากกว่า 140 เรื่อง

• ประธาน (2024–2027) ของแผนกตรรกศาสตร์ ระเบียบวิธี และปรัชญาวิทยาศาสตร์และเทคโนโลยี (DLMPST) ^{[ 2 ]}ของสหภาพระหว่างประเทศว่าด้วยประวัติศาสตร์และปรัชญาวิทยาศาสตร์และเทคโนโลยี (IUHPST) ^{[ 3 ]}
• ประธาน (ตั้งแต่ปี 2018) ของสมาคมตรรกศาสตร์สแกนดิเนเวีย^{[ 4 ​​]}
• อดีตประธาน (ปี 2016-2020) ของสมาคมตรรกศาสตร์ ภาษา และสารสนเทศ (FoLLI)
• บรรณาธิการบริหาร (ตรรกศาสตร์) ของชุดสิ่งพิมพ์ FoLLI เกี่ยวกับตรรกศาสตร์ ภาษา และสารสนเทศ ซึ่งเป็นชุดย่อยของ Springer LNCS ^{[ 5 ]}
• สมาชิกผู้บริหารของคณะกรรมการสมาคมตรรกะวิทยาศาสตร์คอมพิวเตอร์แห่งยุโรป EACSL ^{[ 6 ]}
• บรรณาธิการบริหารของวารสารLogics
• รองบรรณาธิการของวารสารACM Transactions on Computational Logicและสมาชิกคณะบรรณาธิการของวารสารทางวิทยาศาสตร์อื่นๆ อีกหลายฉบับ

• ตรรกศาสตร์และคณิตศาสตร์เชิงดิสครีต ปี 2015 : บทนำโดยย่อ^{[ 7 ]}
• ตรรกศาสตร์เชิงเวลาในวิทยาศาสตร์คอมพิวเตอร์ 2016 ^{[ 8 ]}
• 2016 ตรรกะเป็นเครื่องมือ: คู่มือการให้เหตุผลเชิงตรรกะอย่างเป็นทางการ^{[ 9 ]}
• ตรรกะเชิงเวลา 2023 ^{[ 10 ]}