クリスティーナ・セルナダス

マリア・クリスティーナ・デ・サレス・ヴィアナ・セロディオ・セルナダス^{[ 1 ]}（1951年生まれ）は、ポルトガルの数理論理学者であり、オブジェクト指向仕様言語と情報システム論理、そして複数の種類の論理の組み合わせ（「ファイバー化」）における圏論の応用などを研究している。彼女はリスボン工科大学数学科の論理学・計算論教授である。^{[ 2 ]}

教育とキャリア

セルナダスはリスボン大学で数学を学び、1973年に卒業し、1980年にロンドン大学で数学の博士号を取得した。^{[ 2 ]}彼女の博士論文「多変量分岐過程」は確率論における分岐過程に関するもので、統計学者DJバーソロミューの指導を受けた。^{[ 3 ]}

1988年にリスボン工科大学でハビリテーション（agregação ）を取得し、1993年に同大学の教授に就任した。^{[ 2 ]}

本

セルナダスの著書には以下のものがある: ^{[ 4 ]}

• Introdução à Teoria da Computação (コンピューティング理論の紹介、編集発表会、1993 年)
• Introdução à Programação em Mathematica ( Mathematica のプログラミング入門、J. Carmo、A. Sernadas、FM Dionísio、C. Caleiro 共著、IST Press、1999; 第 2 版、2004; 第 3 版、2014)
• 論理と計算理論の基礎（A. セルナダスとの共著、カレッジ出版、2008年；第2版、2012年）
• 論理の分析と合成：推論システムの切り貼り方法（WAカルニエリ、MEコニリオ、D.ギャベイ、P.グーベイア共著、シュプリンガー、2008年）^{[ 5 ]}
• 計算可能性に関する数学入門（A.セルナダス、J.ラスガ、J.ラモス共著、カレッジ出版、2018年）^{[ 6 ]}
• 線形最適化の数学的入門（D. Gomes、A. Sernadas、J. Rasga、P. Mateus 共著、College Publications、2019 年）
• 論理理論の決定可能性とその組み合わせ（J. Rasga と共著、Springer、2020年）

参考文献

1. ホームページからの氏名（2021年12月23日取得）
2. "Cristina Sernadas"、電気通信研究所、リスボン工科大学、 2021 年 12 月 23 日取得
3. 数学系譜プロジェクトのクリスティーナ・セルナダス
4. "Books authored by Sernadas"、Instituto de telecomunicações、リスボン工科大学、2021-12-23取得
5. 論理の分析と合成のレビュー：
   • ブラニスラフ・ボリッチッチ、Zbl 1137.03001 
   • アレクサンドル・コスタ・レイテ、MR 2378708 
6. 計算可能性に関する数学入門のレビュー：Liang Yu、 Zbl 1422.68001 

外部リンク

• Google Scholarに索引付けされたクリスティーナ・セルナダスの出版物