1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
|
/*
* SPDX-FileCopyrightText: 2023 Kristóf Marussy
*
* SPDX-License-Identifier: MIT
*/
import clsx from 'clsx';
import type { ReactNode } from 'react';
import {
type Icon,
Gear,
Graph,
MagicWand,
ShieldCheck,
} from '@phosphor-icons/react';
import Section from '@site/src/components/landing/Section';
import styles from './Research.module.css';
function Topic({
title,
style,
Icon,
children,
}: {
title: string;
style: string;
Icon: Icon;
children: ReactNode;
}) {
return (
<div className={clsx('col', 'col-3', styles.topic)}>
<div className={styles.topic__contents}>
<div className={clsx(styles.topic__icon, style)}>
<Icon aria-hidden="true" size={128} weight="light" />
</div>
<div className={styles.topic__text}>
<h3 className={styles.topic__title}>{title}</h3>
<p className={styles.topic__description}>{children}</p>
</div>
</div>
</div>
);
}
export default function Research() {
return (
<Section id="research" title="Research">
<div className={clsx('container', styles.topics)}>
<div className="row">
<Topic
title="Critical systems"
Icon={Gear}
style={styles['topic__icon--system']}
>
Cyber-physical systems especially in the railway, automotive,
and aerospace domains with stringent correctness and relability
requirements
</Topic>
<Topic
title="Formal verification"
Icon={ShieldCheck}
style={styles['topic__icon--verification']}
>
Proving the safety and reliability of critical system designs and
software components in a mathematically precise way
</Topic>
<Topic
title="Automated reasoning"
Icon={MagicWand}
style={styles['topic__icon--reasoning']}
>
Integrating logical and numerical solvers with intelligent
heuristics to answer challenging analysis questions and
synthesize reliable system designs
</Topic>
<Topic
title="Graph generation"
Icon={Graph}
style={styles['topic__icon--graph']}
>
Efficient graph-based information processing for system modeling,
testing data-driven systems, and knowledge representation in
autonomous systems
</Topic>
</div>
</div>
</Section>
);
}
|