キセリョーヴ オレッグ
キセリョーヴ オレッグ (Oleg Kiselyov)
更新日: 07/03
基本情報
- 所属
- 東北大学 情報科学研究科 助教
- 学位
-
PhD(1993年12月 University of North Texas, USA)PhD(1988年5月 Kazan State University, USSR)
- J-GLOBAL ID
- 201801001317412678
- researchmap会員ID
- B000301217
- 外部リンク
プログラミング言語や自然言語や論理や型システムやメタプログラミング等に関する研究に努めております
研究分野
1受賞
4主要な論文
78-
Journal of Functional Programming 31 2021年 査読有り筆頭著者
-
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
9-
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)
講演・口頭発表等
22-
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日 招待有り
-
North American Summer School on Logic, Language and Information, NASSLLI 2012年6月18日 招待有り
-
Association for Symbolic Logic winter meeting (with the American Philosophical Association Eastern Division 108th annual meeting) 2011年12月28日 招待有り