جستجوی استاد راهنمای دانشگاهی

Mohsen Lesaniمشاهده پروفایل

دانشیار

• Reliability of software systems
• Security of software systems
• Concurrent systems
• +۱۲ مورد دیگر

Mohsen Lesani is an Associate Professor in the Computer Science and Engineering Department at the University of California, Santa Cruz's Baskin School of Engineering. His research focuses on reliability and security of software systems, particularly concurrent and distributed systems, with recent emphasis on secure replicated systems and distributed machine learning. Dr. Lesani received his PhD from UCLA, MS in artificial intelligence from Sharif University of Technology, and BS in software engineering from University of Tehran. He was previously a postdoc at MIT. His educational background provides a strong foundation for his interdisciplinary research spanning programming languages, distributed systems, and security. His research interests center on creating reliable and secure distributed systems. Current projects include resilient and secure distributed systems, heterogeneous and reconfigurable secure distributed systems, automatic analysis and synthesis of replicated objects, verification of distributed systems, data analytics, secure exchange across blockchains, machine learning for performance models, domain-specific languages and type systems, and automatic fence insertion for concurrent systems. His work bridges theoretical foundations with practical implementations to address real-world challenges in distributed computing. Lesani's research has been recognized with several prestigious awards including the NSF CAREER award in 2020 and DARPA YFA award in 2022. His work has also received the SIGPLAN Research Highlight in 2019, a distinguished paper award at OOPSLA 2018, and a best paper award at ISSRE 2015. These accolades reflect the impact and quality of his contributions to the field. He actively mentors PhD students in the Safe and Secure Software (S3) lab, including Xiao Li, Eric Chan, Javad Saber-Latibari, and Tejas Mane. His research has been supported by multiple NSF grants, demonstrating sustained funding for his innovative work. Lesani serves on program committees for major conferences including POPL, PLDI, OOPSLA, and DISC, contributing to the academic community. Lesani leads the Safe and Secure Software (S3) lab at UC Santa Cruz, where his team works on cutting-edge research in distributed systems, programming languages, and security. The lab fosters a collaborative environment where theoretical insights are translated into practical systems that address real-world challenges in reliability and security of distributed applications.

Claude Cohen-Tannoudjiمشاهده پروفایل

استاد

• Physics
• Quantum Mechanics
• Laser Cooling
• +۳ مورد دیگر

Claude Cohen-Tannoudji is a French physicist affiliated with Collège de France and École normale supérieure . He is renowned for his work in quantum mechanics , laser cooling , and atom-photon interactions , culminating in the 1997 Nobel Prize in Physics shared with Steven Chu and William Daniel Phillips. Alma mater: École normale supérieure, University of Paris Doctoral advisor: Alfred Kastler Research interests span quantum optics , atomic physics , and statistical approaches to laser cooling. He pioneered the dressed atom model and applied Lévy statistics to non-ergodic cooling phenomena. Scientific awards include the Nobel Prize in Physics (1997), CNRS Gold Medal (1996), and Legion of Honour (2010). Notable contributions to quantum mechanics textbooks and leadership in climate change advocacy via the 2015 Mainau Declaration further highlight his career. Doctoral students: Serge Haroche Jean Dalibard Claude Fabre Labs and teams include collaborations with Alain Aspect, Christophe Salomon, and Jean Dalibard at Collège de France, advancing laser cooling and trapping technologies.

Heather Millerمشاهده پروفایل

استادیار

• Distributed Systems
• Concurrent Programming
• Programming Languages
• +۴ مورد دیگر

