页面professionnelle de Clément 奥伯特
联系人
-
aubert@math.cnrs.fr网址 -
第15街1120号,
奥古斯塔 , 通用航空公司 , 30912 ,
埃塔斯-美国大学 -
大学 霍尔 , 105
33.47753 , -82.02233 -
+1 706 737 1566 -
+1 828 278 4620 -
orcid.org/0000-0001-6346-3043 -
@新月形突起 -
电话:18282784620 -
直播:f172b148cd121bdc
神经
伦。 2023年10月23日
伦。 2023年5月15日
恩芬·苏米斯·诺特尔纸 pymwp:静态分析器 确定多项式增长界限 à 阿特拉华2023 , rendu visiteá 豪尔赫·佩雷斯 , 伊万·拉内斯 , 克劳迪奥·安塔雷斯 梅兹纳 ,是的, 彼得罗·拉米 , 巴斯·范登·胡维尔 , 胡安·C。 贾拉米洛 等 约瑟夫 保卢斯 , 唐纳 双人博览会 , 参与者“组织d” ICE 2023年 ,快来吧 Anneée encore d’excellents papiers discustés par les membres du comitéde评委会 计划。
双人(!)曝光 钢筋混凝土2023 在Allemagne的航行中, plusieurs(!)papiers pour des journauxá决赛/复赛, des nouvelles合作, embauche entertiens d’embauch pour mes posts de thèses et 博士后, 非终身教职档案(et des lettres a collector…), 研究人员的项目, 等。
梅尔。 2023年3月1日
暗淡。 第19页。 2023
杰伊。 2022年11月24日
伦。 2022年11月21日
李斯特-莱斯-特拉沃克-j’ai réaliséavec Neea Rusch公司 et nos合著者 托马斯 塞勒 等 鲁维亚诺 , 列表者莱斯特拉瓦克斯j’ai menéavec 罗斯·霍恩 等 基督教的 约翰森 , 简历作者que la 大法官 中世纪出版物(5/7) sont en libre accès(et-pour le reste,伊利亚州) 论述 …).
伦。 2022年10月31日
伦。 平均11。 2022
伦。 2022年1月31日
伦。 2021年11月29日
梅尔。 2021年10月13日
伦。 30 aou。 2021
伦。 平均26。 2021
2020年12月26日
诺特尔项目 StATyC公司 avec公司 托马斯·塞勒 aété公司 财务, 圣母纸 可逆性如何 解决传统问题:以遗传为例 历史-保留相互模拟 avec Ioana Cristescuétét 接受 àConcur公司 ,après bien des 复仇, 诺特与丹尼尔·瓦拉卡合作,开始 光环 努内·鲍切·德诺斯 简历弯曲 , J'ai l'honneur de désormais collaborer avec deuxétudiantes(德索尔梅斯合作者) 幻想曲,阿西亚·塞拉克和尼亚·鲁什, 等。
梅尔。 2020年9月2日
2019年3月14日至5月14日
梅尔。 2019年3月13日
3月12日。 2019
梅尔。 平均25。 2018
2017年11月4日
2017年3月9日-10月
2017年3月22日
梅尔。 2017年3月1日
梅尔。 2016年8月24日
杰伊。 2016年6月23日
杰伊。 2016年5月12日
伦。 平均值4。 2016
梅尔。 3 fév。 2016
暗淡。 20天。 2015
伦。 2015年11月16日
2015年3月24日至10月24日
伦。 2015年8月24日
杰伊。 2015年6月4日
杰伊。 2015年5月7日
伦。 2015年3月2日
甚至。 第27页。 2015
伦。 第9页。 2015
杰伊。 5 fév。 2015
梅尔。 2015年1月21日
杰伊。 2015年1月8日
甚至。 5天左右。 014
甚至。 2014年11月14日
甚至。 2014年11月7日
伦。 2014年10月6日
杰伊。 2014年10月2日
杰伊。 2014年8月7日
杰伊。 2014年7月24日
2014年3月10日
梅尔。 2014年5月15日
3月8日。 014
伦。 平均值7。 014
伦。 2014年3月10日
甚至。 2014年1月24日
伦。 2013年11月4日
事先声明
Recherche公司
出版物和travaux
@大师感觉{aubert2009, title={L’élimination des coupures dans la Logique des Domaines Constants}, author={Aubert,Clément}, 年=2009, url={ https://aubert.perso.math.cnrs.fr/recherche/memoire_m1_c_aubert.pdf }, 注={sous la dir.de J.-B.儒瓦内}, 学校={巴黎1}, 类型={梅云纹M1} } @大师感觉{aubert2010, title={Réseaux de preuves booléens sous-对数}, author={Aubert,Clément}, 年份=2010, 月=9月, url={ https://aubert.perso.math.cnrs.fr/recherche/stage/memoire_m2_c_aubert.pdf }, 注={sous la dir.de V.Mogbil et P.Jacobéde Naurois}, 学校={L.M.F.I.,巴黎七世}, 类型={梅云纹M2} } @会议{aubert2011, title={亚对数统一布尔证明网}, author={Aubert,Clément}, 年份=2011, booktitle={DICE 2011}, series={理论计算机科学电子论文集}, 体积=75, 页数={15--27}, doi={10.4204/EPTCS.75.2}, url={ https://aubert.perso.math.cnrs.fr/recherche/sublogistic_uniform_boolean_proof_nets.pdf }, editor={Marion,Jean-Yves}, 文件={ https://aubert.perso.math.cnrs.fr/recherche/sublogistic_uniform_boolean_proof_nets.tex } } @phdthesis{aubert2013, title={线性逻辑和复杂性次多项式类}, author={Aubert,Clément}, 年份=2013, 月=11月, url={ https://aubert.perso.math.cnrs.fr/recherche/thes/these_c_aubert.pdf }, 注={sous la dir.de S.Guerrini et V.Mogbil}, 学校={巴黎大学13--Sorbonne Paris Cité}, type={Thèse de doctorat}, archiveprefix={tel}, eprint={tel-00957653} } @进行中{aubert2014rta, title={统一与对数空间}, author={Aubert,Clément和Bagnol,Marc}, 年份=2014, booktitle={RTA-TLCA 2014}, publisher={Springer}, series={计算机科学讲稿}, 体积=8650, 页数={77--92}, doi={10.1007/978-3-319-08918-8_6}, isbn={978-3-319-08917-1}, url={ https://aubert.perso.math.cnrs.fr/recherche/unification-and-logarithmic-space_conf.pdf }, editor={Dowek,Gilles}, archiveprefix={arXiv}, eprint={1402.4327}, 文件={ https://aubert.perso.math.cnrs.fr/recherche/unification-and-logarithmic-space_conf.tex } } @进行中{aubert2014aplas, title={逻辑编程与对数空间}, author={奥伯特、克莱门特和巴格诺尔、马克和皮斯通、保罗和塞勒、托马斯}, 年份=2014, booktitle={APLAS 2014}, publisher={Springer}, series={计算机科学讲稿}, 体积=8858, 页数={39--57}, doi={10.1007/978-3-319-12736-13}, url={ https://aubert.perso.math.cnrs.fr/recherche/logic-programming-and-lographic-space.pdf }, editor={Garrigue,Jacques}, archiveprefix={hal}, eprint={hal-01309159}, 文件={ https://aubert.perso.math.cnrs.fr/recherche/logic-programming-and-lographic-space.tex } } @文章{aubert2016mscs, title={通过组操作}表征co-{NL}, author={奥伯特、克莱门特和塞勒、托马斯}, 年份=2016年, 月=5月, journal={计算机科学中的数学结构}, 体积=26, 页数={606--638}, doi={10.1017/S0960129514000267}, issn={1469-8072}, url={ https://aubert.perso.math.cnrs.fr/recherche/characterizing_co_nl.pdf }, 问题={04}, numpages=33, archiveprefix={hal}, eprint={hal-01005705}, 文件={ https://aubert.perso.math.cnrs.fr/recherche/characterizing_co_nl.tex } } @技术报告{aubert2015inria, title={一元逻辑编程记忆:表征时间}, author={Aubert,Clément and Bagnol,Marc and Seiller,Thomas}, 年份=2015年, 数字={RR-8796}, url={ https://aubert.perso.math.cnrs.fr/recherche/Memoization_for_Uniry_Logic_Programming.pdf }, type={和平}, 机构={{INRIA}}, 页面总数=28, archiveprefix={hal}, eprint={hal-01107377}, 文件={ https://aubert.perso.math.cnrs.fr/recherche/Memoization_for_Uniry_Logic_Programming.tex } } @会议{2015年8月, title={构型结构上的可逆倒钩同余}, author={Aubert,Clément和Cristescu,Ioana}, 年份=2015年, booktitle={ICE 2015年}, series={理论计算机科学电子论文集}, 体积=189, 页数={68--95}, doi={10.4204/EPTCS.189.7}, url={ https://aubert.perso.math.cnrs.fr/recherche/reversible_barbed_congruence_on_configuration_structures.pdf }, editor={奈特、索菲亚和卢克·拉富恩特、阿尔贝托和拉内斯、伊凡和维埃拉、雨果·托雷斯}, 文件={ https://aubert.perso.math.cnrs.fr/recherche/reversible_barbed_congruence_on_configuration_structures.tex }, archiveprefix={hal}, eprint={hal-01157974v1} } @会议{aubert2015dice, title={介于“隐式”和“显式”复杂性之间:自动化}, author={Aubert,Clément}, 年份=2015年, booktitle={DICE 2015}, url={ https://aubert.perso.math.cnrs.fr/recherche/an_in_beteen_implicit_and_explicit_complexity.pdf }, 机构={LACL}, archiveprefix={hal}, eprint={hal-01111737v2}, 文件={ https://aubert.perso.math.cnrs.fr/recherche/an_in_beteen_implicit_and_explicit_complexity.tex } } @第{Aubert2018lmcs条, title={统一与对数空间}, author={Aubert,Clément和Bagnol,Marc}, 年份=2018年, journal={计算机科学中的逻辑方法}, 体积=14, 数字=3, doi={10.23638/LMCS-14(3:6)2018}, url={ https://aubert.perso.math.cnrs.fr/recherche/unification-and-logarithmic-space_jour.pdf }, archiveprefix={hal}, eprint={hal-01157984}, 文件={ https://aubert.perso.math.cnrs.fr/recherche/unification-and-logarithmic-space_jour.tex } } @第{aubert2017jlamp条, title={配置结构和可逆性中的上下文等价}, author={Aubert,Clément和Cristescu,Ioana}, 年份=2017年, journal={程序设计中的逻辑和代数方法杂志}, 体积=86, 数字=1, 页数={77--106}, doi={10.1016/j.jlamp.2016.08.004}, issn={2352-2208}, url={ https://aubert.perso.math.cnrs.fr/recherche/contextual_equivalences_in_configuration_structures_and_reversibility.pdf }, 文件={ https://aubert.perso.math.cnrs.fr/recherche/contextual_equivalences_in_configuration_structures_and_reversibility.tex }, archiveprefix={hal}, eprint={hal-01229408} } @正在进行{aubert2016年8月fossacs, title={一元分辨率:表征Ptime}, author={Aubert,Clément and Bagnol,Marc and Seiller,Thomas}, 年份=2016年, booktitle={FOSSACS 2016}, publisher={Springer}, series={计算机科学讲稿}, 体积=9634, 页数={373--389}, doi={10.1007/978-3-662-49630-5_22}, url={ https://aubert.perso.math.cnrs.fr/recherche/Unary_Resolution_Characterizing_Ptime.pdf }, 文件={ https://aubert.perso.math.cnrs.fr/recherche/Unary_Resolution_Characterizing_Ptime.tex }, editor={雅各布斯、巴特和罗丁、克里斯托夫}, archiveprefix={hal}, eprint={hal-01107377} } @第{aubert2016iac条, title={对数空间和排列}, author={奥伯特、克莱门特和塞勒、托马斯}, 年份=2016年, 日志={信息与计算}, 体积=248, 页数={2--21}, doi={10.1016/j.ic.2014.01.018}, url={ https://aubert.perso.math.cnrs.fr/recherche/对数空间和替代.pdf }, editor={Ronchi Della Rocca、Simona和Mogbil、Virgile}, 文件={ https://aubert.perso.math.cnrs.fr/recherche/lographic_space_and_perx变.tex }, archiveprefix={hal}, eprint={hal-01005701} } @技术报告{aubert2019类别, title={我和你的类别?}, author={Aubert,Clément}, 年份=2019, 数字={}, url={ https://aubert.perso.math.cnrs.fr/recherche/categories_for_me.pdf }, type={和平}, institution={奥古斯塔大学}, 页面总数=45, archiveprefix={hal}, eprint={hal-02308858}, 文件={ https://aubert.perso.math.cnrs.fr/recherche/categories_for_me.zip } } @会议{aubert2020年, title={通信系统可逆演算中的结构等价(摘要)}, author={Aubert,Clément和Cristescu,Ioana}, 年=2020年, booktitle={ICE 2020}, url={ https://aubert.perso.math.cnrs.fr/recherche/structural_evalence_in_rccs_abstract.pdf }, archiveprefix={hal}, eprint={hal-02118036}, 文件={ https://aubert.perso.math.cnrs.fr/recherche/structural_equivalence_in_rccs_abstract.tex } } @进行中{Aubert2020同意, title={可逆性如何解决传统问题:遗传历史的例子——保留双模拟}, author={Aubert,Clément和Cristescu,Ioana}, 年=2020年, booktitle={CONCUR 2022}, publisher={Schloss Dagstuhl-Leibniz Zentrum f{\“{u}}r Informatik}, 级数={LIPIcs}, volume=2017年, 页数={7:1--7:23}, doi={10.4230/LIPIcs.CONCUR.2020.7}, url={ https://aubert.perso.math.cnrs.fr/recherche/how_reversibility_can_solve_traditional_questions.pdf }, editor={Igor Konnov和Laura Kovács}, 文件={ https://aubert.perso.math.cnrs.fr/recherche/how_reversibility_can_solve_traditional_questions.tex } } @会议{Aubert2020进程, title={{过程、系统和测试:并发计算的三层}}, author={Aubert,Clément和Varacca,Daniele}, 年份=2021, booktitle={Proceedings 14th Interaction and Concurrency Experience,{ICE}2021,在线,2021年6月18日}, 系列={{EPTCS}}, 体积=347, 页数={1--21}, doi={10.4204/EPTCS.347.1}, url={ https://aubert.perso.math.cnrs.fr/recherche/process_systems_tests.pdf }, 文件={ https://aubert.perso.math.cnrs.fr/recherche/process_systems_tests.tex }, editor={Lange、Julien和Mavridou、Anastasia和Safina、Larisa和Scalas、Alceste} } @第{条Aubert2022jlamp, title={针对测试的过程:关于定义上下文等价物}, author={Aubert,Clément和Varacca,Daniele}, 年=2022年, journal={程序设计中的逻辑和代数方法杂志}, 页码=100799, doi={10.1016/j.jlamp.2022.100799}, issn={2352-2208}, archiveprefix={hal}, eprint={hal-03535565} } @正在进行{Aubert2021RC, title={可逆并行演算中的显式标识符和上下文}, author={Aubert、Clément和Medić、Doriana}, 年份=2021, 书名={RC 2021}, publisher={Springer}, series={计算机科学讲稿}, 体积=12805, 页数={144--162}, doi={10.1007/978-3-030-79837-69}, editor={山下茂和横山由纪夫}, archiveprefix={hal}, eprint={hal-03183053v1} } @会议记录{ICE2022, title={Proceedings 15th Interaction and Concurrency Experience,{ICE}2022,Lucca,Italy,2022年6月17日}, 年=2022年, publisher={打开发布关联}, 系列={EPTCS}, 体积=365, doi={10.4204/EPTCS.365}, editor={Aubert,Clément and Di Giusto,Cinzia and Safina,Larisa and Scalas,Alceste} } @会议记录{ICE2023, title={Proceedings 16th Interaction and Concurrency Experience,{ICE}2023,葡萄牙里斯本,2023年6月19日}, 年=2023年, publisher={打开发布关联}, 系列={EPTCS}, 体积=383, doi={10.4204/EPTCS.383}, editor={Clément Aubert和Cinzia Di Giusto以及Simon Fowler和Larisa Safina} } @正在进行{Aubert2022ExpressSos, title={关于不相交应用π-微积分的持续时间和因果关系的双模拟}, author={奥伯特、克莱门特和霍恩、罗斯和约翰森、克里斯蒂安}, 年=2022年, booktitle={EXPRESS/SOS2022}, 系列={{EPTCS}}, 体积=368, 页数={3--22}, doi={10.4204/EPTCS.368.1}, editor={Castiglioni、Valentina和Mezzina、Claudio Antares} } @进行中{Aubert2022关注, title={安全钻石:{A}应用Pi-Calculus}的非交互操作语义, author={奥伯特、克莱门特和霍恩、罗斯和约翰森、克里斯蒂安}, 年=2022年, booktitle={CONCUR 2022}, publisher={Schloss Dagstuhl-Leibniz Zentrum f{\“{u}}r Informatik}, 级数={LIPIcs}, 体积=243, 页数={30:1--30:26}, doi={10.4230/LIPIcs.CONCUR.2022.30}, editor={克林、巴托克和拉索塔、斯拉沃米尔和穆斯科尔、安卡} } @进行中{Aubert2022RC, title={可逆并发演算中的并发}, author={Aubert,Clément}, 年=2022年, 书名={RC 2022}, publisher={Springer}, series={计算机科学讲稿}, 体积=13354, 页数={146--163}, doi={10.1007/978-3-031-09005-9\_10}, editor={梅齐纳、克劳迪奥·安塔雷斯和波德拉斯基、克日什托夫}, archiveprefix={hal}, eprint={hal-03605003} } @正在进行{Aubert2022FSCD, title={mwp-分析改进与实现:实现隐式计算复杂性}, author={奥伯特、克莱门特和鲁比亚诺、托马斯和鲁施、内亚和塞勒、托马斯}, 年=2022年, booktitle={FSCD 2022}, publisher={Schloss Dagstuhl-Leibniz Zentrum f{\“{u}}r Informatik}, 级数={LIPIcs}, 体积=228, 页数={26:1--26:23}, doi={10.4230/LIPIcs.FSCD.2022.26}, 编辑={Felty,Amy P.} } @进行中{Aubert2022CRIS, title={生物医学研究杰出生产力研究的数据集成}, author={Aubert、Clément和Balas、E Andrew和Townsend、Tiffany和Sleeper、Noah和Tran、CJ}, 年=2022年, booktitle={CRIS 2022}, publisher={Elsevier}, series={Procedia Computer Science}, 体积=211, 页数={196--200}, doi={10.1016/j.procs.2022.10.191}, issn={1877-0509}, editor={Sicilia、Miguel-Angel和De-Castro、Pablo和Vancauwenbergh、Sadia和Simons、Ed和Ognjen、Orel}, archiveprefix={handle}, eprint={11366/1987} } @会议{Aubert2022类型, title={实现隐式计算复杂性}, author={奥伯特、克莱门特和鲁比亚诺、托马斯和鲁施、内亚和塞勒、托马斯}, 年=2022年, 月=3月, booktitle={Types 2022}, editor={Kesner、Delia和Pédrot、Pierre-Marie}, archiveprefix={hal}, eprint={hal-03603510} } @进行中{AubertRRS23, title={分配和并行非标准回路}, author={奥伯特、克莱门特和鲁比亚诺、托马斯和鲁施、内亚和塞勒、托马斯}, 年=2023年, booktitle={{VMCAI}2023}, publisher={Springer}, series={计算机科学讲稿}, 体积=13881, 页数={1--24}, doi={10.1007/978-3-031-24950-1}, editor={Dragoi、Cezara和Emmi、Michael和Wang、Jingbo} } @进行中{AubertRRC23, title={可逆并行演算中的复制}, author={Clément Aubert}, 年=2023年, 书名={{RC}2023}, publisher={Springer}, series={计算机科学讲稿}, 体积=13960, 页码={15-23}, doi={10.1007/978-3-031-38100-3_2}, editor={Martin Kutrib和Uwe Meyer}, archiveprefix={hal}, eprint={hal-04174437} } @进行中{AubertIRDC23, title={可逆分布式微积分的实现}, 作者={Clément Aubert和Peter Browning}, 年=2023年, 书名={{RC}2023}, publisher={Springer}, series={计算机科学讲稿}, 体积=13960, 页数={210--217}, doi={10.1007/978-3-031-38100-3_13}, editor={Martin Kutrib和Uwe Meyer}, archiveprefix={hal}, eprint={hal-04174439} } @第{AubertRCC23条, title={(可逆)并发演算中并发的正确性}, author={Clément Aubert}, 年=2023年, journal={程序设计中的逻辑和代数方法杂志}, 页数=100924, doi={10.1016/j.jlamp.2023.100924}, issn={2352-2208}, archiveprefix={hal}, eprint={hal-03950347} } @进行中{AubertPymwp23, title={pymwp:确定多项式增长边界的静态分析器}, author={奥伯特、克莱门特和鲁比亚诺、托马斯和鲁施、内亚和塞勒、托马斯}, 年=2023年, booktitle={{ATVA}2023}, publisher={Springer Nature Switzerland}, 地址={Cham}, doi={10.1007/978-3-031-45332-8_14}, 页数={263--275}, isbn={978-3-031-45332-8}, editor={André,Etienne和Sun,Jun}, archiveprefix={hal}, eprint={hal-03269121} }
博览会
应用隐式计算复杂性
多纳拉博览会 特别会议 证明 理论与理论计算机科学 都 第二届AMS-UMI国际 联席会议 “l” 德利大学 帕勒梅, 意大利,le 24 Juillet: 透明胶片
颠倒你的计算,但为什么?
邓内奥博览会 会议 论安全与并发的基础 ,学院 norvégienne des sciences et des lettres,2024年7月4日: 透明胶片
过程微积分概述
邓内奥博览会 SCCS研究座谈会 ,a Augusta(奥古斯塔) 费维尔大学,le 16,2024年: 透明胶片
可逆并发计算中的复制
(可逆)并发中并发的正确性 石灰岩
信息分离博览会 博洛涅大学,2023年5月, 邓内奥博览会 座谈会 伯努利研究所信息 2023年5月1日。
可逆性如何解决传统问题
洛杉矶 视频 等等 透明胶片 2020年9月1日,发布 第31届国际 并发理论会议 (南澳大利亚州 youtube(youtube) ).
过程、系统和测试:三层并行 计算
拉维多 等 女同性恋 透明胶片 都 2020年8月31日,达尼埃拉公告 快递/SOS 2020 (南澳大利亚州 youtube(youtube) ).
可逆交际演算中的结构等价性 系统
女同性恋 2019年5月11日透明 ,au 东南 区域编程语言研讨会(SERPL 2019) 女同性恋 2019年7月1日透明 ,倾泻着联合国小型博览会 l’ 国际学校 正在重写 洛杉矶 vidéo du 2020年6月19日 ,de la présentation au 第13次互动和 并发体验 (南澳大利亚州 youtube(youtube) ).
工作会谈
构型结构上的可逆倒钩同余
女同性恋 2015年6月5日透明 ,exposés par Ioana Cristescu公司 澳大利亚 车间 内燃机 女同性恋 2015年6月5日透明 ,展览 au séminaire LCR du公司 LIPN公司 女同性恋 2015年5月28日透明 ,exposés par Ioana Cristescu公司 澳大利亚 劳动团体 分析et 系统概念 无PPS 女同性恋 2015年5月22日透明 ,exposés informelement au 拉丁美洲和加勒比
介于“隐式”和“显式”复杂性之间:自动机
女同性恋 2015年4月12日透明 ,展览 DICE标准 2015 女同性恋 2015年2月6日透明 法国职业介绍联合会 项目A.N.R。 埃利卡
《复合体的曼提克》(Naissance d'une approache sémantique de la complexité)
2014年11月19日,A.N.r.项目联盟。 逻各斯 ,au tableau!
《利内尔逻辑报》,《巴黎气象报》 复合隐含
2014年10月14日, 澳大利亚 拉丁美洲和加勒比地区 ,au tableau!
程序逻辑、统一与表示对数
女同性恋 透明胶片du 12/06/14 ,exposés au 勒基佩博物馆 低密度聚乙烯 女同性恋 透明胶片du 19/06/14 ,exposés au 塞米纳雷 de l’équipe有限公司 都 拉马
《林内尔逻辑》的问答贡献(Quelques contributions de la Logique Linéaireála Théorie de la) 复合物
女同性恋 2014年3月19日透明 ,exposés au 塞米纳雷 分隔区«бMéthodes formellesб» 都 洛里亚 .
对数空间中的证明电路与并行消去
2013年9月20日au séminaire有限责任合伙。 英语 《装扮》(guse de bienvenue dans l’equipe)。
对数空间与置换
女同性恋 2013年9月6日透明 ,展览 2013年LCC , 都灵。
线性逻辑作为复杂性理论的工具
2013年3月5日,世博会 Séminaire有限责任公司。 à 巴黎·狄德罗。
关于指针、图和日志空间复杂性
女同性恋 2012年11月29日透明 ,公开贡献 9 埃梅 巴黎安乐礼节联盟13。
特征描述 联合NL 通过集团行动
女同性恋 2012年11月22日透明 ,exposés au séminaire有限责任合伙。 à 意大利。 M.L.、。, 女同性恋 2012年11月7日透明 ,exposés au 福库斯 会议 “l” 巴黎大学 博洛涅 , 女同性恋 2012年9月28日至2012年10月19日的透明度 ,exposés au Séminaire有限责任公司。 , 澳大利亚 L.I.P.N.公司。 , 女同性恋 2012年10月9日透明 ,exposés au 分组de Travail Sémantique公司 , à 第页。
并行计算的证明电路和其他模型
女同性恋 2012年2月2日透明 ,博览会 逻辑和交互2012 , 杜兰·拉塞曼 « 复杂性» .
次对数一致布尔证明网
女同性恋 2011年4月2日透明 ,exposés au 车间 骰子 萨勒布鲁克,杜兰特 2011年ETAPS , Le 11 février 2011多学科发展集团 博士学位 维里特(Véritéet) 前葡萄牙人 巴黎第一大学, 女同性恋 2010年11月17日透明 ,exposés lors des 16 埃梅斯 伦康特斯L.A.C.和P.P.S。
食物
塞塞美食
德塞米帕库斯食品
保罗·安德烈·梅利埃 — C.N.R.S.公司。 , 第页。 ,邀请 埃塞里厄尔实验室, 劳蕾·佩特鲁奇 — L.I.P.N.公司。 ,邀请函 实验室, 斯特凡诺·格雷尼 — L.I.P.N.公司。 ,导演, 维吉尔·莫比尔 — L.I.P.N.公司。 ,联合营地,
梅莫尔美食
任命
助理教授 (2017-发送) 奥古斯塔大学 , 讲师(2016)au 分区信息 德勒' 阿巴拉契亚州立大学 , 空缺(2014-2015年) Facultédes Sciences等人 技术人员 德勒' UPEC公司 . Moniteur(2010-2013) I.U.T.de Villetaneuse公司 ,dans le 离婚 雷索& Télé通信 .
构型管理- 计算机科学I :启动 Java编程, voir mon(旁白) 教学大纲 :105公顷。 负责人: 帕特里夏·约翰 等 我是我。 TP和TD- 编程重要 :39赫。 负责人:Eric Petit。 TP和TD- 算法初始化 复合物 :35小时。 负责人: 谢尔盖·韦兰 TP和TD- 算法与编程 (英语) C) :54小时。 负责人: 卡米尔·科蒂 . TP(转移定价)- 开发系统管理 红葡萄酒 :52赫。 负责人: 劳蕾·佩特鲁奇 . TP和TD- 多内斯基地 :26小时。 负责人:Jean-Michel Barrachina。 CM、TP和TD- Apprendre autrement公司 :en(英语) l'occurrence une sensibilisation aux敏化辅助 T.I.C.E.公司。 《滨海数学自治练习》(et-au travail en autonomie autour d exercises de Mathématiques sur la) 板状的 WIMS公司 :18小时。 负责人: 费萨尔·本卡尔顿 CM、TP和TD- Apprendre autrement公司 : 项目管理应用程序,en-C,php,mysql et java:41 赫雷斯。 2010-2011年负责人:Fayssal Benkhaldoun。 负责人 2011-2012.
潜水员
注释pratiques
交易所和融资
参与方案和活动委员会 改写
|
|
|
|
资格、项目和导演的做作
埃利卡 ( ANR-14-CE25-0005 - 10/2014 – 10/2019 ☠ ), 反向(REVER) ( ANR-11-INSE-0007 - 12/2011 – 12/2015 ☠ ), Recré公司 ( ANR-11-BS02-0010标准 - 11/2011 – 10/2015 ☠ ), 洛戈伊 ( ANR-10-BLAN-0213 - 11/2010 – 03/2015 ☠ ) 等 遵守( ANR-08-BLANC-0211-01 - 01/2009 – 04/2013 ☠ ).
埃·科尔斯和塞尤尔
杜7 au 2021年11月12日,j'ai organizationéun mini-événementá 达格斯图尔(DE) , 程序流的静态分析: 复杂性类型和证书 . 杜18 au 20 juin 2016,visiteá 洛杉矶 国家科学基金会 阿灵顿, 弗吉尼亚州(美国),grál’obtition’une 交易所 研发旅行补助金 Du 13 au 2016年5月18日,参加au Séminaire公司 达格斯图尔16112 从理论到实践的代数效应和 经办人 ,Dagstuhl(德国) 2014年8月22日,杜19,来访 J.G.西蒙森 gráce au项目 隐式计算复杂性和代数(COLA)- 数据逻辑研究所 ,哥本哈根 (丹麦) 杜5 au 11 2012年11月11日,来访 乌戈·达尔·拉戈 eta l’équipe等 福库斯 格雷斯·奥 P.I.C.S.公司。 逻辑 Linéaire等人的申请 博洛涅(IT) 杜5 au 8 juin 2012, 现实主义 查姆布雷 查姆贝里(法国) 2011年11月11日上午7点, 线性逻辑研讨会(几何 交互作用、跟踪单体范畴和隐含复杂性) à 京都(JP) 杜16爵au 1 呃 2011年7月, 第十 俄勒冈州年度编程语言暑期学校 , 类型, 语义和验证 俄勒冈州尤金(美国) 杜21 au 25 mars 2011,visiteá 托马斯·塞勒 , à 马赛(法国) 杜交易所 GdR-IM公司 杜17 au 19 mars 2011,埃科尔·洛戈伊·卡里·勒·鲁特(法国)