جست‌وجوی استاد و پژوهشگر

Sylvain Lefebvreمشاهده پروفایل

پژوهشگر

• Computer Graphics
• Texture Synthesis
• Additive Manufacturing
• +۴ مورد دیگر

Sylvain Lefebvre is a permanent researcher at INRIA (Institut National de Recherche en Informatique et en Automatique) in France, where he leads the MFX research team since 2018. Previously, he was part of the ALICE group at INRIA Nancy (2009-2018) and the REVES team in Sophia Antipolis (2006-2009). His career includes a postdoctoral position at Microsoft Research Seattle (2005) following his PhD at INRIA Rhones-Alpes under Fabrice Neyret. His educational background includes a PhD in Computer Graphics from Université Joseph Fourier (Grenoble) in 2005, preceded by a Master in Computer Graphics from INP Grenoble in 2001. His habilitation thesis focused on Runtime Texture Synthesis. Lefebvre's research centers on simplifying content creation for highly detailed patterns, structures, and shapes with applications spanning Computer Graphics to additive manufacturing. He develops fast, controllable by-example synthesis approaches that generate content while enforcing user-specified constraints. His work addresses computational challenges through novel data structures and algorithms optimized for GPUs and FPGAs, including his Silice programming language. The ERC-funded ShapeForge project (2012-2017) advanced shape generation for 3D printing, leading to the IceSL software for digital modeling and fabrication. Analysis of his 15 most recent publications reveals a strong focus on additive manufacturing optimization, with recurring themes in structural integrity, material efficiency, and geometric algorithms. His work bridges computer graphics theory with practical fabrication constraints, particularly in microstructure design, slicing techniques, and mechanical metamaterials. The interdisciplinary nature spans computer science, materials engineering, and robotics. EUROGRAPHICS Young Researcher Award (2010) ERC Starting Grant for ShapeForge project (2012) Lefebvre has advised over 25 PhD students and interns including Marco Freire, Thibault Tricard, and Jimmy Etienne. His ShapeForge project received significant ERC funding, supporting research in computational fabrication. He serves on numerous program committees including SIGGRAPH, Eurographics, and SIGGRAPH Asia, reflecting his leadership in the computer graphics community. As leader of the MFX team since 2018, Lefebvre directs research in computational fabrication, focusing on IceSL software development for 3D printing workflows. The team integrates computer graphics techniques with manufacturing constraints, developing tools that simplify complex object design and fabrication while addressing real-world challenges in material usage and structural integrity.

Anne-Marie Kermarrecمشاهده پروفایل

پژوهشگر

• Gossip-based networking
• P2P systems
• Social Networks
• +۶ مورد دیگر

Anne-Marie Kermarrec is a Senior Researcher at INRIA (France), with prior roles at Microsoft Research (UK) and the University of Rennes 1 (France). Her work focuses on decentralized systems, including gossip protocols, peer-to-peer networks, social networks, and collaborative filtering. PhD in Computer Science (Rennes, 1996) Her research spans epidemic algorithms, content-based search in large-scale networks, and scalable group communication. She pioneered gossip-based peer sampling and multicast infrastructures like Scribe and SplitStream. Her publications highlight applications in decentralized news recommendation (AllYours), network coding, and privacy-preserving social platforms (Gossple). Key article trends include gossip protocols , P2P systems , social network analysis , decentralized storage , and collaborative filtering . She received the Michel Monpetit Award (2011), ERC Starting Grant (GOSSPLE, 2008-2013), and an ICDCS Best Paper Award (2010). Michel Monpetit Award (2011) ERC PoC AllYours (2013) ERC Starting Grant GOSSPLE (2008-2013) ICDCS Best Paper Award (2010) Kermarrec led program committees for major conferences (e.g., EuroSys, Middleware) and chaired the ACM Software System Award. Her software contributions include AllYours (news recommender), GossipLib (gossip library), and GossipPeer (P2P platform maintenance).

Thomas W. Repsمشاهده پروفایل

استاد

• Programming languages
• Software engineering
• Static program analysis
• +۵ مورد دیگر

