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

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

教育とキャリア

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

1988年にリスボン工科大学で学位（アグレガサオン）を取得し、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. Sernadas と共著、College Publications、2008 年、第 2 版、2012 年)
論理の分析と合成：推論システムの切り取りと貼り付けの方法（WA Carnielli、ME Coniglio、D. Gabbay、P. Gouveiaと共著、Springer、2008年）^[5]
計算可能性に関する数学入門（A. Sernadas、J. Rasga、J. Ramosとの共著、College Publications、2018年）^[6]
線形最適化に関する数学入門(D. Gomes、A. Sernadas、J. Rasga、P. Mateus と共著、College Publications、2019 年)
論理理論の決定可能性とその組み合わせ（J. Rasga と共著、Springer、2020 年）

^ ホームページよりフルネーム、2021-12-23取得
^ abc "Cristina Sernadas"、Instituto de telecomunicações、リスボン工科大学、 2021-12-23取得
^ 数学系譜プロジェクトのクリスティーナ・セルナダス
^ "Books authored by Sernadas"、Instituto de telecomunicações、リスボン工科大学、 2021-12-23取得
^ 論理の分析と合成
のレビュー:
- ブラニスラフ・ボリッチッチ、Zbl 1137.03001
- アレクサンドル・コスタ＝レイテ、MR 2378708
^ 計算可能性に関する数学入門のレビュー：Liang Yu、Zbl 1422.68001