入学試験等の情報は専攻ホームページをご覧ください． 海外からの留学希望の方はこちらも必ず読み、指示に従って下さい．
プログラミング言語，ソフトウェア検証とそれらの理論に興味のある方の応募を歓迎します．
博士後期課程の学生については，現在，経済的支援（月10万円〜）をできる可能性が高いです．
ポストドクについても空きがある場合がありますので
優秀な方（プログラミング言語、プログラム理論、プログラム検証関連のトップクラスの国際会議に数編の論文がある方）で
ご興味のある方がいらっしゃればご連絡ください．
また，他大学の大学院生でも，共同研究，指導委託などの形で一緒に研究できる場合がありますので， ご興味のある方はご連絡ください．
世の中のいろいろなシステムがコンピュータによって制御されてきている今日， プログラミング言語やソフトウェア検証の理論は，今後ますます重要になる研究分野です． ぜひ小林研究室で一緒に研究をしましょう． 詳しくはこちらをご覧下さい．
博士後期課程進学希望の人や経済的に困っている人については，経済的支援もできる可能性があります．
学部生等でプログラム検証ツールの開発などのアルバイト，インターンを随時募集していますので興味のある方は小林までお問い合わせください．