Thomas W. Reps is a Professor in the Department of Computer Science at the University of Wisconsin, holding the position since 1985. He has served as President and Co-founder of GrammaTech, Inc. since 1988, and held visiting roles including Guest Professor at the University of Paris 7 (2007-08), Visiting Researcher at CNR in Pisa, Italy (2000-01), and Guest Professor at the University of Copenhagen (1993-94). He previously served as Associate Chairman of the Computer Sciences Department at Wisconsin (1990-93) and held postdoctoral roles at Cornell University and INRIA. Reps' research spans programming languages, software engineering, and computer security, with a focus on static program analysis, machine-code analysis, and program slicing. His work in model checking, software maintenance, and analysis techniques for information security has significantly impacted the field of computer science. 2017 ACM SIGPLAN Programming Languages Achievement Award 2015 WARF Named Professorship 2005 ACM Fellow 2000 Guggenheim Fellowship 1986 NSF Presidential Young Investigator Award Reps' publications highlight advancements in interprocedural dataflow analysis, weighted pushdown systems, and symbolic computation. His work bridges theoretical foundations with practical applications in software verification and security, creating tools that have shaped modern program analysis techniques. He has collaborated extensively with researchers like Somesh Jha, Mooly Sagiv, and Gogul Balakrishnan across institutions in Europe and the U.S.

Sagiv Shmuelمشاهده پروفایل

استاد

• Software verification
• Shape analysis
• Smart contracts
• +۷ مورد دیگر

Prof. Sagiv Shmuel is a Full Professor at Tel-Aviv University's Department of Computer Science. He has held various academic roles, including Associate Professor (2004–2005), Senior Lecturer (2000–2004), and visiting positions at institutions such as the University of Chicago and University of Copenhagen. His research focuses on software verification, shape analysis, smart contracts, and programming languages. Education: Ph.D. in Computer Science, Technion (1986–1990) B.A. in Computer Science, Technion (1982–1985), cum laude Research Interests: His work addresses challenges in static analysis, formal verification, and program analysis. Notable areas include invariant inference, smart contract security, and parametric shape analysis. These contributions have led to practical tools like Ivy and the foundation of Certora, a company specializing in smart contract verification. Awards: ACM Fellow (2016) Friedrich Wilhelm Bessel Research Award (2002) Microsoft Outstanding Collaborator Award (2016) Grants & Leadership: Principal Investigator (PI) of a Senior ERC Grant (1.57M Euros) for software composition verification Editor of Foundations and Trends in Programming Languages Chair of program committees for POPL, SAS, and other leading conferences His research has been applied to real-world systems, such as improving the Java concurrent library and ensuring kernel extension security in Linux.

Yujie Tangمشاهده پروفایل

استادیار

• Internet of Vehicles
• B5G/6G Wireless Networking
• Edge Computing
• +۹ مورد دیگر

Yujie Tang is an Assistant Professor in the Faculty of Computer Science at Dalhousie University, Halifax, Canada, where she has been serving since September 2022. Prior to this, she was an Assistant Professor at Algoma University from July 2019 to August 2022, and a Postdoctoral Fellow at the University of Waterloo from October 2017 to June 2019. Faculty of Computer Science, Dalhousie University (2022–Present) School of Computer Science and Technology, Algoma University (2019–2022) Department of Electrical and Computer Engineering, University of Waterloo (Postdoc, 2017–2019) Education: Ph.D., Electrical and Computer Engineering, University of Waterloo M.E., Harbin Institute of Technology, Shenzhen B.E., Lanzhou Jiaotong University Dr. Tang’s research centers on intelligent networking and computing technologies, with applications in B5G/6G networks, Internet of Vehicles (IoV), edge computing, and UAV-assisted systems. She leverages machine learning and AI to optimize resource management, spectrum allocation, and network performance in heterogeneous and dynamic environments. Her work bridges theoretical design with practical implementation in next-generation communication systems. The recent publications highlight a consistent focus on AI-driven solutions for wireless networks, particularly in vehicular communications, edge intelligence, and spectrum efficiency. Key themes include reinforcement learning for UAV deployment, deep learning for spectrum sensing, and cooperative edge caching in 5G/mmWave networks. These works span top journals such as IEEE TWC, TVT, IoT Journal, and JSAC, reflecting strong technical depth and real-world applicability. Scientific Awards and Honors: NSERC Discovery Grant (2021–2026) Faculty Research Startup Funds from Dalhousie and Algoma Universities Best Speaker Award, University of Waterloo (2017) Multiple awards including FoE Award, Graduate Scholarship, and Entrance Awards from University of Waterloo (2011–2017) Dr. Tang actively contributes to the academic community as a reviewer for leading IEEE journals and conferences, and has served on technical program committees for IEEE INFOCOM, GLOBECOM, ICC, and VTC. She is a member of IEEE, IEEE Communications Society, and IEEE Vehicular Technology Society. She is currently advising and recruiting MSc and PhD students for research in B5G/6G, IoV, and AI-empowered edge computing. Laboratory and Research Group: Dr. Tang leads a research group focused on intelligent networking and edge AI systems at Dalhousie University. Her lab investigates real-time decision-making, resource slicing, and autonomous vehicular networks, often integrating simulation with practical deployment considerations.

