-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy pathindex.html
91 lines (74 loc) · 4.42 KB
/
index.html
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
<!DOCTYPE html>
<html><head><meta http-equiv="Content-Type" content="text/html; charset=UTF-8">
<meta name="generator" content="Hugo 0.142.0">
<meta name="viewport" content="width=device-width, initial-scale=1">
<title>Home Page of Van-Giang Trinh</title>
<link rel="stylesheet" href="./files/style.css">
<link rel="stylesheet" href="./files/syntax.css">
</head>
<body link="#0000ff" vlink="#0000ff">
<div class="container">
<p></p>
<nav>
<a href="index.html">Home</a>
<a href="publication.html">Publications</a>
<a href="talk.html">Talks</a>
<a href="teaching.html">Teaching</a>
<a href="misc.html">Misc.</a>
</nav>
<p>
</p>
<header>
<div id="headerbox">
<div id="headerbox1">
<img src="./files/PetriNets2025.jpg" align="CENTER" max-height="100">
</div>
<div id="headerbox2">
<strong>Van-Giang Trinh</strong> <br>
Lifeware team, Inria Saclay <br>
Bâtiment Alan Turing, Campus de l'École Polytechnique <br>
1 rue Honoré d'Estienne d'Orves 91120 Palaiseau, France
</div>
<div id="headerbox3">
E-mail: <a href="mailto:van-giang.trinh@inria.fr">van-giang.trinh@inria.fr</a> <br>
Website: <a href="https://giang-trinh.github.io/">https://giang-trinh.github.io/</a> <br>
<a href="https://github.com/giang-trinh" style="vertical-align:top;">
<img src="./files/favicon.svg" style="width:1em;margin-right:.5em;">https://github.com/giang-trinh
</a><br>
<a href="https://orcid.org/0000-0001-6581-998X" style="vertical-align:top;">
<img src="./files/orcid_16x16.png" style="width:1em;margin-right:.5em;">https://orcid.org/0000-0001-6581-998X
</a>
</div>
<div id="headerbox4">
<img src="./files/trappist.svg" align="CENTER" max-height="100">
</div>
</div>
<p>
</p>
<div id="headerline">
</div>
</header>
<main>
<div class="row mb-2">
<div class="col-lg-8">
<p class="par">I am a postdoctoral researcher at the <a class="link" href="https://lifeware.inria.fr/">LIFEWARE</a> team within <a class="link" href="https://www.inria.fr/en/inria-saclay-centre">INRIA Saclay</a>. I have been a postdoctoral researcher at the <a class="link" href="https://www.lis-lab.fr/lirica/">LIRICA</a> team within the <a class="link" href="https://www.lis-lab.fr/en/lis/">LIS</a> laboratory from 04/2022 to 09/2024. I defended my PhD at the <a class="link" href="https://www.jaist.ac.jp/english/">Japan Advanced Institute of Science and Technology</a> in November 2021.
</p>
</div>
</div>
<h3 class="page-subtitle">Research Interests</h3>
<a>My research interests include <a class="link" href="https://en.wikipedia.org/wiki/Theoretical_computer_science">theoretical computer science</a>, <a class="link" href="https://en.wikipedia.org/wiki/Symbolic_artificial_intelligence">symbolic artificial intelligence</a>, and <a class="link" href="https://en.wikipedia.org/wiki/Systems_biology">computational systems biology</a>. In particular, I focus on knowledge representation and reasoning frameworks such as <a class="link" href="https://en.wikipedia.org/wiki/Boolean_network">Boolean networks</a>, <a class="link" href="https://en.wikipedia.org/wiki/Petri_net">Petri nets</a>, <a class="link" href="https://en.wikipedia.org/wiki/Answer_set_programming">answer set programming</a>, <a class="link" href="https://en.wikipedia.org/wiki/Argumentation_framework">abstract argumentation</a>, their connections, and their applications to modeling, analysis, and control of <a class="link" href="https://en.wikipedia.org/wiki/Biological_system">biological systems</a>.</a>
<p></p>
<a>You can take a look at my complete <a href="./files/cv.pdf">curriculum vitae</a>. My detailed list of publications and my talks can be accessed via the horizal top menu bar.</a>
<h3 class="page-subtitle">Professional Services</h3>
<a>I have reviewed papers for the following journals:</a>
<ul style="list-style-type: circle;">
<li><a class="link" href="https://www.siam.org/publications/siam-journals/siam-journal-on-applied-dynamical-systems/">SIAM Journal on Applied Dynamical Systems</a> <a>(2023)</a></li>
<li><a class="link" href="https://ieeexplore.ieee.org/xpl/RecentIssue.jsp?punumber=8857">IEEE/ACM Transactions on Computational Biology and Bioinformatics</a> <a>(2022, 2023)</a></li>
</ul>
</main>
<footer>
<small>Last modified on February 3, 2025.</small>
</footer>
</div>
</body></html>