Heather Miller is a tenure-track Assistant Professor in the Software and Societal Systems Department within Carnegie Mellon University's School of Computer Science. Her academic journey includes prior roles as an Assistant Clinical Professor at Northeastern University's College of Computer and Information Science and as Executive Director of the Scala Center at EPFL. Miller's research centers on distributed and concurrent computation through the lens of programming languages, with particular emphasis on data-centric systems, big data processing, and edge computing. A defining theme throughout her work is composability - enabling construction of complex distributed systems through composition of components that are correct by construction. Her projects span distributable closures, flexible serialization techniques, futures and promises for asynchronous programming, and deterministic concurrent dataflow models. Her recent publications demonstrate strong trends in applying programming language theory to practical distributed systems challenges, with increasing focus on WebAssembly instrumentation, microservice resilience, and language model pipelines. This evolution reflects her commitment to bridging theoretical foundations with real-world system requirements. Dahl-Nygaard Junior Prize (2023) Mentorship forms a significant component of Miller's academic work. She actively supervises multiple PhD, MS, and undergraduate researchers at CMU, including Christopher Meiklejohn, Matthew Weidner, Huairui Qui, Ria Pradeep, and Luke Dramko. Her service contributions span numerous top-tier conferences including PLDI, SPLASH, ECOOP, and ICSE where she has served as committee member, chair, and keynote speaker. Miller co-founded the Curry On conference to foster industry-academia dialogue, hosting successful editions in Prague, Rome, Barcelona, Amsterdam, and London. She leads research groups focused on distributed programming models and maintains strong industry connections through Two Sigma, where she holds an affiliation. Her work consistently emphasizes practical open-source implementations, primarily within the Scala ecosystem where she's been a core contributor since 2011.

Georgios Bardisمشاهده پروفایل

استادیار

• Intelligent Computer Graphics
• Declarative Modeling
• Multicriteria Decision Analysis
• +۴ مورد دیگر

Georgios Bardis is a permanent Assistant Professor at the Department of Informatics and Computer Engineering , School of Engineering , University of West Attica . He holds a PhD in Informatics from University of Limoges (2006), an MSc in Software Systems from University of California, Santa Barbara (1994), and a Diploma in Computer Engineering & Informatics from University of Patras (1992). His career spans multiple academic roles, including Lecturer at University of West Attica (2018-2021) and Professor of Applications at TEI of Athens (2010-2018). Research Interests : Focus on Intelligent Computer Graphics , Declarative Modeling , and Multicriteria Decision Analysis . His work integrates AI into 3D scene synthesis, urban planning, and semantic decision systems. Awards : Master Microsoft Office Specialist (MOS), 2003 NAT Scholarships for Academic Excellence (1989-1992) 1984 Monetary Prize from Hellenic Mathematical Society Leadership : Member of AKIIS Research Lab (University of West Attica), Editorial Board of International Journal of Systems Biology and Biomedical Technologies , and Reviewer for International Journal of Digital Earth . Publications : 5 peer-reviewed journals, 2 books, 8 book chapters, and 22 conference papers. Key areas include WebGL avatars, urban data analysis, and 3D modeling with AI.

Anargyros Tsadimasمشاهده پروفایل

مدرس

• Modeling & Simulation of Systems
• Distributed Systems
• Enterprise Information Systems Engineering
• +۳ مورد دیگر

Anargyros Tsadimas serves as a Teaching Associate and member of the Department of Informatics & Telematics at Harokopio University in Athens, Greece. He joined the university in 2004 as a research associate and currently holds a position in teaching laboratory staff. His academic background includes a BSc in Applied Informatics from the University of Macedonia (2002) and an MSc in Advanced Information Systems from the National and Kapodistrian University of Athens (2005). He earned his PhD in Information Systems from Harokopio University, focusing on model-based design of enterprise systems using SysML. His research interests span modeling and simulation of systems, distributed systems, enterprise information systems engineering, and cyber-physical systems. He has contributed over 25 publications in international conferences and journals, including work on SysML extensions for cost analysis, hybrid simulation platforms, and human-centric design of cyber-physical systems. Tsadimas has participated in EU and Greek government-funded R&D projects, with practical experience in startups as a Software Engineer, DevOps, and Technology Advisor. His recent research emphasizes integrating human factors into system design frameworks, exploring cloud pricing policies, and advancing simulation methodologies for complex systems. Notable contributions include developing declarative approaches for executable SysML models and applying systems engineering to transportation infrastructure challenges. No scientific awards are explicitly mentioned in the provided materials. His professional engagement includes advising on systems design projects and collaborating on interdisciplinary initiatives combining technical and human-centric perspectives.

