基本信息
views: 41
![](https://originalfileserver.aminer.cn/sys/aminer/icon/show-trajectory.png)
Bio
TEACHING
Declarative Programming - An introductory course on (functional) declarative programming concepts and implementations.
Concurrency in Programming Languages - A hands-on review of concurrency constructs and approaches in various programming languages (Java, C++, Erlang/Elixir, Javascript, Python).
Programming Languages Semantics - An introductory course on (operational) semantics of programming languages. Concepts covered: designing interpreters; defining type systems; proving program equivalence and type safety.
Foundations of Programming Languages - A more hands-on version of the course above (using Haskell and Prolog). Including an introduction to logic programming.
Introduction to Machine Learning (for non computer-scientists) - A hands-on introduction to machine learning techniques using kaggle.com.
Declarative Programming - An introductory course on (functional) declarative programming concepts and implementations.
Concurrency in Programming Languages - A hands-on review of concurrency constructs and approaches in various programming languages (Java, C++, Erlang/Elixir, Javascript, Python).
Programming Languages Semantics - An introductory course on (operational) semantics of programming languages. Concepts covered: designing interpreters; defining type systems; proving program equivalence and type safety.
Foundations of Programming Languages - A more hands-on version of the course above (using Haskell and Prolog). Including an introduction to logic programming.
Introduction to Machine Learning (for non computer-scientists) - A hands-on introduction to machine learning techniques using kaggle.com.
Research Interests
Papers共 58 篇Author StatisticsCo-AuthorSimilar Experts
By YearBy Citation主题筛选期刊级别筛选合作者筛选合作机构筛选
时间
引用量
主题
期刊级别
合作者
合作机构
LPARpp.405-456, (2023)
ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE (2023): 152-166
2020 IEEE International Conference on Blockchain and Cryptocurrency (ICBC)pp.1-3, (2020)
Electronic Proceedings in Theoretical Computer Scienceno. Proc. FROM 2019 (2019): 16-31
TABLEAUX (2019): 446-476
Theodoros Kasampalis,Dwight Guth,Brandon M. Moore,Traian-Florin Serbanuta,Yi Zhang,Daniele Filaretti, Virgil Nicolae Serbanuta, Ralph Johnson,Grigore Rosu
Lecture Notes in Computer Scienceno. 2 (2019): 425-440
Load More
Author Statistics
Co-Author
Co-Institution
D-Core
- 合作者
- 学生
- 导师
Data Disclaimer
The page data are from open Internet sources, cooperative publishers and automatic analysis results through AI technology. We do not make any commitments and guarantees for the validity, accuracy, correctness, reliability, completeness and timeliness of the page data. If you have any questions, please contact us by email: report@aminer.cn