キセリョーヴ オレッグ
キセリョーヴ オレッグ (Oleg Kiselyov)
更新日: 01/15
基本情報
- 所属
- 東北大学 情報科学研究科 客員研究員
- 学位
-
PhD(1993年12月 University of North Texas, USA)PhD(1988年5月 Kazan State University, USSR)
- J-GLOBAL ID
- 201801001317412678
- researchmap会員ID
- B000301217
- 外部リンク
プログラミング言語や自然言語や論理や型システムやメタプログラミング等に関する研究に努めております
研究分野
1経歴
2-
2024年4月 - 現在
-
2015年4月 - 2024年4月
委員歴
2受賞
5主要な論文
88-
Science of Computer Programming 2026年5月 査読有り招待有り筆頭著者責任著者
-
Science of Computer Programming 231 2024年1月 査読有り筆頭著者責任著者
-
Journal of Functional Programming 31 2021年1月27日 査読有り筆頭著者責任著者
-
Journal of Functional Programming 30 2020年 査読有り筆頭著者責任著者
-
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 10818 33-50 2018年 査読有り
-
Conference Record of the Annual ACM Symposium on Principles of Programming Languages 285-299 2017年1月1日 査読有り
-
THEORETICAL COMPUTER SCIENCE 435 56-76 2012年6月 査読有り
MISC
10-
2023年12月27日 査読有り筆頭著者責任著者
-
2023年9月15日 査読有り筆頭著者責任著者
-
2022年12月10日 査読有り筆頭著者
-
2022年11月24日 査読有り筆頭著者
-
2022年11月8日 査読有り
-
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 9613 V-VI 2016年
-
ACM SIGPLAN NOTICES 34(12) 35-36 1999年12月
-
ACM SIGPLAN NOTICES 34(1) 343-343 1999年1月
-
ACM SIGPLAN NOTICES 34(1) 349-349 1999年1月
-
Proceedings of the ACM SIGPLAN International Conference on Functional Programming, ICFP 337 1998年1月1日
書籍等出版物
2-
now Publishers 2018年6月 (ISBN: 9781680834369)
-
MIT Press 2018年3月 (ISBN: 9780262535519)
講演・口頭発表等
24-
PARKAS and SemAntique Seminar (ENS + INRIA) 2025年9月19日
-
PARKAS (ENS + INRIA) Seminar 2025年9月17日
-
University of Oxford Seminar Series on Tensor Computation 2022年2月18日 招待有り
-
U. of Edinburgh, Laboratory for Foundations of CS Seminar, 2021年5月28日 招待有り
-
ENS (École Normale Supérieure, FR) PARKAS Seminar 2020年2月21日 招待有り
-
From the tagless-final cookbook: simple hardware description language and optimization-by-evaluationSecond International Summer School on Metaprogramming Schloss Dagstuhl 2019年8月11日 招待有り
-
EPFL (Ecole polytechnique fédérale de Lausanne, SW) IC Colloquium2017 2017年9月11日 招待有り
-
Commercial Users of Functional Programming 2017年9月7日 招待有り
-
Symposium on Implementation and Application of Functional Languages 2017年9月1日 招待有り
-
PEPM 2017 - Proceedings of the 2017 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, co-located with POPL 2017 2017年1月2日
-
Institute of Information Science, Academia Sinica, Taipei, Taiwan 2016年12月2日 招待有り
-
New Landscapes in Theoretical Computational Linguistics. Ohio State University, Columbus, OH 2016年10月15日 招待有り
-
CUFP-ICFP Tutorial 2016年9月22日 招待有り
-
Indiana University's School of Informatics and Computing (SoIC) Computer Science Colloquium 2016年8月25日 招待有り
-
International Summer School on Metaprogramming Robinson College, Cambridge 2016年8月10日 招待有り
-
Formosan Summer School on Logic, Language, and Computation, Taipei, Taiwan 2016年7月11日 招待有り
-
Commercial Users of Functional Programming (CUFP) 2015年9月3日 招待有り
-
University of Cambridge (UK) Computer Laboratory Research Group Seminar 2015年2月15日 招待有り
-
Commercial Users of Functional Programming (CUFP) 2013年9月23日 招待有り
-
European Summer School in Logic, Language and Information (ESSLLI) 2013年8月5日 招待有り
担当経験のある科目(授業)
2-
2019年10月 - 現在
共同研究・競争的資金等の研究課題
7-
日本学術振興会 科学研究費助成事業 基盤研究(B) 2022年4月 - 2026年3月
-
日本学術振興会 科学研究費助成事業 基盤研究(B) 2022年4月 - 2026年3月
-
日本学術振興会 科学研究費助成事業 基盤研究(C) 2021年4月 - 2025年3月
-
日本学術振興会 科学研究費助成事業 基盤研究(C) 2017年4月 - 2023年3月
-
日本学術振興会 科学研究費助成事業 基盤研究(B) 2018年4月 - 2022年3月
-
日本学術振興会 科学研究費助成事業 挑戦的萌芽研究 2016年4月 - 2019年3月
-
日本学術振興会 科学研究費助成事業 基盤研究(B) 2013年4月 - 2016年3月