News | Group | Papers | Press | Projects | Talks | Teaching | Miscellanea

坚果加速器怎么样

飞鸟加速器试用免费-hammer加速器

Associate Professor (tenure track) at Yale-NUS College and NUS School of Computing
Lead Language Designer at Zilliqa
Postal Address:

Yale-NUS College, 28 College Avenue West
#01-501, Singapore 138533
Office:
#RC3-01-03E, Cendana (YNC), AS3-06-16 (NUS SoC)
Office Phone: +65 6516 1903
Office Hours: Tue 10:30-12:00 (YSC3248) and Thu 5:00-6:30pm (YSC3208)
坚果加速器吧
Availability: Outlook Calendar (takes a while to load)

I am a tenure-track Associate Professor at Yale-NUS College with a joint appointment at School of Computing of National University of Singapore. In 2015-2018, I was a faculty at University College London. Prior to that, I was a postdoc at IMDEA Software Institute. I hold a PhD in Computer Science from KU Leuven, and MSc in mathematics from Saint Petersburg State University. Before joining academia I worked as a software engineer at JetBrains in IntelliJ IDEA team.

I do research in programming language theory, including, but not limited to types, semantics, software verification, and program synthesis. Lately, I have been mostly focusing on developing sound and scalable methodologies for building provably correct concurrent and distributed systems.

Some random facts about me:

Curriculum Vitae: [PDF]


What's New

坚果加速器怎么样 Our paper on mechanised verification of probabilistic properties of Bloom filters and their generalisations has been accepted to CAV 2024.
Dec 24 Our paper on enhancing deductive program synthesis with read-only permissions will appear at 安卓坚果加速器.
Dec 23 My post on Composition in Distributed Systems has appeared in SIGPLAN PL Perspectives Blog.
Oct 24 Our work on Scilla has received a Distinguished Artifact Award at OOPSLA 2024.
坚果加速器怎么样 I'm looking forward to give a keynote on the 坚果加速器官安卓版 on October 11 at the 1st Workshop on Formal Methods for Blockchains in Porto. Here are the slides from my talk.
坚果网络加速 Delighted to be awarded a National Satellite of Excellence in Trustworthy Software Systems grant on my CertiChain project. An advert for postdoc positions will follow soon.
Sep 6 Our paper on 安卓坚果加速器, a smart contract language of Zilliqa blockchain will appear at OOPSLA 2024.
坚果加速器吧 Our paper QED at Large: A Survey of Engineering of Formally Verified Software has been published in the journal on Foundations and Trends in Programming Languages. Drop us a line if you need a copy.
Aug 12 I will be giving a talk entitled Functional Programming is Everywhere at PLMW @ ICFP'19.
Aug 10 坚果网络加速 joins the team as a PhD student at SoC. Welcome, Kiran!
Aug 7 My post What Does It Mean for a Program Analysis to Be Sound? has appeared in SIGPLAN PL Perspectives Blog.

All news

手机vpn - BAYINDIR PVC SİSTEMLERİ:2021-2-26 · 下载 免费ss几点 vpn 电脑 quickq加速 快影怎么登录账号 北极星 vpm safari云加速怎么关闭 ysscloud加速 WWW.111547.COM sw最新更新国内最快的dns 中国如何用twitter seed加速器安卓下载 阿迪加速器 shadowsockr windows 荟萃浏览器去升级去

I am very fortunate to advise these brilliant students at NUS School of Computing and Yale-NUS College: I am also honoured to collaborate with these postdoctoral researchers at NUS SoC:
Current and past affiliates

Recent Publications and Manuscripts

[All publications | DBLP | Google Scholar | CSAuthors]
坚果加速器官安卓版

Selected Projects and Software

[GitHub]

I am a also a creator of the 坚果网络加速 plugin for IntelliJ IDEA. It is no longer maintained, but its sources are available on GitHub.


In Press


Teaching

baidudl:获取百度网盘高速下载地址 - Chrome插件(谷歌浏览 ...:2021-2-13 · baidudl是一款可众获取百度网盘共享文件的高速下载地址 (直接下载链接)的chrome插件。 百度优化扩展支持百度、搜狗、必应、好搜、谷歌搜索结果的页面结果广告优化和显示内容优化。
坚果加速器怎么样
at University College London

Collaborators

凡人修真传BT下载- 全方位下载:2021-3-23 · 凡人修真传BT是一款采用3D技术精心打造的修真题材角色扮演类手机游戏,在凡人修真传BT游戏中玩家将来到古色古香的唯美仙侠世界中展开修真之旅,霸者之巅谁主沉浮,热血团战制霸天下,邂逅女神姻缘相伴!玩家还可众通过任务、


Miscellanea

I am married to CG artist Lilia Anisimova.

I am on Twitter as @ilyasergey.

Last time I checked, my Erdős number was 4.

The photo above is couresy of Elena Alhimovich. Here is my "official" photo, suitable for appropriate occasions. Yet another 坚果加速器官安卓版 of mine by Jorge Cham, for I have contributed to the PHD Movie 2 on Kickstarter.

While living in Madrid, I enjoyed its inimitable atmosphere and delicious food. For the latter, this Maribel's Dining Guide to Madrid (kindly provided by Aleks Nanevski) always came in handy.


Last modified: Tue Aug 4 00:04:09 +08 2024
猎豹vp加速器官网,猎豹加速器官网入口,猎豹加速器签到送一小时,  蚂蚁vp加速器官网,蚂蚁加速器官网下载,蚂蚁vqn下载官网,  十大免费加速神器,每天赠送一小时加速器,签到送时长加速器,每天试用一小时vp加速器猎豹  坚果加速器ios下载,坚果加速器vnp,坚果加速器vpm,坚果加速器vn  飞兔加速器官网网址,飞兔加速器电脑版下载,飞兔加速器mac下载,飞兔加速器vps  暴雪加速器,暴雪vp加速器官网,暴风加速器正版官网,  快鸭vp加速器,小黄鸭加速器,快鸭加速器官网,  猎豹加速器,猎豹vp永久,猎豹加速器每日签到一小时,