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

坚果加速器怎么样

优优加速器npv-闪电猫加速器

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
云梯加速器最新版,云梯加速器ios下载,云梯加速器打不开,云梯加速器2024年  飞龙加速器下载地址,飞龙加速器2024年,飞龙加速器vp,飞龙加速器vqn  clof windowsios下载,clof windowsmac下载,clof windowsvqn,clof windows不能用了  飞机加速下载安卓免费,星空加速器,飞速加速器官方下载,飞速加速器安卓下载  国外加速器,黑豹1080p,云梯加速器,黑豹加速器官网app  AAEX破解版,AAEXios下载,AAEX免费永久加速,AAEX用不了了  逗鲨加速器电脑版下载,逗鲨加速器2024年,逗鲨加速器vp,逗鲨加速器vn  海神加速器安卓下载,海神加速器电脑版下载,海神加速器打不开,海神加速器vn