Kotronis Christosمشاهده پروفایل

استادیار

• Model-Centered Systems Design
• Systems Simulation
• Quality of Service Awareness
• +۳ مورد دیگر

Kotronis Christos serves as an Assistant Professor in the Department of Informatics and Telematics at Harokopio University, Athens, with his office located at Omirou 9, Tavros (17778). His academic career is deeply rooted at this institution where he completed all his formal education. His educational qualifications include: Undergraduate Degree in Informatics and Telematics (2014) Postgraduate Diploma in Informatics and Telematics, Major: "Computer and Internet Technologies and Applications" (2016) PhD in Informatics and Telematics, Dissertation: "Model-Centric Design of Systems with Awareness of the Provided Quality of Service Based on the Systems Modeling Language (SysML)" (2021) His research focuses on model-centered systems design with strong emphasis on quality of service awareness, systems simulation, and human-centric requirements analysis. He bridges theoretical model-based engineering with practical applications in cyber-physical systems and Internet of Medical Things (IoMT), particularly addressing human concerns in healthcare monitoring and transportation systems. His methodologies heavily utilize SysML extensions for integrating non-functional requirements like cost and human factors. Analysis of his 15 most recent publications (2018-2025) reveals a cohesive research trajectory centered on model-based systems engineering with three dominant themes: (1) Human integration in cyber-physical systems design through multi-view approaches, (2) Quality of service and cost optimization in SysML frameworks, and (3) Real-world implementations in healthcare (ECG monitoring, fall detection) and transportation (railway passenger comfort). His work consistently demonstrates progression from foundational modeling to edge-computing implementations. Scientific Awards: No scientific awards mentioned in source materials Regarding academic supervision, the source materials do not specify current advisees though his PhD research and publications suggest involvement in graduate mentoring. His departmental role includes teaching undergraduate courses in Informatics and Telematics. While no specific research grants are documented, his publication pattern indicates participation in collaborative projects focused on cyber-physical systems and healthcare technology. The absence of explicit lab/team information suggests his work may be conducted within broader departmental frameworks rather than dedicated laboratories.

Michael Eichbergمشاهده پروفایل

استاد

• Software Engineering
• Static Analysis
• Software Development Tools
• +۳ مورد دیگر

Michael Eichberg is a Professor at Technische Universität Darmstadt, Germany, where his work centers on software engineering, static analysis, programming languages, and secure software development tools. He is the principal architect of the OPAL framework for Java bytecode analysis and has an extensive publication record spanning PLDI, ICSE, ESEC/FSE, ISSTA, ASE, FSE, SOAP, and other premier venues. Research Interests: Static program analysis and its scalability to real-world code bases Software security, particularly cryptographic API misuse and Android app repackaging detection Concurrent and parallel programming models, including deterministic concurrency in Scala Software architecture conformance, drift and erosion detection, and rule reuse Development of open extensible tools and frameworks (OPAL, LectureDoc, QScope, Sextant, XIRC, IRC) Publication Trends: His recent work (2015-2022) demonstrates a strong focus on empirical evaluation of static analysis techniques, modular composition of analyses, and security-related program understanding. Key themes include unsoundness in call graph construction, purity and immutability analyses, parallelization of static analyses, and large-scale studies of cryptographic API misuse. Tools & Frameworks: OPAL – A flexible Java bytecode analysis and manipulation framework (core developer until 2019) LectureDoc 2 – Web-based lecture material authoring and presentation system QScope – Open extensible metrics framework for modern software projects Sextant – Eclipse-integrated software exploration tool XIRC/IRC – Frameworks for enforcing system-wide properties and architectural constraints