• Programming Languages
• Logic Programming
• Constraint Programming
• +۴ مورد دیگر

Ulrich Neumerkel is an Assistant Professor in the Department of Compilers and Languages at Technische Universität Wien (TU Wien). He holds academic titles of Dipl.-Ing. (FH) and Dr.techn. His primary research focuses on programming languages, logic programming, and constraint programming, with significant contributions to Prolog optimization, garbage collection, and formal methods. He is also actively involved in educational initiatives, developing declarative programming tools and curricula. Neumerkel teaches courses such as Logic Programming and Constraints, Advanced Logic Programming, and Programming 2. He leads research in formal semantics of Prolog, constraint solver design, and memory management techniques. His work includes contributions to ISO/IEC Prolog standards and the development of tools like the Vienna Abstract Machine (VAM) and the GUPU environment for Prolog education. His research interests span compiler design, termination analysis, and program transformation. He has supervised students, including M. Seidl, on diploma theses related to virtual machine comparison and other topics. Neumerkel's affiliations include the Compilers and Languages group within TU Wien's Institute for Information Systems Engineering.

Laurent Grocمشاهده پروفایل

پژوهشگر

• Synaptic maturation and plasticity
• Electrophysiology
• Single molecule imaging
• +۷ مورد دیگر

Laurent Groc is a CNRS Research Director (1st class) at the University of Bordeaux, affiliated with the Interdisciplinary Institute for Neuroscience (IINS) and Bordeaux Neurocampus. His research spans synaptic maturation, neurotransmitter receptor trafficking, and neurodevelopmental disorders using electrophysiology and single-molecule imaging. PhD in Neurosciences (Wayne State University & University of Lyon) Habilitation to Direct Research (University of Bordeaux) Research interests focus on synaptic plasticity mechanisms, NMDA receptor dynamics, and nanoscale imaging in neuroscience. His work also explores psychosis and neurodevelopmental disorders through receptor trafficking and autoantibody interactions. His recent publications highlight synaptic receptor organization, glutamate transporter diffusion, and nanoparticle-based imaging techniques. Key subfields include neurochemical dynamics, mental health, and neurobiological mechanisms. Awards include the CNRS Excellence Award (2016, 2013, 2009), TOR Award (2017), and HFSP Award (2016). He has held editorial roles at journals including PLoS One and BMC Neuroscience and coordinated neuroscience training programs. Groc leads the CNRS UMR5297 team and contributes to institutional governance through roles at the French Research Funding Agency and Bordeaux university council.

Daniel Sieberمشاهده پروفایل

مدرس

• Medical Technology
• Health Technologies
• Surgical Simulation
• +۶ مورد دیگر

Dr. Daniel Sieber serves as Head of the Department and Study Programs in Medical, Health, and Sports Technologies at MCI | The Entrepreneurial School®. He holds a Dr. rer. biol. hum. (Summa Cum Laude) from Hannover Medical School and a Dipl.-Ing. in Mechanical Engineering (Biomedical Engineering) from the University of Stuttgart. His academic roles include full-time lecturer and researcher with a clinical-medical focus. Research Interests: Dr. Sieber specializes in medical technologies, particularly focusing on surgical simulation using virtual reality (VR), cochlear implant innovation, minimally invasive surgery techniques, and 3D printing applications in healthcare. His work bridges engineering and medicine, emphasizing translational research and interdisciplinary education. Teaching & Leadership: He leads courses in Medical Technologies, Product Development, and Implantable Devices at MCI. Recent activities include visiting professorships in Shenzhen, China, and supervising over 20 bachelor's and master's theses in medical device engineering and surgical training technologies. Key Awards: 2023 MCI Teaching Award Patents: Includes designs for cochlear implant electrodes and surgical tools Networks: Member of Tyrol's Life Sciences Cluster Advisory Board Grants & Labs: His research has driven partnerships with institutions like Hannover Medical School and MED-EL GmbH. Active in developing VR surgical training platforms and digital twins for healthcare systems.