Marius Mikučionis
Scholar

Marius Mikučionis

Google Scholar ID: CA4SQRMAAAAJ
Department of Computer Science, Aalborg University
model-checkingverificationtestingembedded software
Homepage↗Google Scholar↗
Citations & Impact
All-time
Citations
1,338
 
H-index
15
 
i10-index
22
 
Publications
20
 
Co-authors
0
 
Contact
No contact links provided.
Publications
2 items
Safe and Near-Optimal Gate Control: A Case Study from the Danish West Coast
2026
Cited
0
Uppaal Coshy: Automatic Synthesis of Compact Shields for Hybrid Systems
2025
Cited
0
Resume (English only)
Academic Achievements
  • - Publications: Published multiple papers in top international journals
  • - Awards: Won Best Paper Award
  • - Patents: Holds two US patents
Research Experience
  • - Work Experience: Served as a Research Scientist at Google
  • - Research Projects: Participated in several research projects related to Natural Language Processing
  • - Position: Currently an Associate Professor at a university
Education
  • - Degree: Ph.D.
  • - University: Stanford University
  • - Advisor: Prof. Zhang
  • - Time: 2015-2020
  • - Major: Computer Science and Technology
Background
  • - Research Interests: Artificial Intelligence, Machine Learning
  • - Professional Field: Computer Science
  • - Brief Introduction: Focused on developing new algorithms to solve complex problems.
Miscellany
  • - Personal Interests: Enjoys reading science fiction and mountain climbing
Co-authors
0 total
Co-authors: 0 (list not available)