Chatziantoniou Damianosمشاهده پروفایل

استاد

• Big Data Systems
• Business Intelligence
• Large-Scale Analytics
• +۵ مورد دیگر

Professor Chatziantoniou Damianos holds a position at the Athens University of Economics and Business (AUEB) within the Department of Management Science and Technology (DMST), School of Business. He earned a B.Sc. in Applied Mathematics from the National & Kapodistrian University of Athens (1991), M.Sc. from New York University's Courant Institute of Mathematical Sciences, and a Ph.D. from Columbia University. His research focuses on big data systems, business intelligence, query processing, and real-time data analysis, with contributions influencing commercial database systems like Microsoft SQL Server and Oracle. As Director of AUEB's Master’s program in Business Analytics and Big Data, he previously served as an Assistant Professor at Stevens Institute of Technology (1997–1999). His industry collaborations include co-founding Panakea Software and VoiceWeb SA, and consulting roles at Aster Data Systems (now Teradata). He leads big data projects for companies like Cosmote, Piraeus Bank, and HEDNO. His research has been published in top venues including VLDB, ICDE, and SIGMOD, emphasizing practical applications in large-scale analytics and OLAP systems. He advises on strategic partnerships for the MSc program and maintains an active role in academic administration, including steering committees and quality assurance initiatives.

Garofalakis Minosمشاهده پروفایل

استاد

• Database Systems
• Data Streams
• Big Data Analytics
• +۷ مورد دیگر

Minos Garofalakis is a Professor of Computer Science at the School of Electrical and Computer Engineering (ECE) of the Technical University of Crete (TUC), where he directs the Software Technology and Network Applications Laboratory (SoftNet). He is also the Director of the Information Management Systems Institute (IMSI) at the Athena Research and Innovation Centre in Athens. Previously, he held roles at Yahoo! Research, Intel Research Berkeley, and Bell Laboratories, and was an Adjunct Associate Professor at UC Berkeley. Education: He earned a BSc in Computer Engineering from the University of Patras (1992), followed by MSc (1994) and PhD (1998) in Computer Science from the University of Wisconsin-Madison. Research Interests: His work focuses on Big Data analytics , including database systems, data streams, approximate query processing, probabilistic databases, and secure/private data analytics. Key areas include distributed stream processing, data synopses, and machine learning applications. He has authored over 150 papers and holds 29 patents, with an h-index of 63 and 13,500+ citations. Recent Work Trends: His recent articles emphasize scalable stream analytics (e.g., OmniSketch), privacy-preserving techniques, and distributed event processing. He explores challenges in handling high-velocity data streams, uncertainty in databases, and real-world applications like healthcare analytics. Scientific Awards: ACM Fellow (2018), IEEE Fellow (2017), TUC Excellence Award (2015), and multiple patents from Bell Labs/Yahoo/AT&T. Advising & Grants: He led EU projects such as FERARI, LEADS, and The Human Brain Project. His lab, SoftNet, develops tools for extreme-scale analytics and declarative networking. Current work includes interactive cross-platform analytics (Infore) and AI-driven medical data systems. Labs/Teams: Director of SoftNet Lab and IMSI. Collaborates with industry partners on distributed systems and privacy-preserving technologies.

Angelos Charalambidisمشاهده پروفایل

استادیار

• Programming Languages and Software Systems
• Declarative Programming Languages
• Computational Logic
• +۱ مورد دیگر

Angelos Charalambidis is an Assistant Professor at Harokopio University, affiliated with the Department of Informatics and Telematics. His academic and professional engagements focus on theoretical and applied aspects of computational logic and programming languages. Education: B.S. in Informatics, University of Athens (2005) M.S. in Computer Systems, University of Athens (2008) Ph.D. in Higher-Order Logic Programming, University of Athens (2014) His research interests include declarative programming languages, computational logic, and reasoning techniques, contributing to the broader field of Programming Languages and Software Systems. He has also explored applications in knowledge representation, preference modeling, and cloud-native systems. The trends in Angelos Charalambidis's publications highlight advancements in logic programming, including higher-order logic, fixpoint theory, ordered disjunction, and federated query processing. His work bridges theoretical foundations with practical implementations in formal methods and computational logic.

