Commit graph

280 commits

Author SHA1 Message Date
Sergiu Ivanov
bd3b117131 Reshuffle my research keywords. 2024-08-06 13:08:20 +01:00
Sergiu Ivanov
f6c91a169e Update the publications. 2024-08-06 13:06:17 +01:00
Sergiu Ivanov
ae366319da Update current reading. 2024-05-22 18:21:25 +01:00
Sergiu Ivanov
daf4ff1dc3 Update the news. 2024-05-22 18:14:15 +01:00
Sergiu Ivanov
6604129aee Frobnicate the university name. 2024-05-22 18:06:18 +01:00
Sergiu Ivanov
c44339f21e Say I am on research visit with Damien. 2024-05-22 18:01:50 +01:00
Sergiu Ivanov
dcbef67df0 Don't mention Haskell any more.
I have roughly written any Haskell since 2017, which is officially
long ago.
2024-05-22 16:10:15 +01:00
Sergiu Ivanov
74feb59c0c Update the current reading. 2024-05-10 12:44:14 +02:00
Sergiu Ivanov
20208b0b85 Update the news. 2024-05-10 12:40:37 +02:00
Sergiu Ivanov
6d1e2b200c Update the news. 2024-04-23 23:48:33 +02:00
Sergiu Ivanov
79f0838573 Update the current reading. 2024-04-23 23:48:23 +02:00
Sergiu Ivanov
17f703fd52 Update the news. 2024-04-11 14:33:55 +02:00
Sergiu Ivanov
9a67ce0152 Update current reading. 2024-03-25 22:27:57 +01:00
Sergiu Ivanov
3cacaace8f Update the current reading. 2024-02-02 10:33:27 +01:00
Sergiu Ivanov
e9f11f356d Explain the order of authors. 2024-02-02 10:27:45 +01:00
Sergiu Ivanov
76aa544f42 Update the information about the book chapter. 2024-02-02 00:21:42 +01:00
Sergiu Ivanov
8af574ded6 Replace the RIPEC report by the CV. 2024-02-02 00:11:54 +01:00
Sergiu Ivanov
666cc87336 Make myself Associate Professor, again. 2023-12-15 15:24:33 +01:00
Sergiu Ivanov
bc83cb09d9 Update the current reading. 2023-11-11 00:47:34 +01:00
Sergiu Ivanov
b488393e65 Update the news. 2023-11-11 00:43:58 +01:00
Sergiu Ivanov
9c4b680703 Update the profile picture. 2023-10-21 15:10:10 +03:00
Sergiu Ivanov
1efe993406 Minor fixes in the news. 2023-09-10 18:30:00 +02:00
Sergiu Ivanov
66bfe57ae7 Update the news. 2023-09-10 18:24:11 +02:00
Sergiu Ivanov
2e372129a3 Move Seminars and talks to Publications. 2023-09-08 14:03:54 +02:00
Sergiu Ivanov
796e2da630 Update Seminars and talks. 2023-09-08 14:02:49 +02:00
Sergiu Ivanov
613d247d16 Update the news. 2023-09-08 13:57:00 +02:00
Sergiu Ivanov
b45a485e28 Say I am on CRCT. 2023-09-08 13:49:00 +02:00
Sergiu Ivanov
f078148d58 Not a member of the lab council any more. 2023-09-08 13:43:49 +02:00
Sergiu Ivanov
2eac5b121f Add the Boolean P TCS publication. 2023-09-08 13:43:33 +02:00
Sergiu Ivanov
b2dee6b7f7 Update the news. 2023-07-12 17:58:41 +02:00
Sergiu Ivanov
fba57fd38d Update current reading. 2023-07-01 23:59:36 +02:00
Sergiu Ivanov
9a171025c4 Update the news. 2023-07-01 23:46:12 +02:00
Sergiu Ivanov
d3c9345b10 Remove C++ and Python.
I don't pretend to be good at Haskell, but I guess Haskell un jour,
Haskell toujours.
2023-07-01 19:28:45 +02:00
Sergiu Ivanov
d39164f031 Add The Many Shapes of Polymorphism. 2023-07-01 19:27:43 +02:00
Sergiu Ivanov
c55ee1bceb Remove some old seminars. 2023-07-01 19:06:12 +02:00
Sergiu Ivanov
7ab0128a1d Remove M1 CNS and Nuit de l'Info. 2023-07-01 18:57:33 +02:00
Sergiu Ivanov
1e6e1bcc85 Update current reading.
Late commit, I pushed the update a couple months ago.
2023-07-01 18:57:05 +02:00
Sergiu Ivanov
2e9ae7c51d Fold some headers by default. 2023-04-17 22:43:56 +02:00
Sergiu Ivanov
9a4f599e60 Fold some headers by default. 2023-04-17 22:42:57 +02:00
Sergiu Ivanov
b5f148fced Say that I am also elected to the CAc. 2023-04-17 22:17:48 +02:00
Sergiu Ivanov
a1166ba7f0 Add the NNC publication. 2023-04-17 22:17:33 +02:00
Sergiu Ivanov
ad4a11f3b5 Update the news. 2023-04-17 20:38:01 +02:00
Sergiu Ivanov
47dc19e6b5 Add current reading. 2023-03-20 23:32:01 +01:00
Sergiu Ivanov
48505fb28d Update my activity report. 2023-03-19 00:33:39 +01:00
Sergiu Ivanov
51df581656 Update the news. 2023-03-14 16:17:02 +01:00
Sergiu Ivanov
0443da9914 Update and reorder my research keywords. 2023-03-14 16:07:58 +01:00
Sergiu Ivanov
8d887cca76 Update the profile picture. 2023-03-14 15:59:35 +01:00
Sergiu Ivanov
b2db1867d6 Add the new arXiv pre-print. 2023-03-02 12:55:52 +01:00
Sergiu Ivanov
8feba6d54f Fix the date for the round table. 2023-03-02 12:46:32 +01:00
Sergiu Ivanov
8bbba10f61 Add a link to the class on DNA nanotech. 2023-02-28 12:12:44 +01:00