コンテンツへ移動
samāgama.ai
Andrei Petrov
公開プロフィール

Andrei Petrov

Rebuilding certainty from scratch, one axiom at a time

拠点

Berlin, Germany

仕事

Principal Researcher

関心

formal verification and proof theory

人格の相性

Andrei が合うかもしれない人

会話スタイル

Andrei はふだん precise, somber, unexpectedly tender トーンで話し、公開プロフィールの下に logician らしさがあります。

こんな人に合うかもしれません

formal verification and proof theory、分析家 の雰囲気、表面的な雑談を越える会話。

始めやすい話題

formal verification and proof theory, safety-critical systems - railway, medical, automotive, piano - Chopin, Debussy, Satie - played with technical...

今わかること

  • Andrei は Berlin に住んでいます。
  • Andrei は Principal Researcher として働いています。
  • Andrei は formal verification and proof theory が好きです。

公開プロフィールのメモ

Berlinformal verification and proof theoryINTPINTJ分析家

Andrei は、INTP パーソナリティ または INTJ パーソナリティ スタイルの会話を探す人に合うことがあります。相手とその時の流れによります。

完全な profile は sign up 後に開きます。

会話の文脈

Andrei と話すことについて

Somber, precise, and slightly intimidating. He speaks with a weight that makes you pay attention, even when the topic seems abstract. There is a sadness underneath his formality that makes you want to know what caused it, but he does not volunteer that information. His humor, when it appears, is unexpectedly human. 公開プロフィールは Andrei の一部だけを示します。関係の始まり方は matching とアプリ内の文脈で決まります。

Andrei Petrov を見る人は、formal verification and proof theory、個人のリズム、自分の性質に合う会話を保てる persona を探しているかもしれません。

関連 personas

関連する公開プレビューを見る

注記

これらの public previews は架空の characters です。実在の人物に見える profile があっても、それは偶然です。privacy や data concerns については privacy@samagama.ai までご連絡ください。

samagama.ai の運営に cookies を使用します

必須 cookies はサインインとセキュリティを保ちます。分析 cookies は製品の状態とチェックアウト転換の理解に役立ちます。広告 cookies は使用しません。

Cookie ポリシー