Anastasia Ailamakiمشاهده پروفایل

استاد

• Data Systems
• Database Systems
• Resource Optimization
• +۴ مورد دیگر

Anastasia Ailamaki is a Professor at the Swiss Federal Institute of Technology in Lausanne (EPFL), affiliated with the School of Computer and Communication Sciences and the Department of Computer Science. She is also a member of the Board of Directors of the Technical University of Crete (TUC), where she is a distinguished alumna, having earned her Master of Science in Electrical and Computer Engineering. Her leadership in data systems research has been recognized with the prestigious ERC Advanced Grant. Her research focuses on foundational approaches to optimizing system resources through declarative data systems. This work lies at the intersection of database systems, computer architecture, and performance modeling, aiming to improve efficiency and scalability in modern data-intensive applications. Her interests include query processing, data storage optimization, and the integration of hardware-aware techniques into database design. The awarded ERC project, "A Foundational Approach to Resource Optimization through Declarative Data Systems," represents a significant advancement in the field, funded with 2.5 million euros, highlighting the relevance and impact of her research agenda. ERC Advanced Grant Professor Ailamaki has advised numerous students throughout her career and has led major research initiatives, though specific names and grants beyond the ERC are not detailed in the current text. Her role on the External Advisory Committee and Board of Directors at TUC reflects her ongoing commitment to academic leadership and institutional development. She is actively involved in shaping the future of data systems research at EPFL and through her collaborations with institutions like the Technical University of Crete. Her lab or research group likely focuses on systems for data science and performance-aware computing, although specific team details are not provided.

Anastasios Gounarisمشاهده پروفایل

استاد

• Distributed Databases
• Autonomous data processing
• Big Data Management
• +۷ مورد دیگر

Anastasios Gounaris is a Professor at the Department of Informatics, Aristotle University of Thessaloniki, where he has been a faculty member since April 2008. He previously served as a Visiting Lecturer at the University of Cyprus (2007-2008) and held research positions at the University of Manchester and CERTH. His academic journey includes a PhD from the University of Manchester (2005), an MPhil from UMIST (2002), and a degree in Electrical and Computer Engineering from Aristotle University of Thessaloniki (1999). His research spans Distributed Databases, Autonomous Data Processing, Big Data Management, Workflow Optimization, and Data Mining . He has made significant contributions to large-scale data management systems, massive parallelism techniques, and business process analytics. His work bridges theoretical computer science with practical industrial applications, particularly in predictive maintenance and edge computing environments. His recent publications (2024-2025) demonstrate a strong focus on process mining, anomaly detection, predictive maintenance systems, and edge analytics . These works address critical challenges in handling evolving data streams, optimizing task allocation in resource-constrained environments, and developing parameter-free algorithms for real-world applications. His research shows consistent progression from foundational database systems work to cutting-edge applications in industrial IoT and healthcare analytics. Dr. Gounaris has successfully supervised numerous PhD students to completion, including Athanasios Naskos (2017), Georgia Kougka (2017), Christos Bellas (2022), Theodoros Toliopoulos (2022), Anna-Valentini Michailidou (2023), Ioannis Mavroudopoulos (2024), and Konstantinos Varvoutas (2025). His research has been supported by multiple national and European projects including DataflowOpt, PRECognition, NavGreen, CUREX, Rainbow, Lifechamps, and Trineflex. He is an active member of Datalab (formerly Delab) and has contributed to industry applications through collaborations with companies such as Comidor, Gnomon, Istognosis, Atlantis, AFS, Follow-Apps, Sboing, and Upcom. His work demonstrates a strong commitment to transferring research results to real-world applications while maintaining academic rigor.

• Database Systems
• Virtual Reality Applications
• Digital Humanities
• +۴ مورد دیگر

Yannis Ioannidis is a Professor at the Department of Informatics and Telecommunications of the National and Kapodistrian University of Athens. His research spans interdisciplinary areas including database systems, virtual reality applications, and cultural heritage technology. He leads projects integrating technology with education, art, and social sciences, such as VR environments for urban planning (ARSINOE VR) and AI-driven scientific discovery frameworks. His work emphasizes collaborative tools for digital storytelling and participatory cultural experiences. Ioannidis has contributed to advancements in database query optimization, text exploration through SQL extensions (DETEXA), and indexing techniques for data lakes. His recent focus includes exploring the intersection of tabletop role-playing games with historical education and ethical AI-human coevolution. He actively participates in initiatives like the EBRAINS infrastructure for brain research and the MagicARTS social VR project. Notable research trends in his publications include leveraging VR for immersive learning, designing hybrid museum kits, and applying AI to support UN Sustainable Development Goals. His work bridges technical innovation with societal impact, addressing challenges in education, art preservation, and ethical technology use.

Amit K. Chopraمشاهده پروفایل

مدرس ارشد

• Decentralized systems
• Multiagent systems
• Software engineering
• +۵ مورد دیگر

Amit K. Chopra is a Senior Lecturer (Associate Professor) in the School of Computing and Communications at Lancaster University. His research focuses on decentralized systems, multiagent systems, and software engineering, with particular interest in how autonomous agents can interact with maximal flexibility in sociotechnical settings where agents represent autonomous parties and their decisions have normative consequences. Dr. Chopra has developed a unique approach called Interaction-Oriented Programming (IOP) that constitutes a foundation for flexible interactions between decentralized agents. This framework has evolved to include world-leading languages for modeling multiagent interactions, both in terms of normative meaning and interaction protocols, along with approaches for verifying them and programming models for implementing intelligent agents. His work challenges conventional wisdom in fields such as software engineering, distributed systems, programming languages, and business processes. His research spans theoretical foundations to practical implementations, with applications in e-business, health, finance, and other domains. Recent publications show a strong focus on tools and frameworks including Fluid (social norms-based multiagent systems), Argus (programming with communication protocols), Kiko (programming agents to enact protocols), Mandrake (fault-tolerant decentralized applications), and Azorus (commitments over protocols for BDI agents). Senior Lecturer (Associate Professor), School of Computing and Communications, Lancaster University Research interests: Decentralized systems, Multiagent systems, Software engineering, Sociotechnical systems Developed Interaction-Oriented Programming (IOP) framework for flexible agent interactions Active contributor to major conferences including PLDI 2020 tutorial on 'Programming for Autonomy' Dr. Chopra's work bridges theoretical foundations with practical applications, addressing fundamental challenges in decentralized computing including asynchrony and concurrency - areas where computing has traditionally struggled. His approach to commitment protocols and interaction-oriented programming represents a significant contribution to the field of multiagent systems and decentralized computing.

Yannis Smaragdakisمشاهده پروفایل

استاد

• Programming Languages
• Software Engineering
• Static Program Analysis
• +۵ مورد دیگر

Yannis Smaragdakis is a Professor at the Department of Informatics, University of Athens, with a 35%-time appointment and concurrent affiliation at Dedaub (a blockchain security company). His research spans programming languages, software engineering, static analysis, and distributed systems, with a current focus on Ethereum smart contract security and declarative program analysis. Notable contributions: Doop framework for Datalog-based program analysis, Gigahorse decompiler, Elipmoc for Ethereum contracts, and foundational work on points-to analysis Key research themes: Static analysis (soundness, precision, scalability), memory management algorithms (EELRU), declarative languages, and concurrency models Recent work emphasizes security analysis of blockchain programs, earning distinctions like the SIGPLAN Research Highlight (2019) and Distinguished Paper Awards . He has advised numerous Ph.D. students and received funding from the ERC and HFRI .